Isosceles Right Angle Triangle Formula