rozwiązanie
Dany jest trójkąt ostrokątny ABC o bokach długości a, b, c i kątach alpha, beta, gamma (zobacz rysunek). Wykaż, że {b^2+c^2-a^2\o a^2+c^2-b^2}= {tg\beta\o\tg\alpha}. Twierdzenie cosinusów. Twierdzenia sinusów. Związki pomiędzy funkcjami trygonometrycznymi.