Trójkąt 90 - 45 - 45

Długość krótszego boku w trójkącie o kątach $45^\circ, 45^\circ, 90^\circ$ wynosi $17$. Wyznacz długość najdłuższego boku. (Odpowiedź podaj w formacie `xsqrt(y)`, np. `5sqrt(2)`)