Height of an isosceles triangle formula