3
$\begingroup$

Let $x,y \in \mathbb{R}$ such that the set $\{\cos{(n\pi x)} + \cos{(n\pi y)} | n \in \mathbb{N} \}$ is finite. Show that $x$ and $y$ are rational.

I have been trying to consider a graph of this set and maybe an argument by contradiction....

2 Answers 2

1

Lemma. If $\alpha\in\mathbb R$, $m\in\mathbb N$, there exist $a,b\in\mathbb Z$ with $1\le a\le m$ and $|a\alpha-b|<\frac 1m$.

Proof: Partition the interval $[0,1)$ into $m$ subintervals $\left[\frac km,\frac{k+1}m\right)$, $0\le k. By the pigeon-hole principle, there exist $0\le i such that $i\alpha-\lfloor i\alpha\rfloor$ and $j\alpha-\lfloor j\alpha\rfloor$ are in the same subinterval, hence with $a=j-i$ and $b=\lfloor j\alpha\rfloor-\lfloor i\alpha\rfloor$, the result follows.$_\square$

Corollary. If $\alpha,\beta\in\mathbb R$, $\epsilon>0$, there exist $r,s,n \in \mathbb Z$ such that $n\ge 1$, $|n\alpha-r|<\epsilon$ and $|n\beta-s|<\epsilon$.

Proof: Select $N>\frac1\epsilon$. By the lemma, there exist integers $a,b$ such that $1\le a\le N^2$ and $|a\cdot \alpha-b|<\frac 1{N^2}$. Again by the lemma, there exist integers $c,d$ such $1\le d\le N$ and $|d\cdot a\beta-c|<\frac1N<\epsilon.$ But we also have $|da\alpha-db|<\frac d{N^2}\le \frac1N<\epsilon.$ Thus the result follows with $n=da$, $r=db$, $s=c$. $_\square$


Now for the main event:

By continuity of $\cos$, for any $\epsilon>0$ there exists $\delta>0$ such that $\cos t>1-\frac\epsilon2$ for all $t$ with $|t|<\delta$. We find $r,s,n$ as in the corollary such that $\left\vert n\cdot\frac x{2}-r\right\vert< \frac{\delta}{2\pi}\qquad\text{and}\qquad\left\vert n\cdot\frac y{2}-s\right\vert<\frac{\delta}{2\pi}.$ It follows that $n\pi x$ and $n\pi y$ differ from $2\pi r$ and $2\pi s$ by less than $\delta$, hence $\cos (n\pi x)+ \cos(n\pi y)>2-\epsilon.$

Now assume that $S:=\{\cos(n\pi x)+\cos(n\pi y)\mid n\in\mathbb N\}$ is finite. Then $\max S<2$ would lead to a contradiction if we let $\epsilon = 2-\max S$. Therefore $\max S=2$, i.e. there exists $n\in\mathbb N$ with $\cos (n\pi x)+ \cos(n\pi y)=2,$ hence $\cos(n\pi x)=\cos(n\pi y)=1$ and $nx,ny$ are even integers, hence $x,y\in\mathbb Q$. $_\square$

0

If $x$ is irrational, the values $e^{in\pi x}$ are dense on the unit circle. Similarly for $y$.

  • 1
    The sum of two dense sequences need not be dense!2012-11-26