Differentiating the semi-grey irradiated atmosphere profile gives
Hydrostatic balance gives when the thermal mean opacity is locally constant. Hence
For variable opacity, replace by its local value and integrate .
Solved by gpt-5.6-sol high.