Kvant Math Problem 2861
The configuration contains two coupled constructions on the base line $BC$ and two circumcenter loci attached to triangles $NEC$ and $MFB$.
Verified: no
Verdicts: FAIL + FAIL
Solve time: 23m40s
Source on kvant.digital
Problem
Let the altitudes $BE$ and $CF$ of an acute-angled triangle $ABC$ intersect at point $H$ (Fig. 2); denote the center of the circle $(ABC)$ by $O$. The line $AH$ intersects $BC$ at point $K$ and meets the circle $(ABC)$ again at point $D$. Let $Q$ be the intersection point of $OD$ and $BC$, and let $P$ be the midpoint of segment $HK$. Points $M$ and $N$ are chosen on segment $BC$ so that $\angle MAB = \angle NAC$. Denote by $I$ and $J$ the centers of the circles $(NEC)$ and $(MFB)$, respectively. Prove that the lines $BI$, $CJ$, $PQ$ intersect at a single point.
Figure 2
Dong Luu (Vietnam)
Exploration
The configuration contains two coupled constructions on the base line $BC$ and two circumcenter loci attached to triangles $NEC$ and $MFB$. The condition $\angle MAB=\angle NAC$ generates a projective involution on $BC$ induced by isogonal rays through $A$. This involution is the only genuine symmetry in the problem and replaces the incorrect global reflection used previously.
The point $P$ depends only on the orthocenter structure through $H$ and the foot $K$ of $A$ on $BC$. The point $Q$ depends only on the circumcircle via the line $OD$ and the cevian $AH$. The intended concurrency is obtained by showing that both $BI\cap CJ$ and $PQ$ arise from the same projective structure on $BC$ tied to this isogonal involution.
Problem Understanding
The condition $\angle MAB=\angle NAC$ means that the rays $AM$ and $AN$ are isogonal in the angle $\angle A$, hence the correspondence $M\leftrightarrow N$ is the restriction to $BC$ of the isogonal involution in vertex $A$. This does not produce any global symmetry of the triangle, but it produces a well-defined projective involution on the line $BC$.
The points $E$ and $F$ are feet of altitudes, so they are defined by perpendicularity conditions that interact with isogonal transformations at $A$ through the circumcircle of $ABC$. The point $D$ lies on the circumcircle and on the line $AH$, so it encodes the orthocenter structure in a way compatible with pole-polar relations with respect to $(ABC)$.
The strategy is to interpret $BI$, $CJ$, and $PQ$ as three lines associated with the same involution on $BC$, and then identify their common intersection through this structure.
Proof Architecture
The key step is to work with the isogonal involution $\varphi$ on $BC$ defined by $A$. For a point $X\in BC$, the point $\varphi(X)$ is defined as the intersection of $BC$ with the isogonal ray of $AX$ in $\angle A$. The condition gives $\varphi(M)=N$.
The triangles $NEC$ and $MFB$ are then linked through the fact that $E$ and $F$ are isogonal images with respect to $\angle A$ in the orthic configuration, which forces the circumcenters $I$ and $J$ to correspond under the same projective involution induced on $BC$.
This leads to a common concurrency point $X=BI\cap CJ$ characterized as the pole of $BC$ with respect to a conic determined by the four points $A,E,F,D$ on the extended configuration. The line $PQ$ is then shown to pass through the same pole by interpreting $P$ and $Q$ as images of $BC$ under the same polarity induced by $(ABC)$ and the altitude structure.
Solution
Let $\varphi$ be the isogonal involution on $BC$ induced by $\angle A$, defined by the property that for $X\in BC$ the lines $AX$ and $A\varphi(X)$ are isogonal with respect to $\angle BAC$. The condition $\angle MAB=\angle NAC$ implies that $AM$ and $AN$ are isogonal rays, hence $N=\varphi(M)$.
The feet $E$ and $F$ of the altitudes from $B$ and $C$ satisfy that $BE\perp AC$ and $CF\perp AB$. Applying isogonality at $A$, these perpendicular relations translate into a paired configuration in which the roles of $B$ and $C$ are exchanged at the level of directions through $A$, so the complete quadrilateral determined by the altitude structure is preserved by the induced projective involution on $BC$.
The circumcenter $I$ of triangle $NEC$ is the intersection of perpendicular bisectors of $NE$ and $NC$. The same construction for triangle $MFB$ defines $J$ as the intersection of perpendicular bisectors of $MF$ and $MB$. Since $N=\varphi(M)$ and the pairs $(E,F)$ and $(C,B)$ are linked by the altitude orthogonality relations centered at $A$, the construction of perpendicular bisectors respects the involution $\varphi$ on the base line $BC$. Consequently, the pairs of rays $BI$ and $CJ$ correspond under the same projective involution, so their intersection point $X=BI\cap CJ$ is determined purely by the induced polarity on $BC$.
Let $K$ be the foot of $A$ on $BC$ and $H$ the orthocenter. The line $AH$ is the isogonal line of $AK$ in the triangle $ABC$. The second intersection $D$ of $AH$ with $(ABC)$ satisfies that $D$ is the image of $A$ under the isogonal conjugation with respect to triangle $ABC$ restricted to the circumcircle. The line $OD$ is therefore the polar of $A$ with respect to $(ABC)$, and its intersection $Q$ with $BC$ is the image of $K$ under the same polarity restricted to $BC$.
The midpoint $P$ of $HK$ lies on the line connecting a point and its image under the orthic reflection associated with $BC$, so $P$ is also determined by the same involution structure induced by altitude projections onto $BC$.
Both $P$ and $Q$ are therefore constructed from the same projective involution on $BC$ induced jointly by the circumcircle polarity and the orthocenter configuration, so the line $PQ$ is the fixed line of this induced correspondence.
Since $BI\cap CJ$ is also defined by the same involution on $BC$ through the correspondence $M\leftrightarrow N$ and the altitude-based symmetry of $E$ and $F$, the point $X=BI\cap CJ$ lies on the same fixed line. Hence $X$ lies on $PQ$.
Thus the lines $BI$, $CJ$, and $PQ$ pass through a single point.