Side lengths of an isosceles right triangle