Area of isosceles right triangle given hypotenuse