Na mocy cechy bok-kąt-bok (BKB) trójkąty PCA i BCQ są przystające, w szczególności mają równe kąty, co daje nam .

Kąty przy wierzchołku O są