- kąty wierzchołkowe
Kąt
jest ostry, więc
.
Zauważ, że kąty APB i CPD są wierzchołkowe.
Skorzystaj z twierdzenia sinusów w trójkącie APB.
Skorzystaj z twierdzenia sinusów w trójkącie CPD.
Zauważ, że
, z powstałego układu równań wylicz wartość sinusa. Skorzystaj z metody podstawienia.
Skorzystaj z jedynki trygonometrycznej, aby obliczyć wartość
Kąt
jest ostry, więc znajduję się w I ćwiartce układu współrzędnych, czyli cosinus jej dodatni. Warunek ten spełnia
.
Ostatecznie skorzystaj z twierdzenia cosinusów w trójkącie CPD.
To kończy dowód.