Oznaczmy kąty:
∠CAB = α, ∠ABC = β
Z twierdzenia o kącie środkowym i wpisanym opartych na tym samym łuku otrzymujemy, że ∠COB = 2α.
Ponieważ ∠OCB = ∠OBC = α, otrzymujemy
czyli α = 45°.
Analogicznie dowodzimy, że β = 45°.
Wobec tego trójkąt
ABC jest trójkątem prostokątnym równoramiennym, co oznacza, że wysokość
CD ma długość równą promieniowi, czyli |
CD| = 4.