Свойства круга, вписанного в прямоугольный треугольник: теоретические аспекты