A trigonometric substitution

Geometry Level 4

1 sin ( π n ) = 1 sin ( 2 π n ) + 1 sin ( 3 π n ) \large \frac 1 { \sin \left ( \frac \pi n \right ) } = \frac 1 { \sin \left ( \frac {2\pi} n \right ) } + \frac 1 { \sin \left ( \frac {3\pi} n \right ) }

Find the positive integer value of n > 3 n>3 satisfying the equation above.


The answer is 7.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Chew-Seong Cheong
Apr 27, 2015

1 sin π n = 1 sin 2 π n + 1 sin 3 π n = 1 2 sin π n cos π n + 1 sin π n cos 2 π n + sin 2 π n cos π n = 1 2 sin π n cos π n + 1 sin π n cos 2 π n + 2 sin π n cos 2 π n \begin{aligned} \dfrac{1}{\sin{\frac{\pi}{n}}} & = \dfrac{1}{\sin{\frac{2\pi}{n}}} + \dfrac{1}{\sin{\frac{3\pi}{n}}} = \dfrac{1}{2\sin{\frac{\pi}{n}}\cos{\frac{\pi}{n}}} + \dfrac{1}{\sin{\frac{\pi}{n}}\cos{\frac{2\pi}{n}}+\sin{\frac{2\pi}{n}}\cos{\frac{\pi}{n}}} \\ & = \dfrac{1}{2\sin{\frac{\pi}{n}}\cos{\frac{\pi}{n}}} + \dfrac{1}{\sin{\frac{\pi}{n}}\cos{\frac{2\pi}{n}}+2\sin{\frac{\pi}{n}}\cos^2{\frac{\pi}{n}}} \end{aligned}

1 2 cos π n + 1 cos 2 π n + 2 cos 2 π n = 1 1 2 cos π n + 1 4 cos 2 π n 1 = 1 4 cos 2 π n + 2 cos π n 1 = 2 cos π n ( 4 cos 2 π n 1 ) 8 cos 3 π n 4 cos 2 π n 4 cos π n + 1 = 0 4 cos 3 π n 2 cos 2 π n 2 cos π n + 1 2 = 0 ( 4 cos 3 π n 3 cos π n ) ( 2 cos 2 π n 1 ) + cos π n = 1 2 cos 3 π n cos 2 π n + cos π n = 1 2 cos 3 π 7 cos 2 π 7 + cos π 7 = 1 2 n = 7 \begin{aligned} \Rightarrow \dfrac{1}{2\cos{\frac{\pi}{n}}} + \dfrac{1}{\cos{\frac{2\pi}{n}}+2\cos^2{\frac{\pi}{n}}} & = 1 \\ \dfrac{1}{2\cos{\frac{\pi}{n}}} + \dfrac{1}{4\cos^2{\frac{\pi}{n}}-1} & = 1 \\ 4\cos^2{\frac{\pi}{n}} + 2\cos{\frac{\pi}{n}} -1 & = 2\cos{\frac{\pi}{n}} \left( 4\cos^2{\frac{\pi}{n}}-1\right) \\ 8\cos^3 {\frac{\pi}{n}} - 4\cos^2{\frac{\pi}{n}} - 4\cos{\frac{\pi}{n}} +1 & = 0 \\ 4\cos^3 {\frac{\pi}{n}} - 2\cos^2{\frac{\pi}{n}} - 2\cos{\frac{\pi}{n}} +\frac{1}{2} & = 0 \\ (4\cos^3 {\frac{\pi}{n}} - 3\cos{\frac{\pi}{n}} ) - (2\cos^2{\frac{\pi}{n}} - 1) + \cos{\frac{\pi}{n}} & = \frac{1}{2} \\ \cos {\frac{3 \pi}{n}} - \cos{\frac{2\pi}{n}} + \cos{\frac{\pi}{n}} & = \frac{1}{2} \\ \Rightarrow \cos {\frac{3 \pi}{7}} - \cos{\frac{2\pi}{7}} + \cos{\frac{\pi}{7}} & = \frac{1}{2} \\ \Rightarrow n & = \boxed{7} \end{aligned}

The solution cos 3 π 7 cos 2 π 7 + cos π 7 = 1 2 \cos {\frac{3 \pi}{7}} - \cos{\frac{2\pi}{7}} + \cos{\frac{\pi}{7}} = \frac{1}{2} is a property of n t h n^{th} root of 1 1 , when n > 1 n>1 is odd. The cos k π n \cos {\frac{k\pi}{n}} terms are the real parts of the complex roots except 1 1 and from Argand diagram is obvious that the following is true.

\(\begin{array} {} \cos{\frac{\pi}{3}} = \frac{1}{2} \\ \cos{\frac{\pi}{5}} - \cos{\frac{2\pi}{5}} = \frac{1}{2} \\ \cos{\frac{\pi}{7}} - \cos{\frac{2\pi}{7}} + \cos{\frac{3\pi}{7}}= \frac{1}{2} \\ \cos{\frac{\pi}{9}} - \cos{\frac{2\pi}{9}} + \cos{\frac{3\pi}{9}} - \cos{\frac{4\pi}{9}}= \frac{1}{2} \\ ... \end{array}\)

The solution is therefore unique.

Moderator note:

Not quite the correct working. You should show that the generalization of ω 2 n + 1 = 1 \omega ^{2n+1} = 1 leads to an equation with a sum of n n cosines.

Nice solution. I think that you meant that 2 cos 2 π n 1 = cos 2 π n 2\cos^{2}\dfrac{\pi}{n} - 1 = \cos\dfrac{2\pi}{n} in the 3rd to last line, with a similar edit needed in the 2nd to last line. This last "identity", (with the edits made), was unfamiliar to me, but I was able to find a proof . Do you think that we would also have to prove uniqueness of the solution n = 7 n = 7 , or does that seem obvious?

Brian Charlesworth - 6 years, 1 month ago

Log in to reply

Thanks. Cut and paste without checking.

Chew-Seong Cheong - 6 years, 1 month ago

About the last identity, it is because e 2 k π 7 e^{\frac{2k\pi}{7}} are the 7 t h 7^{th} roots 1 1 . From Argand Diagram, it is clear that the identity is true. If it involves 2 cos terms, then n = 5; 4 cos terms then n = 9 and so on. Therefore, I believe the solution is unique.

Chew-Seong Cheong - 6 years, 1 month ago

Log in to reply

That's right. Can you update your solution? Thank you.

Brilliant Mathematics Staff - 6 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...