Right isosceles triangle formula