Długość promienia okręgu wpisanego w trójkąt prostokątny o przyprostokątnych równych i przeciwprostokątnej  obliczamy jako:

Rysunek pomocniczy

Z treści zadania wiemy,