317. Some interesting geometry problems for middle school.
by Virgil Nicula, Sep 15, 2011, 12:33 AM
PP1 (Sankt-Petersburg, 2003). Let
be a triangle with the incenter
and the midpoint
of
. Prove that
.
Method 1 (Paul Stoienescu - very nice !). Denote the midpoint
of the side
. Thus,

is tangent to the incircle
is circumscriptible
.
Method 2. Denote
. Therefore,
.
Method 3 Suppose w.l.o.g.
. Denote
. Apply the theorem of the altitude in
what is
-right: 

.
Method 4. From
obtain that

.
An interesting lemma !
Lemma. Let
with orthocenter
. Denote
,
. Then
.
Proof. Denote the circumcircle
of
and
. Observe that

.
PP2 (Mihai Miculita). In
denote the midpoint
of
and the projections
,
of
on
,
respectively. Prove that
.
Proof. Apply the upper lemma to
and
since
.
An easy extension. In
denote the midpoint
of
. For
denote its projections
,
on
,
respectively. Prove that
.
Remark. If
, then
.
PP3. Let
be a trapezoid with
and
. Denote
. Prove that
.
Method 1 (trigonometric). Denote
. Thus,
and 
, what is truly.
Method 2 (metric). Denote
. Thus,

,
what is truly (well-known) because
.
An easy extension. Let
be a convex quadrilateral. Denote
and the area
,
. Prove that
. Therefore,
, with equality where
.
PP4. Let
be the orthocenter of acute
. Let the midpoint
of
,
,
so that
and
. Prove that
is the midpoint of
.
Proof 1. If
is a diameter of the circumcircle of
, then
is a parallelogram and the quadrilaterals
,
are cyclically. Thus,
, i.e.
, what means that the triangle
is isosceles and
.
Remark. In the circle with the diameter
can apply the butterfly's problem to the point
.
Proof 2. Denote the midpoints
and
of
and
respectively , where
and
. Observe that 
and
, i.e. the quadrilaterals
and
are cyclically. Since 
(symetrically in
and
) obtain that
, i.e.
, what means
.
Proof 3. Denote
,
and
,
so that
and
. Thus,
and
are cyclically 
is cyclically

. Since
obtain that
is a right trapezoid and
is the midpoint of
, i.e.
.
An easy extension. Let
be the orthocenter of an acute
. For
denote
,
so that
and
. Prove that
.
Proof. Denote
,
and
,
so that
and
. Thus,
and
are cyclically 
is cyclically

. Since
obtain that
is a right trapezoid and if
, then
, i.e.
.
PP5. Let
with
. Denote the bisector
of
where
and
for which
. Prove that
.
Proof. It is well-known or prove (
) easily that
. Thus, 
.
==========================================================================================================================================
(
) Denote
so that
is the bisector of
. Since
obtain that
.
PP6. Let
be a triangle. Its
-bisector meet again its circumcircle
in the point
. Suppose that exists
so that
. Prove that
.
Proof. Get
and
. If
, then 
.
Remark 1.
.
Remark 2. If
is the midpoint of the side
, then can prove easily that
.
PP7 (Laurentiu Panaitopol). Let
be a convex quadrilateral. Consider the points
so that
.
Denote
,
and
. Prove that
is a parallelogram
.
PP8. Let
with
and
. Let
such that
and let
be the midpoint of
. Prove that
.
Proof. Let
so that
. Then
is the bisector of
and it is the external bisector of

cross ratio
is harmonic. Hence, from
we deduce that
,
bisect
internally and externally
.
PP9. Let
be a square. For
the bisector of
meet
at
and the bisector of
meet
at
. Prove that
.
Proof 1. Note that
. Extend
to
such that
. Then 
and
. Thus,
and
.
Proof 2. Denote
so that
. Note that
and
.
Proof 3. Suppose w.l.o.g.
and denote
. Note
and
. Thus,
.
Hence


.
PP10. Let
with the incircle
and
. Prove that
and
belong to the circle with the diameter
.
Proof. Denote
. Show easily that
is inscribed in the circle
with the diameter
and
is inscribed in the circle 
with the diameter
. Since
obtain that the quadrilaterals
and
are cyclically, i.e.
and
.
Application. Let a tangential
with incircle
. Let
and
. Prove that
is cyclically.
PP11. Let a cyclical convex
with
. Denote the projections
of
on
,
,
and
respectively. Prove that
is tangential
.
Proof. Let
be the cyclic quadrilateral,
, the projections
of
on
,
,
,
respectively. The quadrilaterals
and
are
cyclically
and
. The quadrilateral
is cyclic
. Therefore,
. So
belongs to the angle bisector of 
and analogously show that
belongs to the other angle bisectors of
,
,
. In conclusion,
, using the Pithot's reciprocal theorem.
PP12. Let
be a triangle with the incircle
. Denote
,
and
,
for
which
,
. Define the points
and
. Prove that
.
Proof. It is well-known that
and
. Apply the Menelaus' theorem to the transversal
for 
. It is well-known that
is a diameter of
, i.e.
.
Thus,
, i.e
. Therefore,
, i.e.
.
PP13. Let
. Compute the following expression in terms of 
Proof 1.
.
PP14. Let
be a triangle with the incenter
and
. Denote the midpoint
of the side
and the diameter
of
the circumcircle of
so that
and the line
separates
and
. Prove that
.
Proof 1. Denote
so that
. Observe that

, what is truly.
Proof 2. I"ll use same notations from the previous proof. It is well known that
is the circumcenter of
. From this, since
we get that
and 
are the tangents from the point
to the circumcircle of
. Now denote
. Therefore,
is the
-symmedian in
so that
.
Let
be the second intersection of
with the circumcircle of
. Since
we have that
. On the other side
.
PP15. Let
and
be two parallelograms so that
and
separates
. Prove that
.
Proof 1. Let
,
. Apply Menelaus' theorem to transversals/triangles :
.
Proof 2. Let
. Thus,
and

and
.
From
and
obtain that
, i.e.
.
PP16. Let
with
and circumcircle
. Denote the reflection
of
w.r.t. the midpoint
of
and the diameter
of
. Prove that
.
Proof. If
is the center of
, then
and
. Remark that the point
is the orthocenter of
.
PP17. Let
be a triangle with orthocentre
and circumcircle
. Denote
. Prove that
.
Proof.
is a parallelogram, i.e.
and
-right
are
similarly
.
Remark. If
, then
. It is well-known that
is the diameter of the Euler's circle for
.
PP18. For
and
exists
tangent to both
,
and to
. Prove that if the length of
is
, then the perimeter of
is
.
Proof.
. So
. Perimeter
of
is
. For
get
.
Lemma. Let
be a convex quadrilateral for which denote
. Find the geometrical locus of the mobile point
which
belongs to the interior of the angle
for which
(constant), where
and
are two given positive numbers.
Proof. Denote
. Observe that
and
and ![$k=\alpha\cdot [AOB]+\beta\cdot [OCD]=$](//latex.artofproblemsolving.com/5/b/8/5b8862714afe3a81596624b18cd2f07e50cec662.png)
is constant because the triangle
is fixed. Since the segment
is fixed
(with constant length) obtain that
is constant, i.e. the geometrical locus of
is a parallel segment with
and which prop up the rays
and
.
PP19. Let
,
,
,
so that
and
. Prove that
.
Proof 1. Let
so that
. Ceva's

Proof 2. Denote
and
. Since the division
is harmonically and
, from an well-known property obtain that
.
PP20. Let
be a triangle with the
-bisector
, where
. Suppose
and
. Prove that
.
Proof 1 (synthetic). Let
be a point so that
. Observe that
is equilateral and 
.
Proof 2 (metric).
PP21. Let
and
for which denote the circumcircles
of
respectively,
so that
and
. Prove that
.
Proof. Observe that
.
PP22. Let
be a
-right-angled triangle with
and
. Ascertain without trigonometry
and
.
Proof 1. Suppose w.l.o.g.
, i.e.
and denote
so that
and
, i.e.
. Thus,
and
.
Proof 2. Suppose w.l.o.g.
, i.e.
. Denote
so that the line
separates the points
,
and
.
Denote
, i.e.
and
. Apply the theorem of the
-angled bisector in

. Thus,
.
PP23. Let
such that
, where
. Prove that
.
Proof. Prove easily that
and the function
is increasing.
Therefore,
.
PP24.
is inscribed in
. The vertices of the triangle divide
in 3 arcs of lengths
,
and
. What is the area of the triangle ?
Proof. Perimeter of the circle is
. Thus,

.
PP25. Let
with circumcircle
,
,
so that
. Let midpoint
of arc
which contains
. Prove that
,
.
Proof. Prove easily that
. Hence
and
.
PP26. Let a rhombus
and
,
so that
. Denote
and
. Prove that
.
Proof.

is cyclically
is cyclically and
.
PP27 (Balkan 2005). Let
be an acute-angled triangle whose inscribed circle touches
and
at
and
respectively. Let
and
be the points of intersection
of the bisectors of
and
with the line
respectively and let
be the midpoint of
. Prove that the triangle
is equilateral if and only if
.
Proof. Let
be the incenter. An angle chase shows that
are concyclic, so, since
, it means that
. This means that
is a right triangle,
so
. In the exactly same way we show that
, so
is always isosceles. Since
, we have
,
so
. We also have
. From the above we conclude that
is equilateral iff
which is equivalent to
.
PP28. Let a regular
with
and
and
so that
and
. Find
.
Proof 1 (trigonometric). Let
. Thus,
,
and 
.
Proof 2 (trigonometric). Denote
. Apply theorem of Ratio :
. Since
obtain that
. From
obtain that
. Prove easily that
. In conclusion,
, i.e.
.
Remark. Theorem of Ratio : Let
and a point
what belongs to the sideline
. Then
.
Proof 3. Pythagoras' theorem to
. Thus, 
.
PP29. Let a cyclical
and let incenters
,
of
,
respectively. Prove that
is cyclically
is tangential.
Proof. Let the tangent points
,
of
,
respectively with
. Suppose w.l.o.g. that
. Thus,
. Let 
.
is tangential

.
the quadrilateral
is cyclically.
PP30. Prove that in any
-rightangled
the line
, but is possibly that
(standard notations).
Proof. Let
for which I"ll characterize the particularity
. Thus,
Therefore,
Suppose
, i.e.
is
- rightangled. In this case
, i.e.
. Appears three cases:
, what isn't truly. Prove easily that
. In conclusion,





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

Method 1 (Paul Stoienescu - very nice !). Denote the midpoint

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








Method 2. Denote



Method 3 Suppose w.l.o.g.













Method 4. From








An interesting lemma !
Lemma. Let





Proof. Denote the circumcircle









PP2 (Mihai Miculita). In


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






Proof. Apply the upper lemma to





An easy extension. In


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






Remark. If


PP3. Let





Method 1 (trigonometric). Denote







Method 2 (metric). Denote










what is truly (well-known) because
![$[ACD]=[BCD]\iff$](http://latex.artofproblemsolving.com/d/d/6/dd6bdf06510f0839b3b0e51845e1ac9daceb7730.png)
![$[ACD]-[COD]=[BCD]-[COD]\iff$](http://latex.artofproblemsolving.com/9/8/6/986d27ed36186d9cfd67fb275cddcb4cf31754a1.png)
![$[AOD]=[BOC]\iff$](http://latex.artofproblemsolving.com/f/e/6/fe66bb32264971c98d54b45443448b3e2ce43399.png)

An easy extension. Let


![$[AOD]=S$](http://latex.artofproblemsolving.com/3/0/a/30a409cd292651a27787e0d19c193b0ac4a48b30.png)

![$AB^2\cdot CD^2=\left[(xz+yt)+(xt+yz)\cdot\cos\phi\right]^2+(xt-yz)^2\cdot\sin^2\phi$](http://latex.artofproblemsolving.com/d/2/b/d2b99941cf2d59e91084a3d00dad656207ba38dc.png)


PP4. Let



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





![$[PQ]$](http://latex.artofproblemsolving.com/2/1/c/21ca08816cf8b23ddf756ce9ae098ad327f2443d.png)
Proof 1. If
![$[AS]$](http://latex.artofproblemsolving.com/8/1/f/81f842d87b22553e4b674bb2bf46a080da785009.png)











Remark. In the circle with the diameter
![$[BC]$](http://latex.artofproblemsolving.com/e/a/1/ea1d44f3905940ec53e7eebd2aa5e491eb9e3732.png)

Proof 2. Denote the midpoints


![$[CE]$](http://latex.artofproblemsolving.com/e/a/8/ea8eadb930f32cceb220dee99277c24b202fb80c.png)
![$[BF]$](http://latex.artofproblemsolving.com/d/7/a/d7a110c88aa7049fdc02098818d6ad734126d24a.png)



and




(symetrically in








Proof 3. Denote
























![$[XY]$](http://latex.artofproblemsolving.com/b/d/5/bd5db5e85aa6daea3eebecaea5d26721edd15203.png)

An easy extension. Let


![$M\in [BC]$](http://latex.artofproblemsolving.com/6/f/1/6f11082ff5ed53afefce1cb91c180d8a7342b4c1.png)





Proof. Denote
























PP5. Let








Proof. It is well-known or prove (







==========================================================================================================================================
(








PP6. Let







Proof. Get










Remark 1.

![$4R^2\left[\sin^2\left(B+\frac A2\right)-\sin^2\frac A2\right]=$](http://latex.artofproblemsolving.com/5/b/d/5bd74212f4cb1af130a164224f6012f666508811.png)



Remark 2. If

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

PP7 (Laurentiu Panaitopol). Let



Denote





PP8. Let








Proof. Let










cross ratio







PP9. Let









Proof 1. Note that





and



Proof 2. Denote




Proof 3. Suppose w.l.o.g.





Hence













PP10. Let





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



![$[IC]$](http://latex.artofproblemsolving.com/7/6/6/7667108e1ea2f2a718a614bc59a399d56023e588.png)


with the diameter
![$[BI]$](http://latex.artofproblemsolving.com/6/4/6/646c73af6c80a0d6b7254a3e6ec3646cbbb99845.png)





Application. Let a tangential





PP11. Let a cyclical convex










Proof. Let










cyclically









and analogously show that





PP12. Let






which





Proof. It is well-known that







![$[DQ]$](http://latex.artofproblemsolving.com/6/6/c/66ccd722466ee2037ba25bd8ecedb458ea09ec5e.png)


Thus,






PP13. Let


Proof 1.







PP14. Let




![$[BC]$](http://latex.artofproblemsolving.com/e/a/1/ea1d44f3905940ec53e7eebd2aa5e491eb9e3732.png)
![$[NS]$](http://latex.artofproblemsolving.com/8/0/d/80de18ed66832d94ce5323f567fc5b59dc992316.png)
the circumcircle of






Proof 1. Denote








Proof 2. I"ll use same notations from the previous proof. It is well known that





are the tangents from the point







Let






PP15. Let






Proof 1. Let






Proof 2. Let
















From





PP16. Let






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


Proof. If






PP17. Let





Proof.






similarly







Remark. If


![$[EM]$](http://latex.artofproblemsolving.com/c/c/0/cc0e6c2d938f9b948b8c8c7b891feab862f526c8.png)

PP18. For










Proof.













belongs to the interior of the angle

![$\alpha\cdot [AOB]+\beta\cdot [OCD]=k$](http://latex.artofproblemsolving.com/b/e/6/be6c2b5a89b52f02509653f3ac00a5539a5278eb.png)


Proof. Denote

![$[LOE]=\alpha\cdot [LAB]$](http://latex.artofproblemsolving.com/4/c/b/4cbc88feac9eb71a28fc76ac78006a10cb565c86.png)
![$[LOF]=\beta\cdot [LDC]$](http://latex.artofproblemsolving.com/0/b/3/0b3f2fee571af2e0a8215e43790235ae9b97180f.png)
![$k=\alpha\cdot [AOB]+\beta\cdot [OCD]=$](http://latex.artofproblemsolving.com/5/b/8/5b8862714afe3a81596624b18cd2f07e50cec662.png)
![$[LOE]+[LOF]=$](http://latex.artofproblemsolving.com/3/9/4/394c59940611d277f88c4e80ee097e453b19f81f.png)
![$[LEOF]=[EOF]+[ELF]$](http://latex.artofproblemsolving.com/6/b/c/6bcea66ff40c4aa34c528bdcaf3c4408976e0038.png)

![$[ELF]=k-[EOF]$](http://latex.artofproblemsolving.com/e/5/a/e5a1f67582d21dfc3a291d21ea350dc79b5e1312.png)

![$[EF]$](http://latex.artofproblemsolving.com/7/6/3/763239c0ce4fccc63411d3d6cb0011f7f6cc3a31.png)
(with constant length) obtain that





PP19. Let







Proof 1. Let






Proof 2. Denote





PP20. Let







Proof 1 (synthetic). Let









Proof 2 (metric).
PP21. Let








Proof. Observe that
![$m\left(\widehat{MAN}\right)=A-\left[m\left(\widehat{MAB}\right)+m\left(\widehat{NAC}\right)\right]=$](http://latex.artofproblemsolving.com/b/a/c/bac5ef19ad3356f9f8df37a0fd858da85da40d7d.png)
![$A-\left[m\left(\widehat{BCI}\right)+m\left(\widehat{CBI}\right)\right]=$](http://latex.artofproblemsolving.com/a/0/d/a0d255f68c51fde2eafdb3b1048690e348e64f66.png)
![$A-\left[\pi -m\left(\widehat{BIC}\right)\right]\implies$](http://latex.artofproblemsolving.com/7/b/8/7b8375b15008e6595a2eb04b5513bc75f4c673a8.png)

PP22. Let






Proof 1. Suppose w.l.o.g.















Proof 2. Suppose w.l.o.g.







Denote












PP23. Let




Proof. Prove easily that


Therefore,




PP24.






Proof. Perimeter of the circle is




![$S=[ABC]=$](http://latex.artofproblemsolving.com/7/3/9/739e40c454123818abc091496f171708ba947818.png)






PP25. Let










Proof. Prove easily that









PP26. Let a rhombus







Proof.















PP27 (Balkan 2005). Let







of the bisectors of







Proof. Let





so





so





PP28. Let a regular







Proof 1 (trigonometric). Let









Proof 2 (trigonometric). Denote




















Remark. Theorem of Ratio : Let




Proof 3. Pythagoras' theorem to






PP29. Let a cyclical








Proof. Let the tangent points






















PP30. Prove that in any




Proof. Let



















This post has been edited 195 times. Last edited by Virgil Nicula, Nov 20, 2015, 7:47 AM