ponieważ czworokąt jest wpisany w okrąg to α+γ=180 i β+δ=180 stąd
γ=180−α i δ=180−β
kąt BCK = 180−γ=α
kąt CBK=180−δ=β
wiadomo że AB:BK=1:1 stąd przyjmijmy że AB=x=BK
natomiast DC:CK = 1:8 więc niech DC=y zaś CK=8y
mamy DK=9y oraz AK=2x
dla trójkąta AKD z twierdzenia sinusów:
| 2x | 9y | |||
(1) | = | |||
| sinβ | sinα |
| x | 8y | |||
(2) | = | |||
| sinα | sinβ |
| 2xsinα | ||
z (1) mamy sinβ= | i wstawiając do (2) otrzymujemy | |
| 9y |
| 8y*9y | x | ||
= | (...) | ||
| 2xsinα | sinα |
| AB | 6y | ||
= | =6 | ||
| DC | y |