165. Some metrical problems (5) in a circle (II).
by Virgil Nicula, Oct 22, 2010, 10:07 AM
PP1. Let
with semiperimeter
and incircle
. For
denote the incircles
,
of the triangles
,
respectively. Define
,
so that
and the midpoints
,
of the side
and the segment
respectively. Prove that :
The circles
,
are tangent
and in this case
.
and the ray
is the bisector of
.
Proof. Denote the tangent point
of
with
, where
. Since
obtain that the circles
,
are tangent in the same
point
.
Otherwise, is well-known or prove easily that a convex quadrilateral
is tangential
the incircles of triangles
, 
are tangent
the incircles of triangles
,
are tangent. Thus,
and
are tangent
the quadrilateral
is tangential 
. In this case
exists the relation

. Denote
for which
. From the well-known property (prove easily) obtain
,
i.e.
the midpoint
of
belongs to
. Denote
for which
. Thus,
,
i.e.
. Denote
,
,
. From well-known property obtain that the points
, 
are harmonical conjugate w.r.t.
,
and
, i.e.
. Therefore, the point
belongs to the Appolonius' circle with diameter
which is the geometrical
locus of the points
for which
the ray
is the bisector of
.
PP2. Let
be a triangle with the incircle
and the
-exincircle
. Denote 
and
. Prove that :
and the circles
,
are tangent to to the circumcircle
of
.
Denote the tangent points
,
with
of the circles
and
respectively. Then
and
. This properties offer the construct of
,
.
Proof. Denote
,
, i.e.
. Therefore, Observe that 
and
.
The circle
is interior tangent to the circumcircle



, what is truly. I used the relation
.
The circle
is exterior tangent to the circumcircle



, what is truly.
, what is truly.
, what is truly.
Remark.
and
.
PP3. In nonisosceles
denote
and inradii
,
of
respectively. Prove that
.
Proof.
.
First case.
. Since
,
obtain

. Therefore,


.
Second case.
. Suppose w.l.o.g.
. Since
,
obtain that 
.
PP4. For any
exists three concentric circles
,
,
, where
,
,
. Prove that exists
an equilateral triangle
so that
,
and the length
of its side verifies the relation
, where
.
Remark. For any triangle
exists the inequality
.
Proof.
Proof. Suppose w.l.o.g.
,
. Denote
for which
and
,
. Thus,
,
. Therefore,
.
.
In conclusion,
.
PP5. Let
be a circle with the diameter
and
be a rectangle with
. The tangent
line from
to
touch it in
and meet
in
. Denote the points
,
. Prove that :
.
(extension of Fermat's problem).
Proof (analytic). Suppose w.l.o.g. that
,
. Choose the origin
in the midpoint of
and
,
,
,
.
and
,
i.e.
.From here obtain easily that
,
and
. In conclusion :
, what is truly and
, what is truly.
and
.













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









Proof. Denote the tangent point







point













Otherwise, is well-known or prove easily that a convex quadrilateral






are tangent













![$4r_1r_2=\left[a-\frac {r_1(s-b)}{r}-\frac {r_2(s-c)}{r}\right]^2$](http://latex.artofproblemsolving.com/4/6/f/46f35bb860728afdd805269e51b60faba8fd053d.png)

![$4r^2r_1r_2\left[ar-r_1(s-b)-r_2(s-c)\right]^2$](http://latex.artofproblemsolving.com/0/9/a/09a1cbc46385330e703cd52bf09730cf4ed892bc.png)

![$4r^2r_1r_2=\left[(s-b)(r-r_1)+(s-c)(r-r_2)\right]^2$](http://latex.artofproblemsolving.com/9/6/a/96afb8a39bb78f4ec6c578cf47b70b6777a6841a.png)





i.e.



![$[AM]$](http://latex.artofproblemsolving.com/1/f/9/1f9b22599237fb6240a50b5f75e8f6ced1292374.png)
![$[DI]$](http://latex.artofproblemsolving.com/c/1/3/c132bc0a5484aa83d1d8b015c3befa51c219be86.png)






i.e.








are harmonical conjugate w.r.t.





![$[KM]$](http://latex.artofproblemsolving.com/4/4/8/44830b1a7e1852798641c5e6dcf7cbd7a517a921.png)
locus of the points








PP2. Let





and
















Proof. Denote




and


























































Remark.



PP3. In nonisosceles






Proof.




First case.



![$\frac {[ADB]}{[ADC]}=\frac {DB}{DC}$](http://latex.artofproblemsolving.com/8/f/b/8fbcbe0dd832690411ba39f96ad1d126cc9249e4.png)























Second case.
![$D\not\in [BC]$](http://latex.artofproblemsolving.com/c/d/7/cd7b931fb988bef356fd779cd2c50a031e93c99e.png)













PP4. For any







an equilateral triangle





![$S=[ABC]$](http://latex.artofproblemsolving.com/b/3/a/b3ae3d445111e4dd28be75922309d3270079368c.png)
Remark. For any triangle


Proof.
Quote:
Fermat's problem. Letr
be a rectangle with
. Consider a point
which belongs to the circle
with diameter ![$[AB]$](//latex.artofproblemsolving.com/a/d/a/ada6f54288b7a2cdd299eba0055f8c8d19916b4b.png)
so that
doesn't separate the points
,
. Denote
,
. Prove that
.




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





















In conclusion,




PP5. Let

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


line from









Proof (analytic). Suppose w.l.o.g. that



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












i.e.













This post has been edited 100 times. Last edited by Virgil Nicula, Nov 22, 2015, 8:30 PM