Verilen ozelligi saglayan herhangi bir P noktasi icin
∠ABC+∠ACB=∠PBA+∠PBC+∠PCA+∠PCB
⟹∠PCB+∠PBA=∠ABC+∠ACB2
esitligi saglanir. PBC ucgeninde icacilarin toplami π olacagindan,
∠BPC=π−∠PCB−∠PBC=2π−∠ABC−∠ACB2=π+∠BAC2
esitligini elde ederiz. Dolayisiyla soruda verilen ozelligi saglayan P noktalari, BC kenarini hep π+∠BAC2 acisi altinda goren noktalardir, ve bu noktalar BC dogru parcasini kiris kabul eden bir yaydir. Yayin cemberinin merkezi O, BCnin ortadikmesi uzerinde ve ∠CBO=∠CAB2 olacak sekilde BC'nin Anin olmayan tarafindadir.

AO dogrusunun Idan gectiginin ispati yukaridaki sekildeki gibi: AOB ve AOB′ ucgenleri denktir cunku kurulum geregi
∠ABB′=∠BAC+π2−∠BAC=π−∠BAC2=π−π+∠BAC2=∠AB′B
Dolayisiyla turkuaz cember uzerindeki her nokta istegimiz ozelligi saglar. Ustune ustluk AO I noktasindan gectigi icin, A merkezli AI yaricapli cember, tukuaz cembere tegettir ve |AP|≥|AI| esitsizligi esitlik sadece ve sadece P=I oldugu durumda saglanir.