§ 3. Розв'язування прямокутних трикутників » 599

Доведіть, що тангенси гострих кутів прямокутного трикутника є взаємно оберненими числами. За означенням тангенса гострого кута прямокутного трикутника маємо: tg ∠A = BC/AB; tg ∠C = AB/BC. Отже, tg∠A = 1/(tg ∠C). Доведено.