Maths Olympiad Prep

Library / /10 of 14

Algebra Difficulty 6.3 National olympiad Prove it Bulgaria

Let α\alpha and β\beta, αβ\alpha \neq \beta, be acute angles such that
(cos2α+cos2β)(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 cos2α=11+x2\cos^2 \alpha = \dfrac{1}{1 + x^2} and cos2β=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+xy32x22y22x2y2=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+xy32x22y22x2y2=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:
(x22x2)+(y22y2)+2xy+x3y+xy32x2y2=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+xy32x2y2=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
(x2y2)+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 x2y2-x^2 - y^2 and xy(x2+y2)x y (x^2 + y^2):
2xy+xy(x2+y2)x2y22x2y2=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]x2y22x2y2=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]x2y22x2y2=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 xy1=0x y - 1 = 0, i.e. xy=1x y = 1.

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

Recall that tan(α+β)=tanα+tanβ1tanα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, (xy)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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.