Proving \(\displaystyle{\sum_{{{k}={1}}}^{{n}}}{\left|{\cos{{\left({k}\right)}}}\right|}\ge{\frac{{{n}}}{{{4}}}}\) for all n>0 I can do

svrstanojpkqx

svrstanojpkqx

Answered question

2022-03-28

Proving k=1n|cos(k)|n4 for all n>0
I can do it using the fact that |cos(x)|cos(x)2
k=1n|cos(k)|k=1ncos(k)2=n2+12Re(e2i1e21e2i)
=n2+12Re(ei(n+1)sin(n)sin1)=n2+cos(n+1)sin(n)2sin(1)n212sin(1)

Answer & Explanation

Endstufe5qa2

Endstufe5qa2

Beginner2022-03-29Added 7 answers

You do not need great accuracy for sin1. In fact, to show
n212sin1n4
it suffices to have
n2sin1
From π<4, we have sin1>sinπ4=122, and hance are doen for all n22, so (as 2<94=32) certainly for all n3. A high precision calculator would not have helped you better than that.
For n=2, the claim is |cos1|+|cos2|12 and for n=1, it is |cos1|14. This time we use 1<π3, hence cos1>cosπ3=12

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?