312. Very nice (famous trigonometrical problems) !
by Virgil Nicula, Aug 17, 2011, 4:55 PM
Very Nice ! (famous problem).
. Proofs of above can be seen at here.
PP1. Prove that
and
.
Proof. Writing
, it's classical and easy to establish that
. Let then
.
So the only possible roots of equation
are in
.
has three distinct real roots and so these roots can only be
, 
and
. So
. And
(since this product is
) . Prove easily that
.

.
PP2. Find all
and
from
such that
.
Answer. How nice ... centuries of history of this cannonball problem (attributed to Kepler) down the drain.
See here (<== click) for a history of the fact that the only non-trivial solution is
and
.
PP3. Find the value of
.
Proof.
, where
are complex roots of 
. Let
, where
. Denote
. Therefore,

. Therefore,



PP4. Solve the equations
.
Proof.
Observe that
. Therefore, 
. Thus,
or
.
Observe that
, i.e.
. Therefore,


. Remark that in the equation
I used the substitution
. Thus,
.
Other proof. I"ll use the standard substitution



![$\left(3t^2-4t-3\right)\left[\left(1+\sqrt 2\right)t^2-t\sqrt 2+1\right]\left[\left(\sqrt 2-1\right)t^2-t\sqrt 2-1\right]=0\iff$](//latex.artofproblemsolving.com/8/3/6/836274c2b4d77a5f78649870e6f6374fe88295fa.png)
because the second equation
has
.
Remark. I'll verify that with these two methods obtain same solutions. Indeed, with the substitution
the equation (1) becomes![$\left(2\cdot\frac {2t}{1+t^2}+3\cdot\frac {1-t^2}{1+t^2}\right )\left[\frac {2t}{1+t^2}+\frac {1-t^2}{1+t^2}-\frac {2t\left(1-t^2\right)}{\left(1+t^2\right)^2}\right]=0\iff$](//latex.artofproblemsolving.com/7/6/3/763648b46ab9de77bc08275dd0720b5144640d02.png)
, i.e. the relation
.
An easy extension. Solve the equations
,where
.
PP5. Ascertain
so that
.
Proof 1. Denote
and
. Observe that:
.
.
.
Thus, the relation
is equivalently with
.
Proof 2 (with complex numbers). Consider the complex numbers
.
Observe that
.
Since
then
.
PP6. Let
with
, where
. Prove that 
Proof 1. Prove easily that
. Observe that
and 
Therefore,



what is truly.
Proof 2.
and

is well-known or we can prove easily if multiply it with
Therefore,

. In conclusion,

, i.e. the true relation 
Proof 3. Let
so that
and
so that
is the common midpoint of
,
. Therefore,
Hence
(in this moment we"ll continue as in the second proof).

PP1. Prove that


Proof. Writing



So the only possible roots of equation





and


















PP2. Find all




Answer. How nice ... centuries of history of this cannonball problem (attributed to Kepler) down the drain.
See here (<== click) for a history of the fact that the only non-trivial solution is


PP3. Find the value of

Proof.























PP4. Solve the equations

Proof.



















![$\sin x+\cos x=y\in\left[-\sqrt 2,\sqrt 2\right]$](http://latex.artofproblemsolving.com/5/7/6/5765a145d85f0f32eba959a40e9afe08570e5fba.png)




Other proof. I"ll use the standard substitution






![$\left(3t^2-4t-3\right)\left[\left(t^2\sqrt 2-t\sqrt 2\right)^2-\left(t^2+1\right)^2\right]=0\iff$](http://latex.artofproblemsolving.com/b/1/f/b1fcadd4c80763807cb36388dbb6bc4eb3dded30.png)
![$\left(3t^2-4t-3\right)\left[\left(1+\sqrt 2\right)t^2-t\sqrt 2+1\right]\left[\left(\sqrt 2-1\right)t^2-t\sqrt 2-1\right]=0\iff$](http://latex.artofproblemsolving.com/8/3/6/836274c2b4d77a5f78649870e6f6374fe88295fa.png)
![$\boxed{\left(3t^2-4t-3\right)\left[\left(\sqrt 2-1\right)t^2-t\sqrt 2-1\right]=0}$](http://latex.artofproblemsolving.com/1/6/7/167c01d134fd57ec423a1ae5157cda6e9c9de846.png)


Remark. I'll verify that with these two methods obtain same solutions. Indeed, with the substitution

the equation (1) becomes
![$\left(2\cdot\frac {2t}{1+t^2}+3\cdot\frac {1-t^2}{1+t^2}\right )\left[\frac {2t}{1+t^2}+\frac {1-t^2}{1+t^2}-\frac {2t\left(1-t^2\right)}{\left(1+t^2\right)^2}\right]=0\iff$](http://latex.artofproblemsolving.com/7/6/3/763648b46ab9de77bc08275dd0720b5144640d02.png)
![$\left(-3t^2+4t+3\right)\left[\left(1+2t-t^2\right)\left(1+t^2\right)+2t\left(t^2-1\right)\right]=0\iff$](http://latex.artofproblemsolving.com/5/4/1/541305f9beddb1c082c688e7547a7580abb5952b.png)


An easy extension. Solve the equations


PP5. Ascertain


Proof 1. Denote













Thus, the relation




Proof 2 (with complex numbers). Consider the complex numbers

Observe that


Since



PP6. Let




Proof 1. Prove easily that

















Proof 2.





















Proof 3. Let




![$[CR]$](http://latex.artofproblemsolving.com/3/b/8/3b82c37768c7c93cbd4e7d7fa4d0d284f43dbe9e.png)
![$[AS]$](http://latex.artofproblemsolving.com/8/1/f/81f842d87b22553e4b674bb2bf46a080da785009.png)





This post has been edited 132 times. Last edited by Virgil Nicula, Apr 24, 2016, 11:45 PM