Az A1A2A3A4 tetraéder minden éle érint egy G gömböt; az Ai csúcsból a G-hez húzott érintőszakasz hossza legyen ai. Mutassuk meg, hogy