Korzystając z własności trójkąta o miarach ,
Korzystając z twierdzenia cosinusów, obliczam
Co należało wykazać.
Aby obliczyć długości odcinków DE, AE, DF i CF skorzystaj z własności trójkąta charakterystycznego o kątach