Circumcenter of a right angled triangle is the midpoint of the hypotenuse of the right angled triangle.