Neka je AB promjer kružnice k, a točka O njeno središte. Neka je C točka izvan kružnice k na simetrali dužine AB. Dužina AC siječe kružnicu k u točki D. Ako je ∣AB∣=2 i ∣CD∣=1, odredi ∣OC∣.
Prvo rješenje.
Kako je ∣OD∣=∣CD∣=1 (dužina OD polumjer je kružnice k), trokut OCD je jednakokračan pa vrijedi ∠COD=∠DCO.
Slično, zbog ∣OA∣=∣OD∣=1 vrijedi da je trokut OAD jednakokračan i ∠OAD=∠ODA.
Kako je ∠AOC=90∘, slijedi ∠AOD=90∘−∠COD=90∘−∠DCO.
S druge strane, iz pravokutnog trokuta AOC vrijedi ∠OAC=90∘−∠DCO pa slijedi da je ∠OAD=∠AOD. U trokutu AOD svi kutovi su jednaki, pa je jednakostraničan.
Sada možemo zaključiti da vrijedi ∣AD∣=1, tj. ∣AC∣=2.
Prema Pitagorinom poučku za trokut AOC imamo ∣OC∣=∣AC∣2−∣OA∣2=3.
Drugo rješenje.
Označimo s E i F točke u kojima OC siječe k, tako da je ∣CE∣<∣CF∣. Posebno, ∣EF∣=2, budući da je ta dužina promjer kružnice k.