$m(\widehat{ABC})=\alpha$ ve $m(\widehat{BAC})=\beta$ diyelim. Teğetlikten dolayı $m(\widehat{PAC})=\alpha$ olacaktır. Eğer $m(\widehat{ACB})=90^{\circ}$ olduğunu göstermek istiyorsak $\alpha+\beta=90^{\circ}$ olduğunu, dolayısıyla $m(\widehat{PAB})=90^{\circ}$ olduğunu göstermemiz yeterlidir. $|PA|=|PC|=x$ diyelim. Taban-Alan ilişkisinden, $$\dfrac{|PC|}{|QC|}=\dfrac{\left [ PAC \right ]}{\left [ CAQ \right ]}=\dfrac{\left [ PAC \right ]}{\left [ CAB \right ]+\left [ CBQ \right ]}=\dfrac{1}{2}\Rightarrow |CQ|=2x$$ bulunur. Aynı zamanda $\left [ ABC \right ]=\left [ BCQ \right ]$ olduğundan $|BQ|=|AB|$ olur. $|BQ|=y$ için çemberde kuvvetten, $$|QC|^2=|BQ||AQ|\Rightarrow 4x^2=2y^2\Rightarrow y=x\sqrt{2}$$ bulunur. Artık $PAQ$ üçgeninin tüm kenar uzunluklarını biliyoruz. $|PA|=x$, $|AQ|=2x\sqrt{2}$ ve $|PQ|=3x$ olduğundan ve $x^2+\left (2x\sqrt{2} \right )^2=(3x)^2$ sağladığından $PAQ$ dik üçgendir. Dolayısıyla $m(\widehat{PAQ})=90^{\circ}$ bulunur. Başta da izah ettiğimiz gibi $m(\widehat{PAQ})=m(\widehat{PAB})=90^{\circ}$ olduğundan $m(\widehat{ACB})=90^{\circ}$ olmalıdır.