Prove that
\(2\cos \dfrac{\pi }{13}\cos \dfrac{9\pi }{13}+\cos \dfrac{3\pi }{13}+\cos \dfrac{5\pi }{13}=0\)
Theory Used
- Product to Sum Identity: \[ 2\cos A \cos B = \cos(A+B) + \cos(A-B) \]
- Sum to Product Identity: \[ \cos x + \cos y = 2\cos \dfrac{x+y}{2}\cos \dfrac{x-y}{2} \]
- Standard Value: \[ \cos \dfrac{\pi}{2} = 0 \]
Solution Roadmap
- Step 1: Convert product \(2\cos \frac{\pi}{13}\cos \frac{9\pi}{13}\) into sum form
- Step 2: Combine cosine terms strategically
- Step 3: Apply sum-to-product identity
- Step 4: Reduce expression to a known zero value
Geometric Insight (Unit Circle Symmetry)
Solution
We start with the given expression: \[ 2\cos \dfrac{\pi}{13}\cos \dfrac{9\pi}{13} +\cos \dfrac{3\pi}{13} +\cos \dfrac{5\pi}{13} \]
Using product-to-sum identity: \[ 2\cos A \cos B = \cos(A+B) + \cos(A-B) \]
\[ \begin{aligned} 2\cos \dfrac{\pi}{13}\cos \dfrac{9\pi}{13} &= \cos \dfrac{10\pi}{13} + \cos \dfrac{-8\pi}{13}\\ &= \cos \dfrac{10\pi}{13} + \cos \dfrac{8\pi}{13} \end{aligned} \]
So the expression becomes: \[ \cos \dfrac{10\pi}{13} +\cos \dfrac{8\pi}{13} +\cos \dfrac{3\pi}{13} +\cos \dfrac{5\pi}{13} \]
Now group terms: \[ \left(\cos \dfrac{10\pi}{13} + \cos \dfrac{3\pi}{13}\right) + \left(\cos \dfrac{8\pi}{13} + \cos \dfrac{5\pi}{13}\right) \]
Apply sum-to-product identity: \[ \cos x + \cos y = 2\cos \dfrac{x+y}{2}\cos \dfrac{x-y}{2} \]
First pair: \[ \begin{aligned} \cos \dfrac{10\pi}{13} + \cos \dfrac{3\pi}{13} &= 2\cos \dfrac{13\pi}{26}\cos \dfrac{7\pi}{26}\\ &= 2\cos \dfrac{\pi}{2}\cos \dfrac{7\pi}{26}\\ &= 0 \end{aligned} \]
Second pair: \[ \begin{aligned} \cos \dfrac{8\pi}{13} + \cos \dfrac{5\pi}{13} &= 2\cos \dfrac{13\pi}{26}\cos \dfrac{3\pi}{26}\\ &= 2\cos \dfrac{\pi}{2}\cos \dfrac{3\pi}{26}\\ &= 0 \end{aligned} \]
Therefore, total sum: \[ 0 + 0 = 0 \]
Hence, proved.
Exam Significance
- Tests deep understanding of product-to-sum and sum-to-product transformations
- Frequently appears in JEE Main, BITSAT and NDA in simplified identity forms
- Builds pattern recognition for symmetric angle pairs
- Improves speed in multi-term trigonometric simplifications