Теорема о среднем пропорциональном в прямоугольном треугольнике