Na przeciwprostokątnej AB trójkąta prostokątnego ABC zbudowano kwadrat ABDE (zobacz rysunek). Stosunek pola trójkąta do pola kwadratu jest równy k. Wykaż, że suma tangensów kątów ostrych tego trójkąta jest równa 1/(2k).