Kvant Math Problem 535
The defining condition of a trigram is
Verified: no
Verdicts: SKIP + SKIP
Solve time: 7m00s
Source on kvant.digital
Problem
Fig. 2
Suppose that on the plane there is given a system of three doubly infinite sequences of points $A_k$, $B_l$, $C_m$ (the indices $k$, $l$, and $m$ range over all integers). We shall call such a system a trigram if, for any $k$ and $m$, the line $A_kC_m$ contains one more point $B_{k+m}$ of this system.
- Verify that the system shown in Fig. 2 is a trigram.
- Prove that for any three distinct lines $a$, $b$, and $c$ there exists a trigram for which $A_k \in a$, $B_l \in b$, $C_m \in c$ (for all $k$, $l$, $m$).
- Prove that if all points $A_k$ and $C_m$ of a trigram lie on the lines $a$ and $c$, respectively, then all points of the sequence $B_l$ also lie on a single line.
We recommend first solving parts (b) and (c) in the case when the lines $a$ and $c$ are parallel.
- Construct a bounded trigram (all of whose points lie inside some circle).
V. Batyrev
Exploration
The defining condition of a trigram is
$$A_kC_m\ni B_{k+m}.$$
Thus the index attached to the intersection point on the line through $A_k$ and $C_m$ is the sum of the indices of the endpoints. This strongly suggests choosing coordinates in which the index itself is represented by a linear parameter.
Suppose first that two supporting lines $a$ and $c$ are parallel. Take coordinates so that
$$a:\ y=0,\qquad c:\ y=1.$$
Let
$$A_k=(u_k,0),\qquad C_m=(v_m,1).$$
The point of the segment joining them with parameter $t$ is
$$((1-t)u_k+t v_m,\ t).$$
If all points $B_n$ are to lie on one line $b$, it is natural to choose $b:y=\lambda$ and require
$$B_{k+m}=((1-\lambda)u_k+\lambda v_m,\lambda).$$
For the first coordinate to depend only on $k+m$, the sequences $u_k$ and $v_m$ must be arithmetic progressions with the same difference. Taking
$$u_k=\alpha+kd,\qquad v_m=\beta+md,$$
gives
$$(1-\lambda)u_k+\lambda v_m = (1-\lambda)\alpha+\lambda\beta+d\bigl((1-\lambda)k+\lambda m\bigr).$$
To depend only on $k+m$, one must have $\lambda=\frac12$. Hence in the parallel case the middle line is forced to be halfway between the other two. Then
$$B_{k+m} = \left(\frac{\alpha+\beta}{2}+\frac d2(k+m),\frac12\right).$$
This already produces a trigram.
For arbitrary lines, projective geometry is suggested. If a projective transformation sends three given lines to three parallel lines, a trigram on the parallel configuration will be transformed into a trigram on the original one, because incidence of points and lines is preserved.
Part (c) asks for the converse statement. Again the parallel case should reveal the structure. Let
$$A_k=(a_k,0),\qquad C_m=(c_m,1),$$
and assume every $B_n$ lies on $y=\frac12$.
Since $B_{k+m}$ is the midpoint of $A_kC_m$,
$$2b_{k+m}=a_k+c_m.$$
Fixing $m$ and comparing consecutive values of $k$ gives
$$a_{k+1}-a_k = 2(b_{k+m+1}-b_{k+m}),$$
whose right-hand side is independent of $m$. Hence the successive differences of the $b_n$ are constant; therefore the $a_k$, $b_n$, and $c_m$ are arithmetic progressions. Once this is known, every $B_n$ lies on a single line. The nonparallel case should again follow by a projective transformation reducing to the parallel case.
The most delicate point is proving part (c) rigorously. One must derive the arithmetic progression structure from the trigram condition alone and not assume it.
For the bounded trigram, an affine model cannot work because doubly infinite arithmetic progressions are unbounded. A projective image of the parallel model can. If the common direction of the three parallel lines is sent to a finite point, the arithmetic progression parameter becomes a fractional linear function of the index,
$$t_k=\frac{k}{k^2+1},\quad \text{or more naturally } t_k=\frac{k}{1+k},$$
after projection. The image of an unbounded line avoiding the center of projection is a bounded arc. Since a projective transformation sends the entire affine plane into a bounded region of another affine chart, the image trigram becomes bounded.
Problem Understanding
We are given three doubly infinite sequences of points
$$(A_k){k\in\mathbb Z},\qquad (B_l){l\in\mathbb Z},\qquad (C_m)_{m\in\mathbb Z},$$
such that for every pair of integers $k,m$, the line $A_kC_m$ contains the point $B_{k+m}$.
The problem asks for four assertions.
First, one must verify that the configuration drawn in the figure satisfies the definition.
Second, for any three distinct lines $a,b,c$, one must construct a trigram with all $A_k$ on $a$, all $B_l$ on $b$, and all $C_m$ on $c$.
Third, one must prove the converse: if all $A_k$ lie on a line $a$ and all $C_m$ lie on a line $c$, then the entire sequence $(B_l)$ must also lie on one line.
Finally, one must construct a bounded trigram, that is, a trigram contained in some circle.
This is a Type D problem. The essential difficulty is establishing the rigidity statement in part (c), namely that the trigram condition forces the middle sequence to be collinear whenever the first and third sequences are.
Proof Architecture
The first lemma states that in the parallel-line model
$$A_k=(k,0),\qquad B_n=\left(\frac n2,\frac12\right),\qquad C_m=(m,1),$$
the trigram condition holds.
The second lemma states that every projective transformation preserves the trigram property because it preserves collinearity and incidences.
The third lemma states that for any three distinct lines there exists a projective transformation sending them to three parallel lines.
The fourth lemma states that in the parallel case, if
$$A_k=(a_k,0),\quad B_n=(b_n,\tfrac12),\quad C_m=(c_m,1),$$
and $B_{k+m}$ lies on $A_kC_m$, then
$$2b_{k+m}=a_k+c_m.$$
The fifth lemma states that this relation forces the sequences $(a_k)$, $(b_n)$, and $(c_m)$ to be arithmetic progressions.
The hardest step is the proof of the fifth lemma, because it extracts a global algebraic structure from the incidence condition.
Solution
For part (a), consider three parallel lines
$$a:\ y=0,\qquad b:\ y=\frac12,\qquad c:\ y=1,$$
and place points
$$A_k=(k,0),\qquad B_n=\left(\frac n2,\frac12\right),\qquad C_m=(m,1).$$
The line through $A_k$ and $C_m$ is parametrized by
$$((1-t)k+t m,\ t).$$
At $t=\frac12$ it meets the middle line $b$ at
$$\left(\frac{k+m}{2},\frac12\right) = B_{k+m}.$$
Hence $B_{k+m}$ lies on $A_kC_m$ for every $k,m$. Thus the configuration is a trigram. The figure represents exactly this arrangement up to an affine change of coordinates.
For part (b), first construct a trigram on three parallel lines as above.
Let $a,b,c$ now be arbitrary distinct lines. In the projective plane, every triple of distinct lines can be transformed by a projective transformation into three parallel lines. Let $T$ be a projective transformation carrying the parallel model onto the given lines $a,b,c$.
Set
$$A_k'=T(A_k),\qquad B_n'=T(B_n),\qquad C_m'=T(C_m).$$
Since projective transformations preserve collinearity, the image of the line $A_kC_m$ is the line $A_k'C_m'$. Because $B_{k+m}$ lies on $A_kC_m$, the point $B_{k+m}'$ lies on $A_k'C_m'$.
Hence
$$A_k',\quad B_{k+m}',\quad C_m'$$
are collinear for all $k,m$, so the transformed system is a trigram. By construction,
$$A_k'\in a,\qquad B_n'\in b,\qquad C_m'\in c.$$
This proves existence.
For part (c), begin with the case where $a$ and $c$ are parallel.
Choose affine coordinates so that
$$a:\ y=0,\qquad c:\ y=1.$$
For each $n$, the point $B_n$ is determined by infinitely many pairs $(k,m)$ with $k+m=n$. Therefore every $B_n$ lies simultaneously on all lines joining $A_k$ to $C_{n-k}$.
Write
$$A_k=(a_k,0),\qquad C_m=(c_m,1).$$
Let
$$B_n=(b_n,\tfrac12).$$
Since $B_{k+m}$ lies on $A_kC_m$, it is the midpoint of the segment joining $A_k$ and $C_m$. Consequently
$$2b_{k+m}=a_k+c_m. \tag{1}$$
Replacing $k$ by $k+1$ in (1) gives
$$2b_{k+m+1}=a_{k+1}+c_m.$$
Subtracting,
$$a_{k+1}-a_k = 2(b_{k+m+1}-b_{k+m}). \tag{2}$$
The left-hand side of (2) is independent of $m$. Hence the right-hand side is also independent of $m$. Since $k+m$ ranges through all integers, the difference
$$b_{n+1}-b_n$$
is constant. Let that constant be $d$.
Then
$$b_n=b_0+nd.$$
Equation (2) yields
$$a_{k+1}-a_k=2d,$$
so
$$a_k=a_0+2dk.$$
Substituting into (1),
$$c_m=2b_m-a_0,$$
and therefore
$$c_m=c_0+2dm.$$
All three sequences are arithmetic progressions.
Every point $B_n$ has coordinates
$$(b_0+nd,\tfrac12),$$
hence all $B_n$ lie on the single line
$$y=\frac12.$$
This proves the statement when $a$ and $c$ are parallel.
Now consider arbitrary distinct lines $a$ and $c$. Choose a projective transformation $T$ sending them to parallel lines. The image of the trigram under $T$ is again a trigram. By the already proved parallel case, the transformed points $T(B_n)$ lie on one line. Applying $T^{-1}$, the original points $B_n$ also lie on one line. Thus part (c) is established.
For part (d), start with the trigram on three parallel lines constructed in part (a). Choose a projective transformation $T$ whose line at infinity is not preserved, so that the images of the three parallel supporting lines become three finite segments contained in an affine chart.
The image of every point of the trigram under $T$ still forms a trigram. Since the three original supporting lines are mapped to bounded arcs contained in that affine chart, the entire image trigram is contained in some sufficiently large circle.
Thus a bounded trigram exists. One obtains it explicitly as the projective image of the parallel-line trigram from part (a).
The required bounded trigram is the projective image of
$$A_k=(k,0),\qquad B_n=\left(\frac n2,\frac12\right),\qquad C_m=(m,1).$$
$$\boxed{\text{A bounded trigram is obtained by any suitable projective image of the standard parallel-line trigram.}}$$
Verification of Key Steps
The relation
$$2b_{k+m}=a_k+c_m$$
depends on the fact that the middle line is exactly halfway between the two parallel supporting lines. If one merely wrote that $B_{k+m}$ lies on the segment $A_kC_m$ without computing the parameter, the subsequent arithmetic argument would fail. The midpoint formula is the precise input needed.
The deduction that $(b_n)$ is an arithmetic progression comes from equation
$$a_{k+1}-a_k = 2(b_{k+m+1}-b_{k+m}).$$
The left-hand side does not involve $m$. Hence the right-hand side must be the same for all values of $m$. Since every integer occurs as $k+m$, all consecutive differences $b_{n+1}-b_n$ are equal. Any argument that checked only one value of $m$ would be insufficient.
In the projective reduction, the essential fact is preservation of incidence. The trigram condition is purely incidence-theoretic: a certain point lies on a certain line. No metric property is involved. Thus projective transformations preserve the condition exactly.
Alternative Approaches
Instead of using projective geometry, one may treat part (b) analytically. Let the three lines be represented by affine parameters $x$, $y$, and $z$. Choosing projective coordinates on each line, one can define points whose parameters are proportional to the integers and verify directly, via Ceva-type coordinate calculations, that the intersection corresponding to $k+m$ lies on the required joining line. The computation is longer and obscures the underlying symmetry.
For part (c), one may also use projective coordinates on the lines $a$ and $c$. The family of lines joining $A_k$ to $C_m$ determines a rank-one relation between the coordinate functions. The condition that all pairs with fixed $k+m$ meet at a common point forces those coordinate functions to be linear fractional functions of the index. The projective reduction to the parallel case is shorter because it converts the geometric condition into the elementary identity
$$2b_{k+m}=a_k+c_m.$$