Per le proprietà geometriche della circonferenza
1)
PO è bisettrice dell'angolo in P
2)
Gli angoli in A e B sono retti
3)
I segmenti di tangenza condotti da un punto esterno alla conica sono congruenti PA=PB.
Quindi OP è l'ipotenusa comune ai due triangoli rettangoli congruenti