How do I prove equality of x and y? If $0\leq x,y\leq\frac{\pi}{2}$ and $\cos x +\cos y -\cos(x+y)=\frac{3}{2}$, then how can I prove that $x=y=\frac{\pi}{3}$?
Your help is appreciated.I tried various formulas but nothing is working.
 A: Here's a sketch: Consider $y\in[0,\pi/2]$ as fixed, and let $f(x)=\cos x + \cos y - \cos(x+y)$. Locate the maximum of $f$ on $[0,\pi/2]$ by solving $f'(x)=0$ for $x$; you'll find that the largest value is
$$
f\left(\frac{\pi}{2}-\frac{y}{2}\right)=\frac{3}{2}-2 \left(\sin\frac{y}{2}- \frac{1}{2}\right)^2.
$$
Maybe you can finish it from there?
A: $cos x +cos y -cos(x+y)=2\cos(\frac{x+y}{2})\cos(\frac{x-y}{2})-(2\cos^2(\frac{x+y}{2})-1)=2\cos(\frac{x+y}{2})\cdot\left(\cos(\frac{x-y}{2})-cos(\frac{x+y}{2})\right)+1\le $
$2\cos(\frac{x+y}{2})\cdot\left(1-cos(\frac{x+y}{2})\right)+1\le 1/2+1=\frac{3}{2}$, where the inequality is by $ab\le (\frac{a+b}{2})^2$, so $\cos(\frac{x+y}{2})\cdot\left(1-cos(\frac{x+y}{2})\right)\le 1/4$ . The equality holds iff $x=y=\pi/3$.
A: Algebraic but cumbersome: express the condition in terms of $a=\mathrm e^{\mathrm ix}$ and $b=\mathrm e^{\mathrm iy}$ and solve. 
One knows that $2\cos(x)=a+a^{-1}$, $2\cos(y)=b+b^{-1}$, and $2\cos(x+y)=ab+a^{-1}b^{-1}$ since $ab=\mathrm e^{\mathrm i(x+y)}$. Multiplying everything by $ab$ to get rid of the denominators, one gets
$$
a(1-a)b^2+(a^2+1-3a)b+a-1=0.
$$
Solving the second degree equation with unknown $b$ yields
$$
b^{-1}=1-a\quad\mbox{or}\quad b=1-a^{-1}.
$$
Either $b^{-1}=1-a$, then $|1-a|=1$ hence $a$ is on both circles of radius $1$ centered at $0$ and at $1$, that is $x=\pm\pi/3$, and $y=x$ since $1-a=a^{-1}$. 
Or $b=1-a^{-1}$, then $a^{-1}=1-b$ hence the solution is the same than in the first case, exchanging the roles of $x$ and $y$. 
Finally, the condition that $x$ and $y$ are in $[0,\pi/2]$ imposes that $x=y=+\pi/3$.
A: You could also attempt an geometric proof. First, without loss of generality you can assume
$0 <x,y < \frac{\pi}{2}$.
Construct a triangle with angles $x,y, \pi-x-y$.
Let $a,b,c$ be the edges. Then by cos law, you know that 
$$\frac{a^2+b^2-c^2}{2ab}+ \frac{a^2+c^2-b^2}{2ac}+ \frac{b^2+c^2-a^2}{2bc}=\frac{3}{2}$$
and you need to show that $a=b=c$.
The inequality is
$$c(a^2+b^2-c^2)+b(a^2+c^2-b^2)+a(b^2+c^2-a^2)=3abc$$
or 
$$a^2b+ab^2+ac^2+a^2c+bc^2+b^2c=a^3+b^3+c^3+3abc \,.$$
This should be easy to factor, but I fail to see it....
