Suppose is a triangle with circumcenter and orthocenter such that , and are all on distinct points with integer coordinates. What is the second smallest possible value of the circumradius of ?
HMMT February
Solution
Assume without loss of generality that the circumcenter is at the origin. By well known properties of the Euler line, the centroid is such that , and are collinear, with in between and , such that . Thus, since , and we are assuming is the origin, we have . This means that as long as , and are integer points, will be as well. However, since needs to be distinct from , and , we must have A B C not be a right triangle, since in right triangles, the orthocenter is the vertex where the right angle is. Now, if a circle centered at the origin has any integer points, it will have at least four integer points. (If it has a point of the form (a, 0)(-a, 0),(0, a)(0,-a)(a, b)a, b 0, it will have each point of the form ( a, b), which contains the eight points and . We get at least one valid triangle with this circumradius: The next valid circumradius is which has the valid triangle $