RT nin PO ya dik olduğunu göstereceğiz. [RO] yu çizelim. RO, [AB] yi dik keser ve iki eş parçaya ayırır. [RO] ile [AB] nin kesişim noktası M olsun. Bu durumda Pisagor’dan RM2 = RB2 - AB2/4 ... (1) dir. Ayrıca yine Pisagor'dan PR2 = RM2 + (PA + AB/2)2 = RB2 - AB2/4 + PA2 + PA.AB + AB2/4 = RB2 + PA2 + PA.AB ... (2)
Bir dörtgende köşegenlerin dik kesişmesi için gerek ve yeter şartın karşılıklı kenarlarının kareleri toplamının eşit olması olduğunu biliyoruz. O halde RO2 + PT2 = PR2 + OT2 olduğunu göstermemiz yeterlidir. Çemberin yarıçapı r olsun. Çemberde kuvvetten
RA2 = RO2 - r2 ... (3) ve PA.PB = PT2 ... (4) ve OT2 = r2 dir. Şimdi yukarıdaki (1), (2), (3), (4) eşitliklerini kullanarak şunları yazabiliriz:
RO2 + PT2 = PR2 + OT2 <=>
RA2 + r2 + PA.PB = RB2 + PA2 + PA.PB + r2 <=> (Burada RA = RB dir)
PA(PB - AB) = PA2 <=> PA.PA = PA2 bulunur ki bu da zaten doğrudur.