287. Some metrical problems with or without trigonometry.
by Virgil Nicula, Jun 18, 2011, 1:33 PM
PP1 (Skytin). Let
be a triangle with
and the incircle
. Denote the midpoint
of the side
and the point
for which
and
. Ascertain the length of the segment
.
Proof 1. Supppose w.l.o.g.
. Observe that
. Remark
that
(existence condition). Denote
. Thus,
.
Thus,

. Therefore, 
.
Proof 2. Let
,
be the midpoints of the arcs
and
of the circumcircle of
. Incircle
touches
at
and
is the orthogonal projection
of
onto
. If
cuts
at
, then we know that
is a parallelogram (which is true for any scalene triangle) . Thus
. From
we get
. Hence, by the Pythagoras' theorem for
with hypotenuse
we
get
. Since
, then
.
Hence, by the Pythagoras' theorem for
with hypotenuse
we get
. Substituting
from
the latter equation into
yields
.
PP2. In
consider the points
. Denote
. Prove that
.
Proof.
. Since

is cyclically. Observe that
. From the relations
and
obtain that
.
PP3. Let
be the orthocenter of an acute triangle
. The circle centered at the midpoint of
and passing through
intersects
the line
at
,
. Similarly define the pairs
,
and
,
. Prove that
,
,
,
,
,
are concyclically.
Proof 1. Denote the midpoints
,
,
of the sides
,
,
respectively. Prove easily or is well-known that
. Thus,


because prove easily or is well-known that
(remark that
a.s.o.).
Thus,

(symmetrically in
,
,
). In conclusion,
.
Remark. Since
obtain easily that
.
Proof 2. Denote the circumcenter
and the midpoint
of
(center of the Euler's circle). Observe
that
(is symmetrically in
,
,
).
Proof 3. Denote diameter
of circumcircle
. Apply theorem of median to
in

. Thus,
. In conclusion,
.
I used the well-known property : the quadrilateral
is a parallelogram, i.e.
and
.
Proof 4.

.
Proof 5. Denote
and the midpoint
of
- the center of the Euler's circle, i.e.
. Observe that 
. Apply the theorem of median
in
.
Therefore,
, i.e.
a.s.o.
Proof 6. Fix
as center of a coordinate vector system, so that
. If
we have to prove that
is symmetric in
,
and 
(it would be the square of the radius of the circle). But

and we are done.
Remark. Observe that
. Prove easily that for any point
we have
.
PP4. Let
be an interior point of the square
so that
,
,
. Find the length of
.
Proof. Let
and
. Thus,
and
, i.e.
.
Apply the generalized Pytagoras' theorem to
.
PP5. Prove that in any triangle
exists the implication
.
Proof 1. Denote the points
. Observe that

and
.
Proof 2.
,
i.e.
.
Proof 3. Consider the circumcircle
of
and denote the second intersection
of the
-angle bisector
with
. Prove easily that
is isosceles triangle , where
and
.
Using the Ptolemy's theorem obtain that
, i.e.
.
Remark. In this case
and
.
Proof 4.

.
PP6. Let
be a triangle. Prove that
.
Proof.

.
PP7. Let
be a triangle. Prove that
.
Proof 1. Suppose
. Denote circumcircle
of
, points
so that
and

, second intersections
,
of
,
with
respectively and
. So
and
.
Apply Ptolemy's theorem to :
.
Proof 2. Observe that
,
. Hence
is isosceles

. By the Angle Bisector Theorem in the
we get
,
. Since
we have
. Since
we have
.
Proof 3.

![$bc^4+\left[2b\left(a^2-b^2\right)-a^2(a+b)\right]c^2+b\left(a^2-b^2\right)^2=0\iff$](//latex.artofproblemsolving.com/d/1/6/d1639cc17cfe5811ceecd30376fd03b9c8d79fe9.png)

.
Proof 4.



.
PP8. Let
be a triangle with the circumcircle
and the orthocenter
. Show that there exist the points
,
and
such that
and
.
Proof. Denote the reflection
,
,
of
w.r.t.
,
,
respectively. Can choose
,
and
.
Prove easily that
and
, i.e.
is the symetrical point of 
w.r.t. the midpoint of
. Indeed,
.
Show analogously that
and
. In conclusion, using the Ceva's theorem obtain that
.
Lemma. A point
lies inside of
. Let
,
,
be the second intersections of
,
, 
with the circumcircles of
,
,
respectively. Prove that
.
Proof. Let
cut the circumcircles of the triangles
and
again at
. By the Miquel's theorem obtain that
.
From the circumircles of the triangles
and
we have that
, which means
and similarly,
. Let
,
cut
,
at
,
respectively. Then
and
. Since
,
,
are concurrent cevians at
in the
, it follows that
.
PP9. Let
and
be points inside triangle
such that
and
. Prove that
.
Proof. It is quite well-known that
, which can be proven by taking the sine version of Ceva's Theorem on
and
on dividing (I won't do
that here.) Denote the second intersections
,
and
of
,
, and
respectively with the circumcircles of the triangles
,
and 
respectively. Observe that
,
, and
. By the Miquel's theorem obtain that
.
By upper lemma have
. Since
.
Similarly, we have that
and
. Hence,
.
PP10. Consider a right triangle
with
and
. Let
and
be two
points on hypotenuse
. Prove that
.
Proof 1 (metric). Denote the midpoint
of
and suppose that
,
. Then
,
and
. Denote
. Then
and
.
Therefore,
.
In conclusion,

.
Proof 2 (analytical). Chose a system of coordinates for which
. Let
so that
. Denote
. The slopes of the lines
and
are
and
respectively.
Thus,
. From the relations
and
obtain that
.
Proof 3 (synthetical). Rotate point
clockwise by
about
to
. Then,
and
.
Because
,
,
, it follows that
. But
is a right angle. Hence,
.
PP11. Fie paralelogramul
. Notam proiectiile
si
ale lui
pe
,
respectiv. Demonstrati relatia
.
Metoda 1 (Stefan Spataru). Notam mijloacele
si
ale laturilor
si
respectiv. Din teorema medianei aplicata
-medianelor din
si 
se obtin relatiile
. Din puterea punctului
fata de fiecare dintre cercurile cu diametre
,
se obtin relatiile
.
Metoda 2. Aplicam teorema Pitagora generalizata laturilor
si
in
si 
deoarece
, iar unghiurile
si
sunt ascutite.
PP12. Let
be an acute triangle with incenter
, circumcircle
and
orthocenter
. Let
. Prove that
.
Proof 1.
.
Proof 2. Denote
. Therefore,
. On
other hand, observe that
is equilateral. In conclusion,
.
Proof 3 (Mateescu Constantin). It is well-known that
(in acute-angled triangles) and that
(see here a proof for the latter). Thus, the conclusion reduces to proving that 
. Let
be the foot of the internal bisector coresponding to vertex
. Then
and
since
one obtains that:
. In addition, by using the law of cosine in
get
so
. Also,
(the last equality following from the law of sines).
In conclusion,
, so our proof is now completed.
PP13. Let
be a triangle. Choose two points
so that
. The incircles of 
and
are tangent to sideline
at
and
respectively. Prove that
.
Proof.

Denote

![$CE\cdot MB\cdot MD\ \stackrel{(1)}{\iff}\ BD\cdot\left[CE^2-(AE-AC)^2\right]=$](//latex.artofproblemsolving.com/e/b/2/eb2fe25b3428825a6b1114a6d888929039ee54c4.png)
![$CE\cdot\left[AD^2+AB^2-BD^2\right]\ \stackrel{(3)}{\iff}$](//latex.artofproblemsolving.com/9/9/b/99b31e874385a77973ae8c51144b0e852f7286b7.png)
, what is truly again from same relation
.
PP14. Let
be a parallelogram. Let
,
and 
so that
is cyclically. Prove that
.
Proof. Apply the Ptolemy's relation to
.
Observe that
.
Particular case.. Let
be a parallelogram. The circle with diameter
meet
,
at
,
respectively
.
PP15. Let
be a cyclical quadrilateral. Let projections
,
of
on
,
respectively. Prove that
.
Proof 1. Apply the Ptolemy's theorem to
. Observe that
.
Prove analogously that
. In conclusion, using the relation
obtain that
.
Proof 2. Observe that
. Thus,
. Apply Ptolemy's theorem to 
. In conclusion, the required relation
is equivalently
with
.
Proof 3. Denote
. Since
and
obtain that
, what is truly.
PP16. Consider in
a point
. The bisectors of the angles
and
cut the sides ![$[AB]$](//latex.artofproblemsolving.com/a/d/a/ada6f54288b7a2cdd299eba0055f8c8d19916b4b.png)
and
at
and
respectively. Prove that
.
Proof. I"ll use the Stewart's relation
. Since
,
the relation
becomes

.
PP17. Let
of
such that
. Let
be a point such that
and
. Prove that
.
Proof. The relations from hypothesis suggest me to apply the well-known lemma:
Lemma. Let
and
for which
. Suppose
. Then
.

. Return to proof of the proposed problem. Let
. Apply the upper
lemma to
. Hence

,

and
is cyclic. Thus,

, what is truly.
PP18. Prove that in any
there are the equivalencies 
Proof 1 (synthetic). Denote
so that
. Thus,
and

. In conclusion,
.
Proof 2 (trigonometric).


.
Proof 3 (trigonometric).

.
Remark. For the first one see the lemma from PP17.
PP19. Let
with
and the incircle
which touches
in
. Denote
so that
and
. Prove that
.
Proof.
. Using relation obtain that 
. In conclusion,
.




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




Proof 1. Supppose w.l.o.g.


that



Thus,

![$\frac {1}{\sqrt 2}\cdot\left[\cos (C-\theta )-\sin (C-\theta )\right]=$](http://latex.artofproblemsolving.com/5/6/5/56513a44645a54fb9971c9dfc47795de2dd2818a.png)


![$\frac {1}{b\sqrt 2}\cdot \left[(a+c)\cdot\sin\theta +(a-c)\cdot\cos\theta\right]$](http://latex.artofproblemsolving.com/d/b/d/dbd96e669f8ecf6c90a4a0f9c76b6fd089f59369.png)





Proof 2. Let









of











get



Hence, by the Pythagoras' theorem for




the latter equation into



PP2. In




Proof.




is cyclically. Observe that






PP3. Let




the line













Proof 1. Denote the midpoints



![$ [BC]$](http://latex.artofproblemsolving.com/3/5/5/3550468aa97af843ef34b8868728963dec043efe.png)
![$ [CA]$](http://latex.artofproblemsolving.com/b/8/3/b8309224981a62a2c0df087562b92830bd7ad7b0.png)
![$ [AB]$](http://latex.artofproblemsolving.com/d/7/a/d7a8027c238eec9cf67de0f7ec6cb1df4df49a61.png)








because prove easily or is well-known that


Thus,



(symmetrically in




Remark. Since


Proof 2. Denote the circumcenter


![$[HO]$](http://latex.artofproblemsolving.com/b/5/5/b5541b05e04ae28040596ec737a5548e0aaa1bcb.png)
that




Proof 3. Denote diameter
![$[AA']$](http://latex.artofproblemsolving.com/f/8/3/f83bdc8e170d3bc867097c603fa03cf6edefbb4b.png)

![$[HO]$](http://latex.artofproblemsolving.com/b/5/5/b5541b05e04ae28040596ec737a5548e0aaa1bcb.png)






I used the well-known property : the quadrilateral



Proof 4.





Proof 5. Denote


![$[HO]$](http://latex.artofproblemsolving.com/b/5/5/b5541b05e04ae28040596ec737a5548e0aaa1bcb.png)








Therefore,



Proof 6. Fix







(it would be the square of the radius of the circle). But





Remark. Observe that



PP4. Let





![$[AB]$](http://latex.artofproblemsolving.com/a/d/a/ada6f54288b7a2cdd299eba0055f8c8d19916b4b.png)
Proof. Let





Apply the generalized Pytagoras' theorem to





PP5. Prove that in any triangle


Proof 1. Denote the points












Proof 2.




i.e.



Proof 3. Consider the circumcircle




with





Using the Ptolemy's theorem obtain that



Remark. In this case





Proof 4.








PP6. Let


Proof.









PP7. Let


Proof 1. Suppose
















Apply Ptolemy's theorem to :




Proof 2. Observe that













Proof 3.





![$bc^4+\left[2b\left(a^2-b^2\right)-a^2(a+b)\right]c^2+b\left(a^2-b^2\right)^2=0\iff$](http://latex.artofproblemsolving.com/d/1/6/d1639cc17cfe5811ceecd30376fd03b9c8d79fe9.png)
![$b\cdot c^4-(a+b)\left[(a-b)^2+b^2\right]\cdot c^2+b(a-b)^2(a+b)^2=0\iff$](http://latex.artofproblemsolving.com/d/b/2/db273638c2c5fcc5e3065d5420312cd97bb20b34.png)

![$(a+b)((a-b)^2\left[b(a+b)-c^2\right]=bc^2\left[b(a+b)-c^2\right]=0\iff$](http://latex.artofproblemsolving.com/c/7/a/c7a9a163724edc3d4e68559ebfc16f969cc213fe.png)

Proof 4.



![$\sin A\sin (A-B)=\sin B\left[\sin (A-B)+\sin C\right]\iff$](http://latex.artofproblemsolving.com/d/3/d/d3d8e425480d59d81feb2a183fd8ff0ab7fbd5e0.png)







PP8. Let








Proof. Denote the reflection










Prove easily that




w.r.t. the midpoint of
![$[BC]$](http://latex.artofproblemsolving.com/e/a/1/ea1d44f3905940ec53e7eebd2aa5e491eb9e3732.png)

![$\frac {HB}{HC}\cdot\frac {\sin [C+(B-C)]}{\sin [B-(B-C)]}\implies$](http://latex.artofproblemsolving.com/2/a/2/2a229738408579aae9fae72d689f885c54f8cfc9.png)

Show analogously that



Lemma. A point








with the circumcircles of




Proof. Let





From the circumircles of the triangles




















PP9. Let






Proof. It is quite well-known that



that here.) Denote the second intersections









respectively. Observe that




By upper lemma have








Similarly, we have that




PP10. Consider a right triangle





points on hypotenuse


Proof 1 (metric). Denote the midpoint

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








Therefore,

In conclusion,






Proof 2 (analytical). Chose a system of coordinates for which



![$\phi =m\left(\widehat{MAN}\right)\in \left[0,\frac {\pi}{2}\right]$](http://latex.artofproblemsolving.com/8/d/f/8dfb8bcbaf2f701361886c88e967a9b064dead70.png)




Thus,








Proof 3 (synthetical). Rotate point






Because






PP11. Fie paralelogramul







Metoda 1 (Stefan Spataru). Notam mijloacele







se obtin relatiile


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




Metoda 2. Aplicam teorema Pitagora generalizata laturilor
![$[CB]$](http://latex.artofproblemsolving.com/f/0/a/f0a45a13c6123c357e7ffe7d05e50e68ad7d157a.png)
![$[CD]$](http://latex.artofproblemsolving.com/e/7/0/e70960e9e5738a46ad23f794e796ef3cb4ad7e2c.png)






PP12. Let



orthocenter




Proof 1.




Proof 2. Denote





other hand, observe that





Proof 3 (Mateescu Constantin). It is well-known that







since






In conclusion,

PP13. Let





and





Proof.

![$\frac {[ABD]}{[ACE]}=\frac {BD}{CE}\ \implies\ \frac {AB\cdot AD}{AC\cdot AE}=$](http://latex.artofproblemsolving.com/c/0/f/c0f72e9e00d3ef8754f6569df4836b89fd2481af.png)

Denote




![$CE\cdot MB\cdot MD\ \stackrel{(1)}{\iff}\ BD\cdot\left[CE^2-(AE-AC)^2\right]=$](http://latex.artofproblemsolving.com/e/b/2/eb2fe25b3428825a6b1114a6d888929039ee54c4.png)
![$CE\cdot\left[BD^2-(AD-AB)^2\right]\ \stackrel {(2)}{\iff}\ BD\left[AE^2+AC^2-CE^2\right]=$](http://latex.artofproblemsolving.com/8/7/b/87bfcc75a07222406dc31352af2c6e14b410eb6e.png)
![$CE\cdot\left[AD^2+AB^2-BD^2\right]\ \stackrel{(3)}{\iff}$](http://latex.artofproblemsolving.com/9/9/b/99b31e874385a77973ae8c51144b0e852f7286b7.png)


PP14. Let




so that


Proof. Apply the Ptolemy's relation to

Observe that





Particular case.. Let

![$[BD]$](http://latex.artofproblemsolving.com/3/2/6/3261e689901bce018ecdef47b9bc60a78ead3746.png)





PP15. Let







Proof 1. Apply the Ptolemy's theorem to


Prove analogously that






Proof 2. Observe that






with


Proof 3. Denote





PP16. Consider in




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




Proof. I"ll use the Stewart's relation


the relation








PP17. Let
![$ D\in [BC]$](http://latex.artofproblemsolving.com/5/4/b/54b11805952e791d3c54beec9b3bf188cf2c85e4.png)



![$ D\in [AE]$](http://latex.artofproblemsolving.com/3/0/4/3048ff77d42ba9995f7712965b474754177efd58.png)


Proof. The relations from hypothesis suggest me to apply the well-known lemma:
Lemma. Let






















lemma to












and














PP18. Prove that in any


Proof 1 (synthetic). Denote












Proof 2 (trigonometric).











Proof 3 (trigonometric).









Remark. For the first one see the lemma from PP17.
PP19. Let










Proof.







This post has been edited 159 times. Last edited by Virgil Nicula, Nov 21, 2015, 3:46 PM