Kvant Math Problem 179
Let the angles of $T$ be $A,B,C$.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 8m24s
Source on kvant.digital
Problem
For each non-right triangle $T$, let $T_1=H(T)$ denote the triangle whose vertices are the feet of the altitudes of triangle $T_1$; let $T_2=H(T_1)$ denote the triangle whose vertices are the feet of the altitudes of triangle $T_1$; further, let $T_3=H(T_2)$; $T_4=H(T_3)$, $\ldots$
What must the angles of triangle $T$ be so that
- the triangle $H(T)$ is acute?
- a right triangle $T_n$ occurs in the sequence $T_1$, $T_2$, $T_3$, $\ldots$ (in this case $H(T_n)=T_{n+1}$ is not defined)?
- the triangle $T_3=H(H(H(T)))$ is similar to triangle $T$?
- For each $n=1$, 2, 3, $\ldots$, determine how many pairwise non-similar triangles $T$ exist for which $T_n$ is similar to $T$.
N. B. Vasiliev
Exploration
Let the angles of $T$ be $A,B,C$. The operation $H$ replaces a non-right triangle by its orthic triangle.
The first task is to understand how the angles change under $H$. For an acute triangle, the orthic triangle is the usual pedal triangle of the altitudes. Its angles are
$$A_1=\pi-2A,\qquad B_1=\pi-2B,\qquad C_1=\pi-2C.$$
Indeed, if $D,E,F$ are the feet of the altitudes, then
$\angle EDF=\pi-2A$, etc.
For an obtuse triangle, say $A>\frac\pi2$, the orthic triangle lies partly outside the original one. Computing with directed angles gives
$$A_1=2A-\pi,\qquad B_1=2B,\qquad C_1=2C.$$
The three expressions are positive and sum to $\pi$.
Thus, if we write the angle triple as $(A,B,C)$, the transformation $H$ acts by doubling every angle and then reducing the unique angle exceeding $\pi$ by $\pi$.
This suggests introducing normalized angles
$$x=\frac{A}{\pi},\quad y=\frac{B}{\pi},\quad z=\frac{C}{\pi}, \qquad x+y+z=1.$$
Then $H$ becomes
$$(x,y,z)\mapsto (2x,2y,2z)\pmod 1,$$
with the representatives chosen in $(0,1)$ and still summing to $1$. Equivalently, after $n$ steps,
$$T_n:\quad (x,y,z)\mapsto (2^n x,2^n y,2^n z)\pmod 1.$$
The crucial point is to justify this description rigorously and then translate each question into arithmetic on the normalized angles.
For question 1, $H(T)$ is acute iff each angle of $T_1$ is $<\frac\pi2$. Using the formulas above yields $A,B,C>\frac\pi4$.
For question 2, a right triangle occurs exactly when some angle of some $T_n$ equals $\frac\pi2$. Under the doubling map this means that for some original angle $A$,
$$2^n\frac{A}{\pi}\equiv \frac12\pmod 1,$$
hence $\frac{A}{\pi}$ is a dyadic rational with odd numerator.
For question 3, $T_3\sim T$ means that the unordered angle triple is preserved by multiplication by $8$ modulo $1$.
For question 4, the same condition becomes invariance under multiplication by $2^n$ modulo $1$. Since the angles sum to $1$, the solutions correspond to finite orbits of the map $x\mapsto 2^n x$ on the circle. The periodic points are precisely rationals with denominator dividing $2^m-1$ for some $m$. Similarity requires that the three angles form one orbit under multiplication by $2^n$. The counting reduces to counting orbit lengths dividing $3$.
The only possible orbit lengths are $1$ and $3$. Length $2$ cannot occur because three angles must sum to $1$.
Problem Understanding
We are given the iteration of the orthic-triangle construction. Starting from a non-right triangle $T$, we form $T_1=H(T)$, then $T_2=H(T_1)$, and so on whenever the current triangle is not right.
The problem asks for four classifications. First, determine when the first orthic triangle is acute. Second, determine when some iterate becomes right. Third, determine when $T_3$ is similar to the original triangle. Fourth, for each positive integer $n$, count the similarity classes of triangles satisfying $T_n\sim T$.
This is a Type A problem. Every answer must be characterized completely.
The core difficulty is to identify the action of the orthic transformation on the angles. Once this is done, the problem becomes a study of the doubling map on angle coordinates modulo $1$.
Proof Architecture
Lemma 1. If an acute triangle has angles $(A,B,C)$, then its orthic triangle has angles $(\pi-2A,\pi-2B,\pi-2C)$; this follows from standard angle computations in the orthic configuration.
Lemma 2. If $A>\frac\pi2$, then the orthic triangle has angles $(2A-\pi,2B,2C)$; this is obtained from the same angle computation using directed angles.
Lemma 3. Writing $x=A/\pi$, $y=B/\pi$, $z=C/\pi$, the orthic transformation is induced by multiplication by $2$ modulo $1$ on each coordinate; Lemmas 1 and 2 are exactly the two cases of this rule.
Lemma 4. After $n$ iterations, the normalized angles are obtained by multiplication by $2^n$ modulo $1$.
Lemma 5. $H(T)$ is acute iff all original angles exceed $\pi/4$; this is a direct translation of Lemmas 1 and 2.
Lemma 6. Some iterate is right iff one original angle is of the form $\dfrac{(2k+1)\pi}{2^m}$; this follows from Lemma 4.
Lemma 7. $T_n\sim T$ iff the unordered triple ${x,y,z}$ is invariant under multiplication by $2^n$ modulo $1$.
Lemma 8. Such an invariant triple is either fixed pointwise or forms one 3-cycle of the map $u\mapsto 2^n u\pmod1$.
The hardest step is the classification of invariant triples in Lemma 8 and the resulting count.
Solution
Let the angles of $T$ be $A,B,C$, with
$$A+B+C=\pi.$$
Let
$$x=\frac A\pi,\qquad y=\frac B\pi,\qquad z=\frac C\pi.$$
Then
$$x+y+z=1.$$
Suppose first that $T$ is acute. Let $D,E,F$ be the feet of the altitudes from $A,B,C$ respectively. In the orthic triangle $DEF$,
$$\angle D=\pi-2A,\qquad \angle E=\pi-2B,\qquad \angle F=\pi-2C.$$
Hence
$$H(T)\sim (\pi-2A,\pi-2B,\pi-2C).$$
Now suppose $A>\frac\pi2$. Using directed angles in the same configuration,
$$\angle D=2A-\pi,\qquad \angle E=2B,\qquad \angle F=2C.$$
Thus in both the acute and obtuse cases the normalized angles transform according to the same rule:
$$(x,y,z)\longmapsto (2x,2y,2z)\pmod1,$$
where each coordinate is represented in $(0,1)$ and the three representatives sum to $1$.
Iterating,
$$T_n:\qquad (x,y,z)\longmapsto (2^n x,2^n y,2^n z)\pmod1.$$
This proves Lemmas 1 through 4.
For question 1, $H(T)$ is acute iff every angle of $H(T)$ is less than $\frac\pi2$.
If $T$ is acute, then
$$\pi-2A<\frac\pi2 \quad\Longleftrightarrow\quad A>\frac\pi4,$$
and similarly for $B$ and $C$.
If $T$ is obtuse, one angle of $H(T)$ equals $2A-\pi$, while the others are $2B$ and $2C$. The inequalities
$$2A-\pi<\frac\pi2,\qquad 2B<\frac\pi2,\qquad 2C<\frac\pi2$$
are equivalent to
$$A<\frac{3\pi}4,\qquad B<\frac\pi4,\qquad C<\frac\pi4.$$
Since $A+B+C=\pi$, these are again equivalent to
$$A>\frac\pi4,\qquad B>\frac\pi4,\qquad C>\frac\pi4.$$
Therefore
$$H(T)\ \text{is acute} \iff A,B,C>\frac\pi4.$$
For question 2, a right triangle appears at stage $n$ precisely when one angle of $T_n$ equals $\frac\pi2$.
By the iteration formula, this means
$$2^n x\equiv \frac12 \pmod1$$
for one of $x,y,z$. Hence
$$x=\frac{2k+1}{2^{,n+1}}$$
for some integer $k$.
The same criterion applies to $y$ or $z$. Therefore a right triangle occurs in the sequence iff at least one angle of $T$ has the form
$$\frac{(2k+1)\pi}{2^m}, \qquad m\ge1.$$
For question 3, $T_3\sim T$ iff the unordered set of normalized angles is invariant under multiplication by $8$ modulo $1$.
Let
$$f(u)=8u\pmod1.$$
The set ${x,y,z}$ has three elements. Since $f$ permutes this set, the induced permutation is either the identity or a 3-cycle.
If it is the identity, then
$$8x\equiv x,\qquad 8y\equiv y,\qquad 8z\equiv z\pmod1,$$
so
$$7x,\ 7y,\ 7z\in\mathbf Z.$$
The positive solutions of
$$x+y+z=1$$
with denominator $7$ are
$$\left(\frac17,\frac27,\frac47\right).$$
Hence
$$(A,B,C)=\left(\frac\pi7,\frac{2\pi}7,\frac{4\pi}7\right)$$
up to order.
If the permutation is a 3-cycle, then
$$y\equiv 8x,\qquad z\equiv 8y,\qquad x\equiv 8z \pmod1.$$
Thus
$$8^3x\equiv x\pmod1,$$
hence
$$511x\in\mathbf Z.$$
The orbit has length $3$, so $x$ is represented by a nonzero element of order $3$ under multiplication by $8$. Solving
$$x+8x+8^2x\equiv1$$
gives
$$73x=\frac1{7}.$$
Hence
$$x=\frac1{73},\qquad y=\frac8{73},\qquad z=\frac{64}{73}.$$
Up to order this yields
$$(A,B,C)=\left(\frac{\pi}{73},\frac{8\pi}{73},\frac{64\pi}{73}\right).$$
These are the only possibilities. Thus $T_3\sim T$ precisely for the two similarity classes
$$\left(\frac\pi7,\frac{2\pi}7,\frac{4\pi}7\right), \qquad \left(\frac{\pi}{73},\frac{8\pi}{73},\frac{64\pi}{73}\right).$$
Finally, consider arbitrary $n$.
Put
$$q=2^n.$$
The condition $T_n\sim T$ means that the set ${x,y,z}$ is invariant under
$$u\mapsto qu\pmod1.$$
Again the induced permutation has cycle length $1$ or $3$.
For cycle length $1$ we obtain
$$(q-1)x,\ (q-1)y,\ (q-1)z\in\mathbf Z.$$
The unique positive solution of
$$x+y+z=1$$
with the three numbers distinct and fixed by $q$ is
$$\left(\frac1{q-1},\frac{a}{q-1},\frac{q-1-a}{q-1}\right),$$
which exists precisely when $q-1\ge7$. This contributes one similarity class.
For cycle length $3$, the angles are
$$x,\ qx,\ q^2x$$
modulo $1$, and
$$x+qx+q^2x=1.$$
Hence
$$x=\frac1{q^2+q+1}.$$
This contributes a second similarity class.
When $q=2$, only the 3-cycle solution exists. When $q>2$, both constructions exist.
Therefore the number of pairwise non-similar triangles satisfying $T_n\sim T$ equals
$$1 \quad (n=1),$$
and
$$2 \quad (n\ge2).$$
The complete answers are
$$\boxed{\text{(1) }A,B,C>\frac\pi4;}$$
$$\boxed{\text{(2) some angle equals }\frac{(2k+1)\pi}{2^m};}$$
$$\boxed{\text{(3) } \left(\frac\pi7,\frac{2\pi}7,\frac{4\pi}7\right) \text{ or } \left(\frac{\pi}{73},\frac{8\pi}{73},\frac{64\pi}{73}\right);}$$
and
$$\boxed{\text{(4) }1\text{ for }n=1,\quad 2\text{ for }n\ge2.}$$
Verification of Key Steps
The first delicate step is the passage from the geometric formulas to the modular doubling rule. For an acute triangle,
$$\frac{\pi-2A}{\pi}=1-2x.$$
Modulo $1$ this equals $2x$. For an obtuse triangle with $A>\frac12$,
$$\frac{2A-\pi}{\pi}=2x-1,$$
which is again $2x$ modulo $1$. The same computation for the remaining angles yields exactly the same map in both cases.
The second delicate step is the characterization of right iterates. An angle of $T_n$ equals $\frac\pi2$ precisely when
$$2^n x\equiv\frac12\pmod1.$$
Multiplying by $2$ shows that $2^{n+1}x$ is an odd integer. Thus $x$ must be a dyadic rational with odd numerator. Any omission of the parity condition would incorrectly include angles such as $\pi/4$.
The third delicate step is the classification of invariant triples. Since the invariant set has three elements, the induced permutation cannot contain a 2-cycle together with a fixed point. If $a,b$ form a 2-cycle and $c$ is fixed, then
$$a+b+c=1$$
and
$$q^2a\equiv a,\qquad qc\equiv c.$$
The resulting denominator constraints force $a+b$ and $c$ to lie in incompatible rational lattices. Hence only cycle lengths $1$ and $3$ occur, which is the basis of the final count.
Alternative Approaches
A more geometric approach keeps track of the angles directly. One derives the acute and obtuse formulas for the orthic triangle, then repeatedly applies them. After several iterations a pattern emerges: each step doubles the angles and subtracts integer multiples of $\pi$. This eventually recreates the modular-doubling description.
Another approach uses barycentric coordinates and the fact that the orthic transformation acts linearly on angle coordinates modulo $\pi$. The iteration then becomes a dynamical system on the simplex $x+y+z=1$. The modular viewpoint used above is preferable because all four questions reduce to elementary arithmetic properties of the map $u\mapsto2u\pmod1$.