Decoding the Functional Equation
We start with the equation f(x+y)+f(x−y)=2f(x)f(y). This is the legendary D'Alembert's functional equation, which serves as the foundation for many trigonometric relationships.
When you encounter this structure, your mind should immediately jump to the cosine function. This is because the cosine addition formula,
cos(x+y)+cos(x−y)=2cos(x)cos(y)
perfectly mirrors the given equation. Thus, we assume the solution takes the form f(x)=cos(λx).
The Boundary Condition
To find the specific frequency λ, we utilize the given condition f(21)=−1. Substituting this into our assumed solution, we obtain:
We know that cos(θ)=−1 when θ=π. Therefore, we set 2λ=π, which leads us to λ=2π.
Our function is now locked in as:
The Integer Simplification
We now evaluate f(k) for k∈{1,2,…,20}. Since k is an integer, f(k)=cos(2πk).
Because cos(2nπ)=1 for any integer n, f(k) is always 1. Consequently, the summation, which initially appeared intimidating, simplifies to:
S=k=1∑20sin(k)sin(k+1)1
The Telescoping Magic
To resolve the product of sines in the denominator, we employ the telescoping trick. We multiply and divide the general term by sin(1), noting that 1=(k+1)−k.
Using the identity sin(A−B)=sinAcosB−cosAsinB, we rewrite the numerator as sin((k+1)−k)=sin(k+1)cos(k)−cos(k+1)sin(k). Dividing this by sin(k)sin(k+1) splits the term into:
sin(1)1[cot(k)−cot(k+1)]
The Final Calculation
When we expand the sum, we get:
S=sin(1)1[(cot1−cot2)+(cot2−cot3)+⋯+(cot20−cot21)]
Everything in the middle vanishes, leaving us with:
S=sin(1)1[cot(1)−cot(21)]
Converting back to sines and cosines, we have:
S=sin(1)1[sin(1)cos(1)−sin(21)cos(21)]=sin2(1)sin(21)sin(21−1)=sin2(1)sin(21)sin(20)
This simplifies to the final result:
cosec2(1)cosec(21)sin(20)