# Prove that the two powers are equal

Prove that: $$\dfrac{1}{2^{180}a^{360}}\dfrac{(a^{720}-1)(a^2-1)}{a^{2}+1} = \dfrac{\left(1+\dfrac{\sqrt{3}}{2}\right)^{180} - \left(1-\dfrac{\sqrt{3}}{2}\right)^{180}}{\sqrt{3}}$$ where: $$a = \dfrac{1+\sqrt{3}}{\sqrt{2}}.$$

This seemed like a very challenging question but the fact that we have a telescoping binomial sum in the numerator of the LHS helps. I think if we can simplify the LHS sufficiently we might be able to prove it by just equating both sides of the equation.

• Possible hint: $a = 2 \cos \frac \pi{12}$. :) Commented Mar 20, 2016 at 3:37

## 1 Answer

HINT:

Observe that $a^2=2+\sqrt3$

$\implies1+\dfrac{\sqrt3}2=\dfrac{a^2}2$ and $1-\dfrac{\sqrt3}2=\dfrac1{2a^2}$

Use Componendo and Dividendo to find $\dfrac{a^2-1}{a^2+1}=?$

Now

$$\dfrac{1}{2^{180}a^{360}}\dfrac{(a^{720}-1)(a^2-1)}{a^{2}+1}=\left[\left(\dfrac{a^2}2\right)^{180}-\left(\dfrac1{2a^2}\right)^{180}\right]\cdot\dfrac{a^2-1}{a^2+1}$$

Can you reach home from here?

• How do I use this fact? Commented Mar 20, 2016 at 3:29
• @user19405892, Updated Commented Mar 20, 2016 at 3:29
• Can you explain the compenendo part? Commented Mar 20, 2016 at 3:36
• @user19405892, $$\dfrac{1}{2^{180}a^{360}}(a^{720}-1)=\dfrac1{2^{180}}\left(a^{360}-\dfrac1{a^{360}}\right)=\dfrac1{2^{180}}\left((a^2)^{180}-\dfrac1{(a^2)^{180}}\right)$$ Commented Mar 20, 2016 at 3:37
• Impressive algebra! Commented Mar 20, 2016 at 3:39