Difference between revisions of "1968 IMO Problems/Problem 1"

m
 
(3 intermediate revisions by the same user not shown)
Line 70: Line 70:
 
For each case, we could substitute <math>a, c</math> in <math>(*)</math>, get an
 
For each case, we could substitute <math>a, c</math> in <math>(*)</math>, get an
 
equation in <math>b</math>, solve it, and get all the possible solutions.
 
equation in <math>b</math>, solve it, and get all the possible solutions.
As a shortcut, notice that (*) implies that <math>b|a^2</math>.  If <math>a, b</math>
+
As a shortcut, notice that <math>(*)</math> implies that <math>b|a^2</math>.  If
are consecutive integers, then they are relatively prime, so
+
<math>a, b</math> are consecutive integers, then they are relatively
<math>b|a^2</math> can not be true unless <math>b = 1</math>.  In this case the
+
prime, so <math>b|a^2</math> can not be true unless <math>b = 1</math>.  In this
triangle would have sides <math>1, 2, 3</math>, which is impossible.
+
case the triangle would have sides <math>1, 2, 3</math>, which is
This eliminates cases 2, 3, 4 and 5.
+
impossible. This eliminates cases 2, 3, 4 and 5.
  
 
In case 1, <math>(*)</math> becomes
 
In case 1, <math>(*)</math> becomes
Line 103: Line 103:
 
Note: Adding this 4th solution is justified by the fact
 
Note: Adding this 4th solution is justified by the fact
 
that it is extremely straightforward, and by the fact
 
that it is extremely straightforward, and by the fact
that in fact, it does not use the hypothesis that the
+
that it shows that there are exactly two triangles for
sides of the triangle are integers.  We only need the
+
which the sides differ by <math>1</math> (i.e. they are
fact that the sides differ by <math>1</math> (i.e. they are
 
 
<math>x, x + 1, x + 2</math> for some <math>x</math>), and the condition
 
<math>x, x + 1, x + 2</math> for some <math>x</math>), and the condition
on the angles (that one is twice the other).
+
on the angles is satisfied (that one is twice the other).
 +
But only one of the solutions has <math>x</math> integer.
  
 
So, let us start by assuming that two angles are
 
So, let us start by assuming that two angles are
Line 118: Line 118:
 
but we don't know how to map <math>\{A, B, C\}</math> to
 
but we don't know how to map <math>\{A, B, C\}</math> to
 
<math>\{\alpha, 2\alpha, \pi - 3\alpha\}</math>.  One thing we know, is that  
 
<math>\{\alpha, 2\alpha, \pi - 3\alpha\}</math>.  One thing we know, is that  
<math>\sin \alpha \le \sin 2\alpha</math>.  Indeed, if <math>\alpha \le \pi/4</math> the
+
<math>\sin \alpha < \sin 2\alpha</math>.  Indeed, if <math>\alpha \le \pi/4</math> the
 
inequality is true because <math>\sin</math> is increasing on <math>[0, \pi/2]</math>.
 
inequality is true because <math>\sin</math> is increasing on <math>[0, \pi/2]</math>.
 
Now note that <math>\alpha < \pi/3</math> since otherwise <math>\pi - 3\alpha</math>
 
Now note that <math>\alpha < \pi/3</math> since otherwise <math>\pi - 3\alpha</math>
 
could not be the angle of a triangle.  So, if
 
could not be the angle of a triangle.  So, if
<math>\pi/4 \le \alpha \le \pi/3</math> then <math>\pi/2 \le 2\alpha \le 2\pi/3</math>
+
<math>\pi/4 < \alpha < \pi/3</math> then <math>\pi/2 < 2\alpha < 2\pi/3</math>
and <math>\sin \alpha \le \sqrt{3}/2 \le \sin 2\alpha</math>.
+
and <math>\sin \alpha < \sqrt{3}/2 < \sin 2\alpha</math>.
  
 
That means we will have to consider three possibilities:
 
That means we will have to consider three possibilities:
Line 133: Line 133:
 
3: <math>\ \ \frac{x}{\sin (\pi - 3\alpha)} = \frac{x + 1}{\sin \alpha} = \frac{x + 2}{\sin 2\alpha}</math>
 
3: <math>\ \ \frac{x}{\sin (\pi - 3\alpha)} = \frac{x + 1}{\sin \alpha} = \frac{x + 2}{\sin 2\alpha}</math>
  
Using the identities <math>\sin (\pi - A) = \sin A</math>, <math>\sin 2A = 2\sin A \cos A</math>
+
Using the identities
and <math>\sin 3A = 3\sin A - 4\sin^3 A = \sin A\ (4\cos^2 A - 1)</math> and simplifying
+
<math>\sin (\pi - \theta) = \sin \theta, \sin 2\theta = 2\sin \theta \cos \theta</math>
by <math>\sin \alpha</math> the three cases become
+
and
 +
<math>\sin 3\theta = 3\sin \theta - 4\sin^3 \theta = \sin \theta\ (4\cos^2 \theta - 1)</math>
 +
and simplifying by <math>\sin \alpha</math> the three cases become
  
 
1: <math>\ \ x = \frac{x + 1}{2\cos \alpha} = \frac{x + 2}{4\cos^2 \alpha - 1}</math>
 
1: <math>\ \ x = \frac{x + 1}{2\cos \alpha} = \frac{x + 2}{4\cos^2 \alpha - 1}</math>
Line 167: Line 169:
 
<math>x = \frac{2 - 2\cos \alpha}{2\cos \alpha - 1}</math>.  Substitute <math>x</math> in
 
<math>x = \frac{2 - 2\cos \alpha}{2\cos \alpha - 1}</math>.  Substitute <math>x</math> in
 
<math>x + 1 = \frac{x}{4\cos^2 \alpha - 1}</math>.  After doing all the computations
 
<math>x + 1 = \frac{x}{4\cos^2 \alpha - 1}</math>.  After doing all the computations
we get <math>4\cos^2 \alpha - 4\cos \alpha = 0</math>.  The roots are <math>\cos \alpha = 0</math>
+
we get <math>4\cos^2 \alpha + 2\cos \alpha - 3 = 0</math>.  The roots are
and <math>\cos \alpha = 1</math>.  None are acceptable if <math>\alpha</math> is an angle of a
+
<math>\cos \alpha = \frac{-1 \pm \sqrt{13}}{4} \approx 0.65, -1.15</math>.
triangle.  So case 1 yields no solutions.
+
The positive value is for an <math>\alpha</math> acceptable as an angle in
 
+
a triangle (it is a little over <math>\pi/4</math>), and yields
 
+
<math>x = \frac{\sqrt{13} + 1}{2}</math>.  We can easily verify that
 
+
<math>x, x + 1, x + 2</math> can be the sides of a triangle.  (Indeed,
 +
they are
 +
<math>\frac{\sqrt{13} + 1}{2}, \frac{\sqrt{13} + 3}{2}, \frac{\sqrt{13} + 5}{2}</math>
 +
and
 +
<math>\frac{\sqrt{13} + 1}{2} + \frac{\sqrt{13} + 3}{2} > \frac{\sqrt{13} + 5}{2}</math>).
 +
However, they are not integer, so are not solutions to the problem.
  
 +
The only solution to the problem is the triangle with sides <math>4, 5, 6</math>
 +
from case 2.
  
TO BE CONTINUED.  I SAVE MIDWAY SO I DON'T LOSE WORK DONE SO FAR.
+
[Solution by pf02, August 2024]
  
  

Latest revision as of 18:24, 10 November 2024

Problem

Prove that there is one and only one triangle whose side lengths are consecutive integers, and one of whose angles is twice as large as another.

Solution 1

In triangle $ABC$, let $BC=a$, $AC=b$, $AB=c$, $\angle ABC=\alpha$, and $\angle BAC=2\alpha$. Using the Law of Sines gives that

\[\frac{b}{\sin{\alpha}}=\frac{a}{\sin{2\alpha}}\Rightarrow \frac{\sin{2\alpha}}{\sin{\alpha}}=2\cos{\alpha}=\frac{a}{b}\]

Therefore $\cos{\alpha}=\frac{a}{2b}$. Using the Law of Cosines gives that

\[\cos{\alpha}=\frac{a^2+c^2-b^2}{2ac}=\frac{a}{2b}\]

This can be simplified to $a^2c=b(a^2+c^2-b^2)$. Since $a$, $b$, and $c$ are positive integers, $b|a^2c$. Note that if $b$ is between $a$ and $c$, then $b$ is relatively prime to $a$ and $c$, and $b$ cannot possibly divide $a^2c$. Therefore $b$ is either the least of the three consecutive integers or the greatest.

Assume that $b$ is the least of the three consecutive integers. Then either $b|b+2$ or $b|(b+2)^2$, depending on if $a=b+2$ or $c=b+2$. If $b|b+2$, then $b$ is 1 or 2. $b$ couldn't be 1, for if it was then the triangle would be degenerate. If $b$ is 2, then $b(a^2+c^2-b^2)=42=a^2c$, but $a$ and $c$ must be 3 and 4 in some order, which means that this triangle doesn't exist. therefore $b$ cannot divide $b+2$, and so $b$ must divide $(b+2)^2$. If $b|(b+2)^2$ then $b|(b+2)^2-b^2-4b=4$, so $b$ is 1, 2, or 4. Clearly $b$ cannot be 1 or 2, so $b$ must be 4. Therefore $b(a^2+c^2-b^2)=180=a^2c$. This shows that $a=6$ and $c=5$, and the triangle has sides that measure 4, 5, and 6.

Now assume that $b$ is the greatest of the three consecutive integers. Then either $b|b-2$ or $b|(b-2)^2$, depending on if $a=b-2$ or $c=b-2$. $b|b-2$ is absurd, so $b|(b-2)^2$, and $b|(b-2)^2-b^2+4b=4$. Therefore $b$ is 1, 2, or 4. However, all of these cases are either degenerate or have been previously ruled out, so $b$ cannot be the greatest of the three consecutive integers. This shows that there is exactly one triangle with this property - and it has side lengths of 4, 5, and 6. $\blacksquare$


Solution 2

(Note: this proof is an expansion by pf02 of an outline of a solution posted here before.)

In a given triangle $ABC$, let $A=2B$, $\implies C=180-3B$, and $\sin C=\sin 3B$. Then

$\sin ^2 A = \sin ^2 2B = 2 \sin B \cos B \sin 2B = \sin B(\sin B + \sin 3B) = \sin B(\sin B + \sin C)$

Hence,

$a^2 = b(b + c)\ (*)$

Indeed, we know from the Law of Sines that

$\frac{\sin A}{a} = \frac{\sin B}{b} = \frac{\sin C}{c}$.

Denote this ratio by $r$; we have $\sin A = ra, \sin B = rb, \sin C = rc$. Substitute in $\sin ^2 A = \sin B(\sin B + \sin C)$ and simplify by $r^2$. We get $(*)$.

At this point, notice that $(*)$ is equivalent to the equality $a^2c = b(a^2 + c^2 - b^2)$ from Solution 1. Indeed, the latter can be rewritten as $a^2(c - b) = b(c + b)(c - b)$, and we know that $c \ne b$. So we could simply quote the fact (proven in Solution 1) that if $a, b, c$ are consecutive integers and $a^2 = b(c + b)$, then $b = 4, c = 5, a = 6$ is the only solution which could be the sides of a triangle.

For the sake of completeness, and for fun, I give a slightly different proof here.

We have six possibilities, depending on how the three consecutive numbers are ordered. The six possibilities are:

1: $\ \ a = b - 2, c = b - 1, b$

2: $\ \ c = b - 2, a = b - 1, b$

3: $\ \ a = b - 1, b, c = b + 1$

4: $\ \ c = b - 1, b, a = b + 1$

5: $\ \ b, a = b + 1, c = b + 2$

6: $\ \ b, c = b + 1, a = b + 2$

For each case, we could substitute $a, c$ in $(*)$, get an equation in $b$, solve it, and get all the possible solutions. As a shortcut, notice that $(*)$ implies that $b|a^2$. If $a, b$ are consecutive integers, then they are relatively prime, so $b|a^2$ can not be true unless $b = 1$. In this case the triangle would have sides $1, 2, 3$, which is impossible. This eliminates cases 2, 3, 4 and 5.

In case 1, $(*)$ becomes

$(b - 2)^2 = b(b + b - 1)$, or $b^2 + 3b - 4 = 0$.

This has solutions $1, -4$. The value $b = -4$ is impossible. The value $b = 1$ yields $a = -1, c = 0$, which is impossible.

In case 6, $(*)$ becomes

$(b + 2)^2 = b(b + b + 1)$, or $b^2 - 3b - 4 = 0$.

The solutions are $-1, 4$. The value $b = -1$ is impossible. Thus, we get the unique triangle $a = 6, b = 4, c = 5$.


Solution 3

NO TRIGONOMETRY!!!

Let $a, b, c$ be the side lengths of a triangle in which $\angle C = 2\angle B.$

Extend $AC$ to $D$ such that $CD = BC = a.$ Then $\angle CDB = \frac{\angle ACB}{2} = \angle ABC$, so $ABC$ and $ADB$ are similar by AA Similarity. Hence, $c^2 = b(a+b)$. Then proceed as in Solution 2, as only algebraic manipulations are left.


Solution 4

Note: Adding this 4th solution is justified by the fact that it is extremely straightforward, and by the fact that it shows that there are exactly two triangles for which the sides differ by $1$ (i.e. they are $x, x + 1, x + 2$ for some $x$), and the condition on the angles is satisfied (that one is twice the other). But only one of the solutions has $x$ integer.

So, let us start by assuming that two angles are $\alpha, 2\alpha$ and the sides are $x, x + 1, x + 2$. We will want to apply the Law of Sines:

$\frac{x}{\sin A} = \frac{x + 1}{\sin B} = \frac{x + 2}{\sin C}$

The angles $A, B, C$ should be so that $\sin A \le \sin B \le \sin C$, but we don't know how to map $\{A, B, C\}$ to $\{\alpha, 2\alpha, \pi - 3\alpha\}$. One thing we know, is that $\sin \alpha < \sin 2\alpha$. Indeed, if $\alpha \le \pi/4$ the inequality is true because $\sin$ is increasing on $[0, \pi/2]$. Now note that $\alpha < \pi/3$ since otherwise $\pi - 3\alpha$ could not be the angle of a triangle. So, if $\pi/4 < \alpha < \pi/3$ then $\pi/2 < 2\alpha < 2\pi/3$ and $\sin \alpha < \sqrt{3}/2 < \sin 2\alpha$.

That means we will have to consider three possibilities:

1: $\ \ \frac{x}{\sin \alpha} = \frac{x + 1}{\sin 2\alpha} = \frac{x + 2}{\sin (\pi - 3\alpha)}$

2: $\ \ \frac{x}{\sin \alpha} = \frac{x + 1}{\sin (\pi - 3\alpha)} = \frac{x + 2}{\sin 2\alpha}$

3: $\ \ \frac{x}{\sin (\pi - 3\alpha)} = \frac{x + 1}{\sin \alpha} = \frac{x + 2}{\sin 2\alpha}$

Using the identities $\sin (\pi - \theta) = \sin \theta, \sin 2\theta = 2\sin \theta \cos \theta$ and $\sin 3\theta = 3\sin \theta - 4\sin^3 \theta = \sin \theta\ (4\cos^2 \theta - 1)$ and simplifying by $\sin \alpha$ the three cases become

1: $\ \ x = \frac{x + 1}{2\cos \alpha} = \frac{x + 2}{4\cos^2 \alpha - 1}$

2: $\ \ x = \frac{x + 1}{4\cos^2 \alpha - 1} = \frac{x + 2}{2\cos \alpha}$

3: $\ \ \frac{x}{4\cos^2 \alpha - 1} = x + 1 = \frac{x + 2}{2\cos \alpha}$

Each case is a system of two equations in two unknowns, $x, \cos \alpha$. We will solve each system, obtain all possible solutions, and chose those values for which $x, x + 1, x + 2$ and $\alpha, 2\alpha, \pi - 3\alpha$ can be the sides and angles of a triangle.

Case 1: Compute $x$ from $x = \frac{x + 1}{2\cos \alpha}$. We get $x = \frac{1}{2\cos \alpha - 1}$. Substitute $x$ in $x = \frac{x + 2}{4\cos^2 \alpha - 1}$. After doing all the computations we get $4\cos^2 \alpha - 4\cos \alpha = 0$. The roots are $\cos \alpha = 0$ and $\cos \alpha = 1$. None are acceptable if $\alpha$ is an angle of a triangle. So case 1 yields no solutions.

Case 2: Compute $x$ from $x = \frac{x + 2}{2\cos \alpha}$. We get $x = \frac{2}{2\cos \alpha - 1}$. Substitute $x$ in $x = \frac{x + 1}{4\cos^2 \alpha - 1}$. After doing all the computations we get $8\cos^2 \alpha - 2\cos \alpha - 3 = 0$. The solutions are $\cos \alpha = \frac{3}{4}$ and $\cos \alpha = -\frac{1}{2}$. Only $\cos \alpha = \frac{3}{4}$ is acceptable, and it yields $x = \frac{2}{\frac{6}{4} - 1} = 4$. Thus $4, 5, 6$ is a possible solution to the problem.

Case 3: Compute $x$ from $x + 1 = \frac{x + 2}{2\cos \alpha}$. We get $x = \frac{2 - 2\cos \alpha}{2\cos \alpha - 1}$. Substitute $x$ in $x + 1 = \frac{x}{4\cos^2 \alpha - 1}$. After doing all the computations we get $4\cos^2 \alpha + 2\cos \alpha - 3 = 0$. The roots are $\cos \alpha = \frac{-1 \pm \sqrt{13}}{4} \approx 0.65, -1.15$. The positive value is for an $\alpha$ acceptable as an angle in a triangle (it is a little over $\pi/4$), and yields $x = \frac{\sqrt{13} + 1}{2}$. We can easily verify that $x, x + 1, x + 2$ can be the sides of a triangle. (Indeed, they are $\frac{\sqrt{13} + 1}{2}, \frac{\sqrt{13} + 3}{2}, \frac{\sqrt{13} + 5}{2}$ and $\frac{\sqrt{13} + 1}{2} + \frac{\sqrt{13} + 3}{2} > \frac{\sqrt{13} + 5}{2}$). However, they are not integer, so are not solutions to the problem.

The only solution to the problem is the triangle with sides $4, 5, 6$ from case 2.

[Solution by pf02, August 2024]


See Also

1968 IMO (Problems) • Resources
Preceded by
First Problem
1 2 3 4 5 6 Followed by
Problem 2
All IMO Problems and Solutions