213. Another classical "slicing" problems.
by Virgil Nicula, Jan 24, 2011, 10:23 AM
PP1. In
with
and
consider
so that
and
. Find
.
Proof 1 (trigonometric). Denote
and apply the trigonometric form of the Ceva's theorem to the point
in the triangle 


.
Proof 2. Take
so that
, circumcenter
of
,
- midpoint of arc
,
;
is on
. Because
,
are on perpendicular bisector
of
,
respectively (
is equilateral) and
and
. Hence
. But
,
,
is isosceles;
. Hence
is on perpendicular bisector of
. As 
is bisector of
cyclic and
.
Proof 3. Let
and
. Thus,
and
are isosceles,
,
,
is isosceles,
,
is isoscels,
,
is equilateral,
,
is isosceles,
,
. Let
such that
. Denote
.
is equilateral and
is isosceles,
.
,
,
is isosceles,
,
is isosceles, ∠
,
,
.
PP2. Let
be an
-isosceles triangle with
. Let
be an inner point of
so that
. Find the value of the angle
.
Proof 1 (trigonometric). Denote
. Thus,
and apply the trigonometric form of the Menelaus' theorem:

.
Proof 2 (synthetic). Let
be the circumcenter of
. See that
is
-isosceles,
, also
is
-isosceles,
.
Take
the symmetrical of
w.r.t. perpendicular bisector of
. Then
is equilateral, so
is an isosceles trapezoid with
. Therefore,
and
is the bisector of
. Consequently
. Hence
is isosceles with
and
.
Proof 3 (metric).
. Apply theorem of Sinus in

the triangle
is
-isosceles with
.
Proof 4 (synthetic). Denote the midpoint
of
and the projection
of
on
. Observe that the triangle
is equilateral, i.e. 
and
because
and
. In conclusion,
, i.e.
.
PP3. Let an
-isosceles
with
. Denote
. Find
.
Proof 1 (trigonometric). Denote
and apply the trigonometric form of the Ceva's therem in the quadrilateral 
![\[\boxed{\begin{array}{c}
\sin (50^{\circ}+x)\sin 10^{\circ}\sin 60^{\circ}\sin 30^{\circ}=\sin x\sin 40^{\circ}\sin 70^{\circ}\sin 20^{\circ}\\\\
\cos (40^{\circ}-x)\sin 10^{\circ}\sin 60^{\circ}=2\sin x\sin 40^{\circ}\cos 20^{\circ}\sin 20^{\circ}\\\\
\cos (40^{\circ}-x)\sin 10^{\circ}\sin 60^{\circ}=\sin x\sin^240^{\circ}\\\\
\cos (40^{\circ}-x)(\cos 50^{\circ}-\cos 70^{\circ})=\sin x(1-\cos 80^{\circ})\\\\
\cos (40^{\circ}-x)(\sin 40^{\circ}-\sin 20^{\circ})=\sin x (1-\sin 10^{\circ})\\\\
\sin (80^{\circ}-x)+\sin x-\sin (60^{\circ}-x)+\sin (20^{\circ}-x)=2\sin x-\cos(x-10^{\circ})+\cos (x+10^{\circ})\\\\
-\sin (60^{\circ}-x)+\sin (20^{\circ}-x)=\sin x-\cos (x-10^{\circ})\\\\
\sin (60^{\circ}-x)+\sin x=\sin (20^{\circ}-x)+\cos (x-10^{\circ})\\\\
2\sin 30^{\circ}\cos (30^{\circ}-x)=\sin (20^{\circ}-x)+\cos (x-10^{\circ})\\\\
\cos (30^{\circ}-x)-\cos (x-10^{\circ})=\sin (20^{\circ}-x)\\\\
-2\sin 10^{\circ}\sin (20^{\circ}-x)=\sin (20^{\circ}-x)\\\\
\sin (20^{\circ}-x)(1+2\sin 10^{\circ})=0\\\\
\sin (20^{\circ}-x)=0\\\\
x=20^{\circ}\\\\
m\left(\widehat{DEB}\right)=20^{\circ}\end{array}}\]](//latex.artofproblemsolving.com/2/3/6/236c24e62f1079ee11d7a79b764d215f0daf1906.png)
Proof 2 (synthetic). Denote intersection
of
with bisector of
. Prove easily that
is an equilateral triangle,
is an isosceles trapezoid with
,
is a
-isosceles triangle and
is an
-isosceles triangle. In conclusion,
. Denote
,
so that
. Prove easily that
is a
-isosceles triangle,
is an equilateral triangle,
is a
-isosceles triangle. Since 
and by symmetry w.r.t. the midpoint of
obtain that
belongs to the bisector of
, i.e.
is
-isosceles. In conclusion,
.







Proof 1 (trigonometric). Denote













Proof 2. Take











of

















is bisector of





Proof 3. Let





























PP2. Let







Proof 1 (trigonometric). Denote









Proof 2 (synthetic). Let








Take













Proof 3 (metric).











Proof 4 (synthetic). Denote the midpoint

![$[BC]$](http://latex.artofproblemsolving.com/e/a/1/ea1d44f3905940ec53e7eebd2aa5e491eb9e3732.png)





and





PP3. Let an





Proof 1 (trigonometric). Denote


![\[\boxed{\begin{array}{c}
\sin (50^{\circ}+x)\sin 10^{\circ}\sin 60^{\circ}\sin 30^{\circ}=\sin x\sin 40^{\circ}\sin 70^{\circ}\sin 20^{\circ}\\\\
\cos (40^{\circ}-x)\sin 10^{\circ}\sin 60^{\circ}=2\sin x\sin 40^{\circ}\cos 20^{\circ}\sin 20^{\circ}\\\\
\cos (40^{\circ}-x)\sin 10^{\circ}\sin 60^{\circ}=\sin x\sin^240^{\circ}\\\\
\cos (40^{\circ}-x)(\cos 50^{\circ}-\cos 70^{\circ})=\sin x(1-\cos 80^{\circ})\\\\
\cos (40^{\circ}-x)(\sin 40^{\circ}-\sin 20^{\circ})=\sin x (1-\sin 10^{\circ})\\\\
\sin (80^{\circ}-x)+\sin x-\sin (60^{\circ}-x)+\sin (20^{\circ}-x)=2\sin x-\cos(x-10^{\circ})+\cos (x+10^{\circ})\\\\
-\sin (60^{\circ}-x)+\sin (20^{\circ}-x)=\sin x-\cos (x-10^{\circ})\\\\
\sin (60^{\circ}-x)+\sin x=\sin (20^{\circ}-x)+\cos (x-10^{\circ})\\\\
2\sin 30^{\circ}\cos (30^{\circ}-x)=\sin (20^{\circ}-x)+\cos (x-10^{\circ})\\\\
\cos (30^{\circ}-x)-\cos (x-10^{\circ})=\sin (20^{\circ}-x)\\\\
-2\sin 10^{\circ}\sin (20^{\circ}-x)=\sin (20^{\circ}-x)\\\\
\sin (20^{\circ}-x)(1+2\sin 10^{\circ})=0\\\\
\sin (20^{\circ}-x)=0\\\\
x=20^{\circ}\\\\
m\left(\widehat{DEB}\right)=20^{\circ}\end{array}}\]](http://latex.artofproblemsolving.com/2/3/6/236c24e62f1079ee11d7a79b764d215f0daf1906.png)
Proof 2 (synthetic). Denote intersection






















![$[AC]$](http://latex.artofproblemsolving.com/0/9/3/0936990e6625d65357ca51006c08c9fe3e04ba0c.png)

![$[AC]$](http://latex.artofproblemsolving.com/0/9/3/0936990e6625d65357ca51006c08c9fe3e04ba0c.png)



This post has been edited 47 times. Last edited by Virgil Nicula, Nov 26, 2015, 6:18 PM