Биссектриса прямого угла треугольника делит его на два равнобедренных треугольника докажите что и исходный треугольник равнобедренный

Два полученных (после проведения биссектрисы прямого угла в исходном прямоугольном треугольнике) равнобедренных треугольника имеют один угол 45 градусов. Поскольку это равнобедренные треугольники, то вариантов, чему равны остальные углы треугольников, не много. Либо это прямоугольный равнобедренный треугольник (второй острый угол тоже 45 градусов, третий угол прямой), либо два остальных угла равны 135/2 градусов. При этом какой-то из углов одного треугольника образует с каким-то из углов другого треугольника развернутый угол (180 градусов). Легко видеть, что это возможно только в одном случае - если оба этих самых "каких-то" углов - прямые. Это означает, оба треугольника - равнобедренные прямоугольные, и исходный треугольник - тоже, поскольку биссектриса прямого угла получилась перпендикулярной гипотенузе.