is equal to
of each imon 
.
become entangled if and only if the original imons 
are entangled, and each copy 
Y by tenplusten, anantmudgal09, xhenisa, Problem_Penetrator, AlirezaSh, megarnie, Adventure10, Mango247, ItsBesi, Rounak_iitr, PikaPika999
Let 
be a convex quadrilateral with 
and 
. Let 
and 
be points on segments 
and 
, respectively, such that line 
intersects lines 
and 
at points 
and 
, respectively. It is given that 
.Let the midpoint of 
be 
and the midpoint of be 
.Prove that the points 
and 
lie on a circle.
be a convex quadrilateral with 
and 
. Let 
and 
be points on segments 
and 
, respectively, such that line 
intersects lines 
and 
at points 
and 
, respectively. It is given that 
.Let the midpoint of 
be 
and the midpoint of be 
.Prove that the points 
and 
lie on a circle.
implies 
,
and 
are right angled it follows that
too, done.
,
,
is an exterior angle of 
.
,
is a cyclic quadrilateral.
,
,
.
.
and easy angle-chasing yields that 
.
or 
is cyclic.
and 
simultaneously. (Thus triangles 
and 
play morally dual roles.)
,
,
.
because 
is median of 
from right angle 
.
and 
.
,
.
and we are done. 
(probably should have 
)
.
and 
be the feet of the altitudes from 
to 
are right triangles, 
is the reflection of 
over the angle bisector of 
.
the reflection of 
over the angle bisector of 
.
and 
are pairs of parallel lines, 
,
as desired.
and 
have common circumcenter at 
as desired.
concur. (And similarly, 
concur.)
Because 
we deduce that the point 
and 
Therefore,
and this proves that the points 
to the center of circumcircle 
(they become collinear in the new configuration) map to a circle in the original configuration?
are concyclic which isn't something projectivity saves .(for example a perspectivity).
and
are concyclic
and 
; 
, 
and 
and 
and 
is cyclic.
and 
,
, as desired.
and 
.
and 
.
and 
.
,
.
and 
,
.
and 
,
.
and 
is cyclic.
,
,
,
.
,
.
thus we have that 
is right angled and 
,
.
.
so 
while 
Notice 
so 
Similarly, we have 
.
,
by utilizing that 
.![\[ 2 \angle D = \angle CMA \]](http://latex.artofproblemsolving.com/3/a/8/3a8b36ccbda8fceedc7dd154d76a5ff32c5ae0ff.png)
and ![\[ \angle CNA= \angle CNQ +\angle ANQ = (180-2 \angle PQB )+(180 - 2 \angle NAP) = 360 - 2(\angle NPB+\angle PQB) = 2\angle D\]](http://latex.artofproblemsolving.com/b/8/d/b8d73ef5491777dee10d8704ffcec52ebdec59bd.png)
and 
THen, 
However, since 
Then, 
so 
hence done.
.
.
is cyclic qed.
,
and 
are medians in right angled triangles
and 
and 
.
and 
and 
.
.
,
.
are concyclic.
.
first. We can see that ![\[\angle AMC = \angle AMB + \angle BMC \Rightarrow \angle MAB + \angle MCB = 180 - \frac{\angle AMC}{2} \Rightarrow \angle ADC = \angle DAM + \angle DCM = \frac{\angle AMC}{2} \]](http://latex.artofproblemsolving.com/8/1/c/81cf2d0379146053a72a4344390ea566a6132168.png)
For 
we have ![\[ \angle ANC = \angle ANP + \angle NQC \Rightarrow \angle NAP + \angle NCQ = 180 - \frac{\angle ANC}{2} \Rightarrow \angle DAN + \angle ANC + \angle NCD + \angle ADC = 360\]](http://latex.artofproblemsolving.com/9/f/a/9fa8b658acf10bcdadc56a3da61dd31443fdc762.png)
(note that this is not convex). Thus we can see that, 
.
since 
as well. Thus, we have![\[\angle ANC = \angle ANP + \angle QNC = 2(\angle ASP + \angle QRC) = 2(\angle DSR+\angle DRS) = 2 \angle ADC\]](http://latex.artofproblemsolving.com/6/9/3/693a0fa7cfa075bff940970e133c24706e1c604c.png)
.
,![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(10cm);
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */
pen dotstyle = black; /* point style */
real xmin = -3.574715947923021, xmax = 10.84089483568482, ymin = -2.17273844548352, ymax = 6.725248240918899; /* image dimensions */
/* draw figures */
draw((0,4)--(0,0), linewidth(1));
draw((0,0)--(3,0), linewidth(1));
draw((3,0)--(3.996502867506914,2.1321871118141122), linewidth(1));
draw((3.996502867506914,2.1321871118141122)--(0,4), linewidth(1));
draw((0,4)--(0,4.647781263843776), linewidth(1));
draw((0,4.647781263843776)--(5.031359934663131,0), linewidth(1));
draw((5.031359934663131,0)--(3,0), linewidth(1));
draw((0,4)--(3,0), linewidth(1));
draw((1.5,2)--(2.5156799673315655,2.323890631921888), linewidth(1));
draw((2.5156799673315655,2.323890631921888)--(3.996502867506914,2.1321871118141122), linewidth(1));
draw((1.5,2)--(0,0), linewidth(1));
draw((0,0)--(3.996502867506914,2.1321871118141122), linewidth(1));
draw((0,0)--(2.5156799673315655,2.323890631921888), linewidth(1));
draw((1.5,2)--(3.996502867506914,2.1321871118141122), linewidth(1));
/* dots and labels */
dot((0,0),dotstyle);
label("$A$", (0.0054334115247282,-0.15628020336219746), NE * labelscalefactor);
dot((3,0),dotstyle);
label("$B$", (3.04425208963368,0.03628020336219746), NE * labelscalefactor);
dot((0,4),dotstyle);
label("$D$", (0.03554334115247282,4.008193333153482), NE * labelscalefactor);
dot((3.996502867506914,2.1321871118141122),dotstyle);
label("$C$", (4.036552075494734,2.1435417113706215), NE * labelscalefactor);
dot((3.6125462655944176,1.3106467582555346),dotstyle);
label("$Q$", (3.654898234778944,1.314807657244906), NE * labelscalefactor);
dot((1.419326061944203,3.336661176302054),dotstyle);
label("$R$", (1.413114749525407,3.4030252107631043), NE * labelscalefactor);
dot((5.031359934663131,0),linewidth(4pt) + dotstyle);
label("$P$", (5.032469643151878,0.05447141246415232), NE * labelscalefactor);
dot((0,4.647781263843776),linewidth(4pt) + dotstyle);
label("$S$", (0.04554334115247282,4.6297438737477675), NE * labelscalefactor);
dot((1.5,2),linewidth(4pt) + dotstyle);
label("$M$", (1.439445517668565,2.0908801750843056), NE * labelscalefactor);
dot((2.5156799673315655,2.323890631921888),linewidth(4pt) + dotstyle);
label("$N$", (2.514458689876687,2.40710764310596), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/5/0/9/509946b0e53fcd1756488fc088bcc320d8fb5936.png)
,
is the midpoint of 
is cyclic. 
is cyclic with center 
and 
.
.
and 
So![\[\angle ANC=\angle CNQ+\angle ANP=2(\angle CRQ+\angle ASP)=2(\angle DRS+\angle DSR)=2\angle ADC=\angle AMC.\]](http://latex.artofproblemsolving.com/4/e/2/4e2dff70690e60d36a29b7eb197cea9c39d0eff1.png)
while 
Therefore, 
and the desired result follows. QED
and 
obviously. Also, 
which finishes.
