In my physics research I came across a mathematical proposition (translated into the mathematical language from the physical problem) that I feel to be true, and would like to prove it:


**Proposition: Consider the function $f(m)=\cos(\frac{2m+1}{N}\pi)$ where the integer $m$ satisfies $0\leq m<N$ and the integer $N>2$. The situation $f(m\_1)-f(m\_2)=f(m\_2)-f(m\_3)$ while $f(m\_1)>f(m\_2)>f(m\_3)$ can happen if and only if $\frac{2m\_2+1}{N}=\frac{1}{2}$ or $\frac{2m\_2+1}{N}=\frac{3}{2}$.**


The if part is very simple. However I have not been able to prove the only if part. Without loss of generality it should be sufficient to consider only the case where $\frac{2m\_i+1}{N}\pi\leq \pi$ because the cosine function is symmetric w.r.t $\pi$. If I restrict $m\_1-m\_2=m\_2-m\_3$ then I can show the proposition is true only if $\frac{2m\_2+1}{N}=\frac{1}{2}$. Without the restriction however I'm having no luck.


The proposition probably relies on the fact that all the $m$'s and $N$ are integers. One idea I have tried is to notice that if $\theta=\frac{2m+1}{N}$ then $\cos(N\theta)=-1$ and there is a formula to expand $\cos(N\theta)$ into a polynomial $p\_N(\cos(\theta))$ of $\cos(\theta)$, hence $f(m\_1)$, $f(m\_2)$ and $f(m\_3)$ are all roots of the equation $p\_N(\cos(\theta))$+1=0. But I haven't been able to proceed from there. 


Of course the proposition may not be true after all despite my intuition, but if then it'd be nice to find out for which $N$ it fails. It certainly is true for $N\leq 8$ since I have calculated all solutions. Either way the proposition would have real physical consequences.



cosine of rational multiples of Pi take values of equal difference
This proof uses the reference suggested by Felipe Voloch in a comment below the answer provided by Anthony Quas:


In Conway and Jones, Acta Arith. XXX (1976) 229-240, Theorem 7 (abbreviated to CJ7 in the following discussions) states that:


Suppose we have at most four distinct rational multiples of $\pi$ lying strictly between 0 and $\pi/2$ for which some rational linear combination of their cosines is rational but no proper subset has this property. Then the appropriate linear combination is proportional to one from the following list:
 $\cos \pi/3 =1/2$,
 $-\cos \phi+\cos(\pi/3-\phi)+\cos(\pi/3+\phi)=0$,
 $\cos \pi/5-\cos 2\pi/5=1/2$,
 $\cos \pi/7-\cos 2\pi/7+\cos 3\pi/7=1/2$,
 $\cos \pi/5-\cos \pi/15+\cos 4\pi/15=1/2$,
 $-\cos 2\pi/5+\cos 2\pi/15-\cos 7\pi/15=1/2$,
 $\cos \pi/7+\cos 3\pi/7-\cos \pi/21+\cos 8\pi/21=1/2$,
 $\cos \pi/7-\cos 2\pi/7+\cos 2\pi/21-\cos 5\pi/21=1/2$,
 $-\cos 2\pi/7+\cos 3\pi/7+\cos 4\pi/21+\cos 10\pi/21=1/2$,
 $-\cos \pi/15+\cos 2\pi/15+\cos 4\pi/15-\cos 7\pi/15=1/2$,


In the current problem we want to find the conditions for $\cos(\frac{2m\_1+1}{N}\pi)+\cos(\frac{2m\_3+1}{N}\pi)-2\cos(\frac{2m\_2+1}{N}\pi)=0$ which for the moment can be written as $\cos\theta\_1+\cos\theta\_3-2\cos\theta\_2=0$, where $0<\theta\_i\leq \pi$. 


Before we can use CJ7, we need to first consider the case when $\theta\_1=\pi$ or $\theta\_2=\pi$. If $\theta\_1=\pi$, $\cos\theta\_3-2\cos\theta\_2=1$, which is not possible by CJ7 if none of $\theta\_2$ and $\theta\_3$ is $\pi/2$. If indeed we allow $\theta\_3=\pi/2$ and $\theta\_2=2\pi/3$ the equation is satisfied. However in our original problem $\theta\_i=\frac{2m\_i+1}{N}\pi$, and there is no integers of $N$ and $m\_i$ that can make both $\theta\_3=\pi/2$ and $\theta\_1=\pi$, so this is not an option. On the other hand if If $\theta\_2=\pi$, $\cos\theta\_1+\cos\theta\_3=-2$, simply impossible.


So now we consider the case none of the three angles is $\pi$. Again we cannot use CJ7 unless we first exclude the case when one of them is $\pi/2$. Suppose $\theta\_1=\pi/2$ then $\cos\theta\_3-2\cos\theta\_2=0$ which is not possible by CJ7. On the other hand if $\theta\_2=\pi/2$ then $\cos\theta\_1+\cos\theta\_3=0$, which is impossible by CJ7 if $\theta\_1$ and $\theta\_3$ are distinct as defined in CJ7. If $\theta\_1$ and $\theta\_3$ are allowed to be antisymmetric pairs w.r.t. $\pi/2$ CJ7 doesn't apply and the sum is 0. Note that this case is just the one we originally proposed. 


Now suppose none of the three angles is either $\pi$ or $\pi/2$, then if they are all distinct as defined by CJ7, we know $\cos\theta\_1+\cos\theta\_3-2\cos\theta\_2$ cannot be rational, and hence cannot be 0. If two of them are antisymmetric pairs w.r.t. $\pi/2$ then either $-2\cos\theta\_2=0$ or $\cos\theta\_1+3\cos\theta\_3=0$, which we know are impossible by CJ7.


To summary, for all the cases where CJ7 does not apply, we have shown that the equality to zero is satisfied if and only if $\theta\_2=\pi/2$ and $\theta\_1$ and $\theta\_3$ are antisymmetric pairs w.r.t. $\pi/2$. For the cases where CJ7 applies, we have shown that the equality to zero is never possible. Hence our original proposition is true.


