# Triangle approximation

Show that any right-angled triangle with hypotenuse $1$ may be approximated arbitrarily closely by one with rational sides.