260. Some nice, simple identities and their applications.
by Virgil Nicula, Apr 4, 2011, 2:46 PM
Lemma 1. Let
be an acute triangle with orthocenter
, circumradius
, inradius
and
-exinradius
. Then
.
Proof 1 (metrical). I"ll use the well-known identity
from an acute
. Indeed,

, what is truly.
Proof 2 (synthetical). Denote the circumcircle
of
, the midpoint
of the side
, the point
, the tangent points
,
of the incircle and the
-exincircle with
. Observe that
, where
is the orthocenter of
. In the right trapezoid 
the segment
joins the midpoints of diagonals
,
. Thus,
.
PP1. Let
be an acute triangle with the circumcircle
and the
-exincircle
. Prove that
.
Proof. I"ll use
. Thus,

.
PP2. Let
be an acute triangle with the orthocenter
and the incenter
. Denote the midpoint
of the side
. Prove that the implication
.
Proof. From an well-known property obtain that

. In conclusion, 
. Otherwise,
.
Lemma 2. Let
be a triangle with the inradius
and the
-exinradius
a.s.o. Then
.
Proof.
because
.
PP3. Prove that
.
Proof.
.
Remark.
a.s.o.
![$\sum\frac {a[bc-(s-b)(s-c)]}{(s-b)(s-c)}=$](//latex.artofproblemsolving.com/a/f/8/af80259b4581087a3ab986edc12f1b58d970dd69.png)
. Prove easily that
and
using
because
.
PP4. Prove that in any triangle
exists the identity
.
Proof. We can obtain the proposed identity by the substitutions
in the well-known conditioned
trigonometrical identity
. Indeed, 
and
.
=============================================================================================================================
.
PP5. Show that
.
Method 1.
.
Method 2.
.
Thus,
.
PP6. Prove that
, where
is a point in
and
is its centroid.
Proof 1 (vectorial). Denote by (lowercase)
the vector associated to a point (uppercase)
in the plane. Origin
is taken arbitrarily, and
.
Then
. So,

, since
. We have
, as
is the centroid of
.
Proof 2 (metric). Prove easily that
. Denote the midpoint
of the side
. Apply the theorem of median
in
. Apply the Stewart's relation to the cevian
in
.
Thus,
and
.
Extension. Let
be a point with the normalized barycentrical coordinates
. Then for any point 
there is the identity
.
Proof (vectorial).


, since
because
, i.e.
, as
has the normalized barycentrical coordinates
w.r.t.
.
PP7. Prove that in any triangle
there is the chain of the equivalencies :

.
Proof 1 (trigonometric).
.

![$\cos A[\cos A-\cos (B-C)]=0\iff$](//latex.artofproblemsolving.com/2/1/1/211c2557ac53b4260f0e4ce9ac1d152b543c688c.png)
.
Proof 2 (metric). I"ll use the well-known relations
and
.
Therefore,

.
Remarks.
.
Prove easily that the roots of the equation
are
.
Indeed,
,
and
.
Therefore,
.
In conclusion,
.
Otherwise.


.
.










Proof 1 (metrical). I"ll use the well-known identity








Proof 2 (synthetical). Denote the circumcircle



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











the segment
![$[MS]$](http://latex.artofproblemsolving.com/d/9/0/d900f9d82f8215488e038a961e879d7410d33828.png)
![$[DD']$](http://latex.artofproblemsolving.com/2/4/1/241460ea7bd49d07230366a7880e525ad678dc80.png)
![$[II_a]$](http://latex.artofproblemsolving.com/b/9/d/b9d69f173ce4bad72631095440791204d2b021e3.png)



PP1. Let





Proof. I"ll use









PP2. Let




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

Proof. From an well-known property obtain that











Lemma 2. Let





Proof.



PP3. Prove that

Proof.






Remark.



![$\sum\frac {a[bc-(s-b)(s-c)]}{(s-b)(s-c)}=$](http://latex.artofproblemsolving.com/a/f/8/af80259b4581087a3ab986edc12f1b58d970dd69.png)







PP4. Prove that in any triangle


Proof. We can obtain the proposed identity by the substitutions

trigonometrical identity


and



=============================================================================================================================




PP5. Show that

Method 1.




Method 2.



Thus,



PP6. Prove that




Proof 1 (vectorial). Denote by (lowercase)




Then












Proof 2 (metric). Prove easily that



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






Thus,





Extension. Let



there is the identity

Proof (vectorial).














PP7. Prove that in any triangle










Proof 1 (trigonometric).









![$\cos A[\cos A-\cos (B-C)]=0\iff$](http://latex.artofproblemsolving.com/2/1/1/211c2557ac53b4260f0e4ce9ac1d152b543c688c.png)
![$\cos A[\cos (B+C)+\cos (B-C)]=0\iff$](http://latex.artofproblemsolving.com/5/d/8/5d8afde1a62ca8f11a0f2d8ded2f56140ed8f851.png)


Proof 2 (metric). I"ll use the well-known relations


Therefore,






Remarks.






Indeed,



Therefore,




In conclusion,




Otherwise.









Quote:



















![$\left[(a+b)\cos 2x+(a-b)\right]^2=0\iff$](http://latex.artofproblemsolving.com/3/d/c/3dcc64ea00dd947b67fd92998095cf9c204f165c.png)






This post has been edited 104 times. Last edited by Virgil Nicula, Nov 22, 2015, 9:08 AM