Имеем равнобедренный прямоугольный треугольник. Составим для него теорему Пифагора:

Можем вытащить из-под корня 16:

Ещё раз можем достать 16:

Если треугольник существует, каждый катет имеем длину, большую нуля. Поэтому каждый из них равен