Isosceles Right Triangle Formula