Isosceles right triangle equation