Problem

Source: XVII Sharygin Correspondence Round, P24

Tags: geometry, 3D geometry, pyramid



A truncated trigonal pyramid is circumscribed around a sphere touching its bases at points $T_1, T_2$. Let $h$ be the altitude of the pyramid, $R_1, R_2$ be the circumradii of its bases, and $O_1, O_2$ be the circumcenters of the bases. Prove that $$R_1R_2h^2 = (R_1^2-O_1T_1^2)(R_2^2-O_2T_2^2).$$