Sympy-exact symbolic witness of the Kasting habitable-zone canonical identities. Setup: L_*, L_⊙, S_eff, T_⊙, R_⊙, a_orb, A_alb, S_in, S_out — all positive symbols. Habitable-zone radius: r_HZ = √(L_*/(L_⊙·S_eff)) (sympy canonical…
Sympy-exact symbolic witness of the Kasting habitable-zone canonical identities. Setup: L_*, L_⊙, S_eff, T_⊙, R_⊙, a_orb, A_alb, S_in, S_out — all positive symbols. Habitable-zone radius: r_HZ = √(L_*/(L_⊙·S_eff)) (sympy canonical…