Tuesday, 3 March 2015

trigonometry - A Trig Identity

There are many trig identities that can be proven with known identities, but often the identities are tricky in finding the right methods to use. This is one of those identities that seems easy, but elusive. Consider the cubic equation
$$ x^3 - 14 x^2 + 56 x - 56 = 0$$
for which one solution is $8 \sin^2(2\pi/7)$ and is equal to $4.89008...$. Now, another solution can be found to be
$$7 - 6 \cos(\pi/7) + 6 \cos(2\pi/7) - 2 \cos(3\pi/7)$$
which is also found to have the numerical value $4.89008...$. Since both forms have the same numerical value and satisfy the same equation they must be equal. This leads to the identity
$$8 \sin^2(2\pi/7) = 7 - 6 \cos(\pi/7) + 6 \cos(2\pi/7) - 2 \cos(3\pi/7).$$



The purpose of this question is to ask what methods are best suited to prove this equation by use of trig identities, or a proof of this identity.

No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...