Для решения задачи Сеньке не хватает утверждения, что

Для решения задачи Сеньке не хватает утверждения, что медиана
прямоугольного треугольника равна половине гипотенузы.
Это очевидно, но я не понимаю, как это доказать исходя из того, что
ему известно на данный момент.
Апдейт. Задача такая. В прямоугольном треугоьнике медиана, проведенная к гипотенузе, делит угол на два угла в таком-то сообношении (неважно, в каком :) Найдите острые углы треугольника.
Ясно, что поскольку медиана равно половине гипотенузы, мы имеем два равнобедренных треугольника и острые углы соотносятся так же, как углы, на которые поделен прямой угол медианой.
Но вот то, что медиана равна половине гипотенузы, доказывается как-то очень громоздко.
Про окружность, которую можно описать вокруг прямоугольного треугольника, он не знает. Про диагонали прямоугольника не знает.
То есть это все дается сильно позже.