Problem 32 - Complex numbers from A to...Z

Question

Let \(O_{9}, I, G\) be the 9 -point center, the incenter and the centroid, respectively, of a triangle \(A B C\). Prove that lines \(O_{9} G\) and \(A I\) are perpendicular if and only if \(\widehat{A}=\frac{\pi}{3}\)

Step-by-Step Solution

Answer

In a triangle ABC, show that lines O_9G and AI are perpendicular if and only if ∠A = π/3, where O_9 indicates the 9-point center of the triangle, I indicates the incenter, and G indicates the centroid. Solution: It has been demonstrated that lines O_9G and AI are perpendicular if and only if the condition ∠A = π/3 is met.

Step 1: Define notation and properties of special points

Let \(O_9\), \(I\), and \(G\) denote the \(9\)-point center, the incenter, and the centroid of \(\triangle ABC\), respectively. Let also \(M_a\) represent the midpoint of segment \(BC\). Recall that the \(9\)-point circle passes through the midpoints of the sides, the feet of the altitudes, and the Euler points of a triangle.

Step 2: Relating AI and M_a with A

Draw line \(AI\), and let it intersect the \(9\)-point circle at points \(E\) and \(F\) (\(I\) lies inside the triangle). \(E\) and \(F\) are the midpoints of some heights of triangle \(ABC\), thus \(M_a\) lies on segment \(EF\). Note that \(\angle AI M_a = \frac{1}{2}\angle A\).

Step 3: Relating G, O_9, M_a, and the 9-point circle

Since \(G\) is the centroid, we have \(G M_a = 2 \cdot GM_b = 2 \cdot GM_c\), where \(M_b\) and \(M_c\) represent the midpoints of segments \(AC\) and \(AB\), respectively. It implies that \(G\) is the centroid of the triangle \(M_a M_b M_c\). Therefore, \(GO_9\) is perpendicular to \(M_a M_b\), and it bisects segment \(M_a M_b\). So we have \(\angle O_9G M_a = \frac{1}{2}\angle M_a=M_a M_b M_c\)

Step 4: Conditions for O_9G and AI being perpendicular

Lines \(O_9 G\) and \(AI\) are perpendicular if and only if \(\angle AI M_a + \angle O_9 G M_a = \frac{\pi}{2}\) or \(\frac{1}{2}\angle A + \frac{1}{2}\angle M_a M_b M_c = \frac{\pi}{2}\). Since \(\angle M_a M_b M_c=\frac{1}{2}\angle A\), the condition is equivalent to \(\angle A = \frac{\pi}{3}\). Thus, lines \(O_9 G\) and \(AI\) are perpendicular if and only if \(\angle A = \frac{\pi}{3}\).