Let x=tanα, y=tanβ.
We have cos2α=1+x21 and cos2β=1+y21.
So,
(1+x21+1+y21)(1+xy)=2.
Multiply both sides by (1+x2)(1+y2):
[(1+y2)+(1+x2)](1+xy)=2(1+x2)(1+y2)
(2+x2+y2)(1+xy)=2(1+x2+y2+x2y2)
Expand the left side:
(2+x2+y2)(1+xy)=2(1+xy)+x2(1+xy)+y2(1+xy)
=2(1+xy)+x2+x3y+y2+xy3
But let's expand both sides fully:
Left:
(2+x2+y2)(1+xy)=2(1+xy)+x2(1+xy)+y2(1+xy)
=2+2xy+x2+x3y+y2+xy3
Right:
2(1+x2)(1+y2)=2(1+x2+y2+x2y2)=2+2x2+2y2+2x2y2
Set equal:
2+2xy+x2+x3y+y2+xy3=2+2x2+2y2+2x2y2
Subtract 2 from both sides:
2xy+x2+x3y+y2+xy3=2x2+2y2+2x2y2
Bring all terms to one side:
2xy+x2+x3y+y2+xy3−2x2−2y2−2x2y2=0
2xy+x2+x3y+y2+xy3−2x2−2y2−2x2y2=0
Group terms:
(x2−2x2)+(y2−2y2)+2xy+x3y+xy3−2x2y2=0
(−x2)+(−y2)+2xy+x3y+xy3−2x2y2=0
Now, x3y+xy3=xy(x2+y2), so:
(−x2)+(−y2)+2xy+xy(x2+y2)−2x2y2=0
(−x2−y2)+2xy+xy(x2+y2)−2x2y2=0
Now, xy(x2+y2)=x3y+xy3 as above.
Group −x2−y2 and xy(x2+y2):
2xy+xy(x2+y2)−x2−y2−2x2y2=0
Let us factor xy:
2xy+xy(x2+y2)=xy[2+x2+y2]
So:
xy[2+x2+y2]−x2−y2−2x2y2=0
Bring x2+y2 to the other side:
xy[2+x2+y2]=x2+y2+2x2y2
Now, move all terms to one side:
xy[2+x2+y2]−x2−y2−2x2y2=0
Alternatively, let's try the hint: write the given equality as (tanαtanβ−1)(tanα−tanβ)2=0.
Let us try to factor the expression.
Let x=tanα, y=tanβ.
Suppose xy−1=0, i.e. xy=1.
Then tanαtanβ=1.
Recall that tan(α+β)=1−tanαtanβtanα+tanβ.
If tanαtanβ=1, then denominator is 0, so tan(α+β) is undefined, which happens when α+β=90∘.
Since α and β are acute and α=β, this is possible.
Alternatively, (x−y)2=0 gives x=y, i.e. tanα=tanβ, so α=β, but α=β by assumption.
Therefore, the only possibility is tanαtanβ=1, i.e. α+β=90∘.
Thus, α+β=90∘.