Kvant Math Problem 548

For four points on a circle, label them by position vectors $a,b,c,d$ on a circle with center $O$, taken as the origin.

kvantmathematicsolympiad

Verified: no
Verdicts: SKIP + SKIP
Solve time: 4m47s
Source on kvant.digital

Problem

  1. Four points are placed on a circle. Through the midpoint of the chord joining two of them, draw a line perpendicular to the chord joining the other two points. (Such a line is drawn for each pair of points.) Prove that all six constructed lines pass through a single point.
  2. Five points are placed on a circle. Through the centroid of three of them (the intersection point of the medians of the triangle with vertices at these points), draw a line perpendicular to the chord joining the remaining two points. Prove that all ten constructed lines pass through a single point.
  3. Generalize these statements to the case of $n$ points.

A. Lopshits

Exploration

For four points on a circle, label them by position vectors $a,b,c,d$ on a circle with center $O$, taken as the origin. Since all points lie on the same circle, $|a|=|b|=|c|=|d|=R$.

Suppose the line is constructed from the pair ${a,b}$ against the pair ${c,d}$. Its point is the midpoint

$$m_{ab}=\frac{a+b}{2},$$

and its direction is perpendicular to the chord $cd$, hence every point $x$ on the line satisfies

$$(x-m_{ab})\cdot(d-c)=0.$$

Expanding,

$$x\cdot(d-c)=\frac{a+b}{2}\cdot(d-c).$$

Because $|c|=|d|$, one has

$$(a+b)\cdot(d-c) =(a+b+c+d)\cdot(d-c).$$

Indeed,

$$(c+d)\cdot(d-c)=|d|^2-|c|^2=0.$$

Thus the equation becomes

$$x\cdot(d-c)=\frac12(a+b+c+d)\cdot(d-c).$$

This suggests that the point

$$P=\frac12(a+b+c+d)$$

lies on every such line, because substituting $x=P$ makes both sides equal.

For five points, if the line is associated with the triple $a,b,c$ and the remaining pair $d,e$, then the centroid is

$$g=\frac{a+b+c}{3},$$

and the line equation is

$$(x-g)\cdot(e-d)=0.$$

Since

$$(a+b+c)\cdot(e-d) =(a+b+c+d+e)\cdot(e-d),$$

again because

$$(d+e)\cdot(e-d)=|e|^2-|d|^2=0,$$

the common point appears to be

$$P=\frac13(a+b+c+d+e).$$

The pattern is evident. For $n$ points with vectors $a_1,\dots,a_n$, choose any $n-2$ of them. Through their centroid draw a line perpendicular to the chord joining the remaining two points. If

$$S=a_1+\cdots+a_n,$$

then $P=S/(n-2)$ should lie on every line.

The delicate point is uniqueness of the common point and verification that the same vector identity works for arbitrary choices of the omitted pair.

Problem Understanding

This is a Type B problem. We must prove a concurrency statement and then generalize it.

Given $n$ points on a common circle, for every choice of two points we take the centroid of the remaining $n-2$ points and draw the line through that centroid perpendicular to the chord determined by the chosen pair. The claim is that all these lines pass through one point.

For $n=4$ and $n=5$, the constructions in the statement are precisely the cases obtained from this general rule.

The core difficulty is to identify the common point and then prove that it satisfies simultaneously the equations of all the constructed lines.

Proof Architecture

Let the circle have center at the origin and let $a_1,\dots,a_n$ be the position vectors of the given points.

For each pair ${i,j}$, let $G_{ij}$ be the centroid of the remaining $n-2$ points. The constructed line $L_{ij}$ consists of all points $x$ satisfying $(x-G_{ij})\cdot(a_j-a_i)=0$.

Lemma 1. If all vectors $a_k$ have the same length, then

$$(a_i+a_j)\cdot(a_j-a_i)=0.$$

This follows immediately from $|a_i|=|a_j|$.

Lemma 2. If $S=\sum_{k=1}^n a_k$, then

$$(S-(a_i+a_j))\cdot(a_j-a_i)=S\cdot(a_j-a_i).$$

The difference between the two sides is exactly the expression from Lemma 1.

Lemma 3. The point

$$P=\frac{S}{n-2}$$

lies on every line $L_{ij}$.

Substituting $P$ and the formula for $G_{ij}$ reduces the claim to Lemma 2.

The hardest step is proving Lemma 3 in a form independent of the chosen pair ${i,j}$.

Solution

Let the center of the given circle be the origin $O$, and let

$$a_1,a_2,\dots,a_n$$

be the position vectors of the $n$ points. Since all points lie on the same circle,

$$|a_1|=|a_2|=\cdots=|a_n|=R.$$

For every pair of indices $i,j$, denote by $L_{ij}$ the line obtained as follows. Remove the points corresponding to $a_i$ and $a_j$. Let

$$G_{ij}=\frac1{n-2}\sum_{k\ne i,j}a_k$$

be the centroid of the remaining $n-2$ points. The line $L_{ij}$ passes through $G_{ij}$ and is perpendicular to the chord joining the points $a_i$ and $a_j$.

Let

$$S=a_1+a_2+\cdots+a_n.$$

We shall prove that all lines $L_{ij}$ pass through the point

$$P=\frac{S}{n-2}.$$

Fix a pair $i,j$. Since $L_{ij}$ is perpendicular to the chord $a_ia_j$, whose direction vector is $a_j-a_i$, the equation of $L_{ij}$ is

$$(x-G_{ij})\cdot(a_j-a_i)=0.$$

Substitute $x=P$. Since

$$G_{ij} =\frac{S-(a_i+a_j)}{n-2},$$

we obtain

$$P-G_{ij} =\frac{a_i+a_j}{n-2}.$$

Hence

$$(P-G_{ij})\cdot(a_j-a_i) = \frac1{n-2}(a_i+a_j)\cdot(a_j-a_i).$$

Now

$$(a_i+a_j)\cdot(a_j-a_i) = |a_j|^2-|a_i|^2 = R^2-R^2 = 0.$$

Therefore

$$(P-G_{ij})\cdot(a_j-a_i)=0,$$

which means that $P$ lies on $L_{ij}$.

Since the pair $i,j$ was arbitrary, the point $P$ belongs to every constructed line. Thus all the lines are concurrent.

Applying this general result to $n=4$ gives the first statement. In that case

$$P=\frac{a_1+a_2+a_3+a_4}{2}.$$

Applying it to $n=5$ gives the second statement. In that case

$$P=\frac{a_1+a_2+a_3+a_4+a_5}{3}.$$

More generally, for arbitrary $n$, if for every pair of points one draws the line through the centroid of the remaining $n-2$ points perpendicular to the chord joining that pair, then all

$$\binom n2$$

lines pass through the single point

$$\boxed{\frac{a_1+a_2+\cdots+a_n}{,n-2,}}.$$

This completes the proof.

∎

Verification of Key Steps

The first delicate step is the identity

$$(a_i+a_j)\cdot(a_j-a_i)=0.$$

Expanding directly,

$$(a_i+a_j)\cdot(a_j-a_i) = a_i\cdot a_j-|a_i|^2+|a_j|^2-a_j\cdot a_i = |a_j|^2-|a_i|^2.$$

Because all points lie on one circle centered at the origin, the two norms are equal. No further geometric assumption is used.

The second delicate step is the computation of the vector from the centroid to the proposed common point:

$$P-G_{ij} = \frac{S}{n-2} - \frac{S-(a_i+a_j)}{n-2} = \frac{a_i+a_j}{n-2}.$$

A sign error here would produce the wrong direction and destroy the concurrency proof. The subtraction must be carried out exactly as written.

A third point requiring care is that the proof works for every pair ${i,j}$. The only property used about the chosen pair is the equality of the lengths of $a_i$ and $a_j$. Since this holds for all indices, the argument is uniform and no case distinction is needed.

Alternative Approaches

A synthetic approach can be built from barycentric ideas. For four points, one may show that the common point is the image of the circle center under a homothety determined by the vector sum of the vertices, and then verify the perpendicularity conditions geometrically. The calculations become increasingly cumbersome for larger $n$.

The vector method is preferable because the concurrency point emerges immediately from the centroid formulas. The entire family of statements, including the general case, reduces to the single identity

$$(a_i+a_j)\cdot(a_j-a_i)=0,$$

which encodes the fact that all vertices lie on one circle centered at the origin. Once this identity is recognized, the proof for arbitrary $n$ is no longer harder than the case $n=4$.