73. A nice problems with a square and a perpendicularity.
by Virgil Nicula, Aug 2, 2010, 12:16 AM
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=46&t=359124
PP1. Let
be a square. For an arbitrary
consider
,
. Prove that
.
Proof 1. Let
,
,
. Apply Blanchet's theorem in
, where
,
and obtain
,
i.e.
. From symmetry w.r.t.
obtain and
. Hence
. A rotation around
realizes
. In conclusion
, i.e.
.
Remark. I can prove
without Blanchet's theorem and rotation. Let
and
. Thus, division
- harmonically 
- harm.
- harm. Since
obtain
. Thus
is isosceles 
(last equality from symmetry w.r.t.
). Therefore,
is cyclic
.
Proof 2 (metric). Suppose w.l.o.g.
and let
. Denote
and
. Prove easily that
,
,
.
Denote
and
. Thus,
and
, i.e.
. Hence
, i.e. the quadrilateral
is cyclic, i.e.
.
Remark. If
is the center of given square and
, then
.
Proof. Let
, Apply Menelaus's theorem to
Denote
,
.
Observe that
and
.
Another proof. Denote
and
. Apply Pappus' theorem to
,
and to
,
. Since
,
,
obtain
. Thus,
, i.e.
. From
and
obtain
. Prove easily that in any
right trapezoid
,
exists
. Apply it to the right trapezoid
and get
, i.e.
.
Proof 3. Suppose w.l.o.g.
and denote
. Define
,
. From
in
obtain easily
.
Since division
is harmonic, i.e.
(is an well-known property or prove easily) obtain
, i.e.

. Denote
,
. Thus
and
. Therefore,

. Thus,
. In conclusion,
belongs to circumcircle of
.
Proof 4. Suppose w.l.o.g.
and denote
. Define
,
. From
in
obtain easily
.
Since division
is harmonic, i.e.
( prove easily) obtain
. Apply Menelaos' to

is the foot of
-symmedian in
-right triangle
.
Otherwise, denote
and
is harmonically
is harmonically

is the foot of
-symmedian in
-right triangle
.
Otherwise, observe that
is harmonically
is harmonically. Observe that 
.
Remarks. If denote
and
is a rectangle, then
and
,
where
,
. In the particular case when
obtain
, i.e. the proposed problem.
Final. Let
be a square. For an arbitrary
consider the points
. Prove that
.
Remark. If
,
, then polygons
(quadrilateral, in circle with diameter
),
(pentagon, in circle with diameter
) and
(hexagon, in circle with diameter
) are cyclically. From here can obtain another interesting properties of this figure. For example, the circumcircles of
and
are tangent in
. Indeed, since
obtain that the circumcircles of
,
are tangent in
. Thank very much to Mateescu Constantin for his nice draw.
PP2. Let
be an
-isosceles and right triangle. Let
be two points such that
and
. Ascertain the measure of the angle
.
Proof 1 (metric). Suppose w.l.o.g.
, i.e.
. Denote
and

,
, where
. Remark that
.
.

.
Remark. The area
(constant)

.
Proof 2 (synthetic). Rotate around about the point
for
to get
, 
.
PP1. Let

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



Proof 1. Let







i.e.








Remark. I can prove

























Proof 2 (metric). Suppose w.l.o.g.

![$BM=m\in [0,1]$](http://latex.artofproblemsolving.com/d/0/6/d064d3471cc0933c43893a5314e8b81656b58018.png)





Denote


















Remark. If



Proof. Let




Observe that











Another proof. Denote















right trapezoid









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

![$BM=m\in [0,1]$](http://latex.artofproblemsolving.com/d/0/6/d064d3471cc0933c43893a5314e8b81656b58018.png)





Since division























Proof 4. Suppose w.l.o.g.

![$BM=m\in [0,1]$](http://latex.artofproblemsolving.com/d/0/6/d064d3471cc0933c43893a5314e8b81656b58018.png)





Since division



















Otherwise, denote























Otherwise, observe that











Remarks. If denote




where




Final. Let

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


Remark. If



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

![$[F_1F_2]$](http://latex.artofproblemsolving.com/4/4/d/44d165139242ee0074f564d8cb933279e6d1a6d6.png)

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







PP2. Let






Proof 1 (metric). Suppose w.l.o.g.


















Remark. The area
![$[XAY]=\frac 12\cdot [ABC]$](http://latex.artofproblemsolving.com/e/e/f/eef22d6eefe2f73ac20f35cf9b40e584d6ee198a.png)








Proof 2 (synthetic). Rotate around about the point









This post has been edited 64 times. Last edited by Virgil Nicula, Dec 2, 2015, 11:12 AM