circumcenter is the midpoint of hypotenuse