Svar till spion [
Gå till post]:
Okej. Till att börja med så var det här ett riktigt jobbigt problem :)
Det gäller att:
cos(0) + cos(1) + ... + cos(N) = R[e^(0i) + e^i + ... + e^(Ni)]
Det är bara realdelen R som är intressant eftersom
e^(ai) = cos(a) + isin(a)
så därför är realdelen av summan e^(ni) från n=0 till N samma sak som summan i VL.
Vi utnyttjar sedan att:
R[e^(0i) + e^i + ... + e^(Ni)] = R[(e^(iN+i)-1) / (e^i-1)
Nu gör vi några smarta omskrivningar för att kunna utnyttja Eulers formler vilket vi behöver göra för att få in sinus och cosinus igen
R[(e^(Ni+i)-1) / (e^i-1)=
R[ e^(Ni/2+i/2) / e^(i/2) * (e^(Ni/2+i/2)-e^-(Ni/2+i/2)) / (e^(i/2)-e^-(i/2))]
Okej det ser rörigt ut, men nu kan vi på två ställen utnyttja att:
2isin(a)=e^(ai)-e^(-ai) och det ger:
R[ e^(Ni/2+i/2) / e^(i/2) * 2isin(N/2+1/2) / (2isin(1/2)
men R[e^(Ni/2+i/2) / e^(i/2)] = R[e^(Ni/2)*e^(i/2)/e^(i/2)]=R[e^(Ni/2)]
Så vi har alltså:
cos(0)+cos(1)+...+cos(N) = R[e^(Ni/2)] * sin(N/2+1/2) / sin(1/2)
Vi utnyttjar nu att R[e^(Ni/2)] = R[cos(N/2+isin(N/2)]=cos(N/2) så då gäller detta alltså att:
cos(0)+cos(1)+...+cos(N) = cos(N/2) * sin(N/2+1/2) / sin(1/2) =
cos(N/2) * (sin(N/2)cos(1/2)+sin(1/2)cos(N/2)) / sin(1/2) =
sin(N/2)cos(N/2)cos(1/2) / sin(1/2) + cos^2(N/2) =
sin(N/2)cos(N/2)cos(1/2) / sin(1/2) +1/2+cos(N)/2 =
1/2 + (2sin(N/2)cos(N/2)cos(1/2) + sin(1/2)cos(N))/(2sin(1/2)) =
1/2 + (sin(N)cos(1/2)+sin(1/2)cos(N)) / (2sin(1/2)) =
1/2 + sin(N+1/2) / (2sin(1/2)) =
1/2 + sin((2N+1)/2) / (2sin(1/2))
QED!
Förlåt mig om någon bokstav eller siffra har hamnat fel för det var fruktansvärt jobbigt att renskriva lösningen. Själva beviset håller däremot och det är det som är det viktiga :)