Maths Olympiad Prep

Library / Fall Mathematical Competition /9 of 12

Fall Mathematical Competition

Algebra Difficulty 6.3 National Olympiad Prove it Bulgaria

Let α\alpha and β\beta, α≠β\alpha \neq \beta, be acute angles such that
(cos⁡2α+cos⁡2β)(1+tan⁡αtan⁡β)=2. (\cos^2 \alpha + \cos^2 \beta)(1 + \tan \alpha \tan \beta) = 2.
Prove that α+β=90∘\alpha + \beta = 90^\circ.

Solution

Let x=tan⁡αx = \tan \alpha, y=tan⁡βy = \tan \beta.

We have cos⁡2α=11+x2\cos^2 \alpha = \dfrac{1}{1 + x^2} and cos⁡2β=11+y2\cos^2 \beta = \dfrac{1}{1 + y^2}.

So,
(11+x2+11+y2)(1+xy)=2. \left( \dfrac{1}{1 + x^2} + \dfrac{1}{1 + y^2} \right)(1 + x y) = 2.

Multiply both sides by (1+x2)(1+y2)(1 + x^2)(1 + y^2):
[(1+y2)+(1+x2)](1+xy)=2(1+x2)(1+y2) \left[ (1 + y^2) + (1 + x^2) \right](1 + x y) = 2(1 + x^2)(1 + y^2)
(2+x2+y2)(1+xy)=2(1+x2+y2+x2y2) (2 + x^2 + y^2)(1 + x y) = 2(1 + x^2 + y^2 + x^2 y^2)

Expand the left side:
(2+x2+y2)(1+xy)=2(1+xy)+x2(1+xy)+y2(1+xy) (2 + x^2 + y^2)(1 + x y) = 2(1 + x y) + x^2(1 + x y) + y^2(1 + x y)
=2(1+xy)+x2+x3y+y2+xy3 = 2(1 + x y) + x^2 + x^3 y + y^2 + x y^3

But let's expand both sides fully:

Left:
(2+x2+y2)(1+xy)=2(1+xy)+x2(1+xy)+y2(1+xy) (2 + x^2 + y^2)(1 + x y) = 2(1 + x y) + x^2(1 + x y) + y^2(1 + x y)
=2+2xy+x2+x3y+y2+xy3 = 2 + 2 x y + x^2 + x^3 y + y^2 + x y^3

Right:
2(1+x2)(1+y2)=2(1+x2+y2+x2y2)=2+2x2+2y2+2x2y2 2(1 + x^2)(1 + y^2) = 2(1 + x^2 + y^2 + x^2 y^2) = 2 + 2x^2 + 2y^2 + 2x^2 y^2

Set equal:
2+2xy+x2+x3y+y2+xy3=2+2x2+2y2+2x2y2 2 + 2 x y + x^2 + x^3 y + y^2 + x y^3 = 2 + 2x^2 + 2y^2 + 2x^2 y^2

Subtract 22 from both sides:
2xy+x2+x3y+y2+xy3=2x2+2y2+2x2y2 2 x y + x^2 + x^3 y + y^2 + x y^3 = 2x^2 + 2y^2 + 2x^2 y^2

Bring all terms to one side:
2xy+x2+x3y+y2+xy3−2x2−2y2−2x2y2=0 2 x y + x^2 + x^3 y + y^2 + x y^3 - 2x^2 - 2y^2 - 2x^2 y^2 = 0
2xy+x2+x3y+y2+xy3−2x2−2y2−2x2y2=0 2 x y + x^2 + x^3 y + y^2 + x y^3 - 2x^2 - 2y^2 - 2x^2 y^2 = 0
Group terms:
(x2−2x2)+(y2−2y2)+2xy+x3y+xy3−2x2y2=0 (x^2 - 2x^2) + (y^2 - 2y^2) + 2 x y + x^3 y + x y^3 - 2x^2 y^2 = 0
(−x2)+(−y2)+2xy+x3y+xy3−2x2y2=0 (-x^2) + (-y^2) + 2 x y + x^3 y + x y^3 - 2x^2 y^2 = 0

Now, x3y+xy3=xy(x2+y2)x^3 y + x y^3 = x y (x^2 + y^2), so:
(−x2)+(−y2)+2xy+xy(x2+y2)−2x2y2=0 (-x^2) + (-y^2) + 2 x y + x y (x^2 + y^2) - 2x^2 y^2 = 0
(−x2−y2)+2xy+xy(x2+y2)−2x2y2=0 (-x^2 - y^2) + 2 x y + x y (x^2 + y^2) - 2x^2 y^2 = 0

Now, xy(x2+y2)=x3y+xy3x y (x^2 + y^2) = x^3 y + x y^3 as above.

Group −x2−y2-x^2 - y^2 and xy(x2+y2)x y (x^2 + y^2):
2xy+xy(x2+y2)−x2−y2−2x2y2=0 2 x y + x y (x^2 + y^2) - x^2 - y^2 - 2x^2 y^2 = 0

Let us factor xyx y:
2xy+xy(x2+y2)=xy[2+x2+y2] 2 x y + x y (x^2 + y^2) = x y [2 + x^2 + y^2]
So:
xy[2+x2+y2]−x2−y2−2x2y2=0 x y [2 + x^2 + y^2] - x^2 - y^2 - 2x^2 y^2 = 0

Bring x2+y2x^2 + y^2 to the other side:
xy[2+x2+y2]=x2+y2+2x2y2 x y [2 + x^2 + y^2] = x^2 + y^2 + 2x^2 y^2

Now, move all terms to one side:
xy[2+x2+y2]−x2−y2−2x2y2=0 x y [2 + x^2 + y^2] - x^2 - y^2 - 2x^2 y^2 = 0

Alternatively, let's try the hint: write the given equality as (tan⁡αtan⁡β−1)(tan⁡α−tan⁡β)2=0(\tan \alpha \tan \beta - 1)(\tan \alpha - \tan \beta)^2 = 0.

Let us try to factor the expression.

Let x=tan⁡αx = \tan \alpha, y=tan⁡βy = \tan \beta.

Suppose xy−1=0x y - 1 = 0, i.e. xy=1x y = 1.

Then tan⁡αtan⁡β=1\tan \alpha \tan \beta = 1.

Recall that tan⁡(α+β)=tan⁡α+tan⁡β1−tan⁡αtan⁡β\tan (\alpha + \beta) = \dfrac{\tan \alpha + \tan \beta}{1 - \tan \alpha \tan \beta}.

If tan⁡αtan⁡β=1\tan \alpha \tan \beta = 1, then denominator is 00, so tan⁡(α+β)\tan (\alpha + \beta) is undefined, which happens when α+β=90∘\alpha + \beta = 90^\circ.

Since α\alpha and β\beta are acute and α≠β\alpha \neq \beta, this is possible.

Alternatively, (x−y)2=0(x - y)^2 = 0 gives x=yx = y, i.e. tan⁡α=tan⁡β\tan \alpha = \tan \beta, so α=β\alpha = \beta, but α≠β\alpha \neq \beta by assumption.

Therefore, the only possibility is tan⁡αtan⁡β=1\tan \alpha \tan \beta = 1, i.e. α+β=90∘\alpha + \beta = 90^\circ.

Thus, α+β=90∘\boxed{\alpha + \beta = 90^\circ}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.