Formula for height of isosceles triangle