Trójkąt ABC
Trójkąt ADC
Co kończy dowód.
Skorzystaj z trójkątów ADC i ABD i znajdź zależność między kątami alfa i beta.