Cómo se realiza la siguiente demostración

Demuestra que si uno de los ángulos de un triángulo rectángulo es el doble del otro, la hipotenusa es igual al doble del cateto más corto.