
Primijenimo li poučak o sinusima na trokut PAB dobivamo:
∣PA∣∣PB∣=∣AB∣sin150∘sin20∘=∣AB∣sin30∘sin20∘=2∣AB∣sin20∘=∣AB∣sin150∘sin10∘=2∣AB∣sin10∘.
Primijenimo li poučak o sinusima na trokut PAC dobivamo:
∣PC∣=∣PA∣sin30∘sin40∘=4∣AB∣sin20∘sin40∘=2∣AB∣(cos20∘−cos60∘)=2∣AB∣(cos20∘−21)=2∣AB∣(1−2sin210∘−21)=2∣AB∣(21−2sin210∘).
U trokutu PCB vrijedi:
∣BC∣2====∣PB∣2+∣PC∣2−2∣PB∣⋅∣PC∣cos100∘4∣AB∣2sin210∘+4∣AB∣2(21−2sin210∘)2+8∣AB∣2sin210∘(21−2sin210∘)∣AB∣2(4sin210∘+(1−8sin210∘+16sin410∘)+(4sin210∘−16sin410∘))∣AB∣2.
Dakle, ∣BC∣=∣AB∣ pa je trokut ABC jednakokračan.