Вычисление площади прямоугольного треугольника: теоремы и доказательства