5.63. Wykaż, że dla dowolnego kąta ostrego a, równość: