Der Winkel C*CB ist 90°-β, der Winkel BAA* ebenfalls (es sind jeweils Innenwinkel eines rechtwinkligen Teildreiecks, in dem β der andere spitze Winkel ist).
C*B*B ist wie C*CB ein Peripheriewinkel über dem Bogen BC*.
BB*A* ist wie BAA* ein Peripheriewinkel über dem Bogen A*B.
Damit sind C*B*B und BB*A gleich große Teilwinkel des Winkels C*B*A*, welcher also durch BB* halbiert wird.