Her kan brukere av forum utfordre hverandre med morsomme oppgaver og nøtter man ønsker å dele med andre. Dette er altså ikke et sted for desperate skrik om hjelp, de kan man poste i de andre forumene, men et sted for problemløsing på tvers av trinn og fag.
Løsningen på denne er ganske så rett fram med induksjon.
Åpenbart sant for n=0.
Antar:
Kommentarer:
Bruker at
Trenger ikke tenke på abs-verdi etter kvadratrot da cos er positiv i [0, [symbol:pi] /2).
Egentlig var jeg ikke så forferdelig interessert i denne løsningen. Prøvde heller å finne en algebraisk løsningsmetode, uten direkte hell. Noen som ser en?
Dere kan jo starte med å finne summen algebraisk når n-> [symbol:uendelig].
La og [tex]b_n=2\cos{\frac\pi{2^{n+1}}[/tex]. Spesielt er . Fra den velkjente formelen kan vi utlede at (vi får ikke noe trøbbel med negativ rot som Magnus har beskrevet) som er ekvivalent med . Følgelig er for alle n>0.