[/quote]
,
and 
. Prove that
Where 
such that: 
.
be a cyclic quadrilateral, and let 
,
,
,
be the midpoints of 
,
,
,
respectively. Let 
,
,
and 
be the orthocenters of triangles 
,
,
and 
,
have the same area.
be positive real numbers such that : 
. Prove that : 
,![\[
A = \left\{ r \, \middle| \, r = \frac{a}{3}\left(\frac{1}{x} + \frac{1}{y} + \frac{1}{z}\right) + b\sqrt[3]{xyz}, \quad x, y, z \in \left[1, \frac{a}{b}\right] \right\},
\]](http://latex.artofproblemsolving.com/e/9/2/e92becb6264b8e5a9753f2288436a48523a25f29.png)
and![\[
B = \left[2\sqrt{ab}, a + b\right].
\]](http://latex.artofproblemsolving.com/2/d/2/2d25aa634389b768dc26408480bb71b316c0bf17.png)
.
be an acute triangle with incentre 
and 
.
and 
intersect the circumcircle of 
and 
,
and 
such that 
and 
are parallelograms (with 
,
)
be the point of intersection of lines 
and 
.
,
,
be all positive integers smaller than 
such that 
for all 
is the largest positive integer that divides both 
and 
.
.
be a set with seven elements, where each element is a positive integer not exceeding 
.
)![\[
x_1 + x_2 + \cdots + x_t = x_{t+1} + x_{t+2} + \cdots + x_m
\]](http://latex.artofproblemsolving.com/7/0/7/707e7e9a0ce45adb307545bbc88c1f0bf90ca0c9.png)
has a solution in the set 
,
are all distinct.
![\[
(AB + CD)^2 + (AD + BC)^2 = (AC + BD)^2,
\]](http://latex.artofproblemsolving.com/7/d/a/7daf2d6ac00609b5252b2b8b05d96a5ca0952a94.png)
then 
touch sides 
at 
,
lie on the line through 
perpendicular to 
be the intersections of 
with 
,
be the projections of 
onto line 
be the second intersections of 
with the incircle 
and 
.
bisects segment 
.
can we find three positive integers 
,
and 
such that 
?
satisfy both of the following conditions.
,
,
.
that satisfies the equation 
and 
.
,
,
-
,
.
at 
.
parallel to 
meets 
.
is constant.
Y by tenplusten, Davi-8191, yshk, ImSh95, Adventure10, Mango247, Rounak_iitr
Let 
be a convex quadrilateral and let 
and 
be points in such that 
and 
are cyclic quadrilaterals. Suppose that there exists a point 
on the line segment 
such that 
and 
. Show that the quadrilateral is cyclic.
Proposed by John Cuya, Peru
be a convex quadrilateral and let 
and 
be points in such that 
and 
are cyclic quadrilaterals. Suppose that there exists a point 
on the line segment 
such that 
and 
. Show that the quadrilateral is cyclic.Proposed by John Cuya, Peru
.
be the mirror of 
after the inversion.
and four points 
lie on a circle. These imply that the quadrilateral 
is an isosceles trapezoid. Similarly, we also have the isosceles trapezoid 
.
form an isosceles trapezoid with the perpendicular bisector of 
follows the cyclic quadrilateral 
be points on 
such that 
are cyclic quadrilateral.
are cyclic quadrilateral then 
we get 
thus 
the intersection of 
and 
then 
are collinear, similarly 
are collinear
are collinear.
and 
.
,
(1).
(2).
(3).
the distance from point 
and denote by ![$ [MNK]$](http://latex.artofproblemsolving.com/1/c/c/1ccf243c1704482b184f4d1b66cfb4fb4dfaa250.png)
the area of the triangle 
.![$ \frac {BP \cdot PC} {BQ \cdot QC} = \frac {[BPC]} {[BQC]} = \frac {d(P;BC)} {d(Q;BC)}$](http://latex.artofproblemsolving.com/7/0/9/709a1807afc0b7b44d3c6dca8b528378a987c863.png)
.
.
(*).
.
(from cyclic quadrilateral 
)
(from cyclic quadrilateral APQD), implying 
,
(easily follows from 
and 
and then do a bit of algebra.
(*). But using 
etc, (*) is equivalent to 
which is relation 3 from lasha's solution :
and 
are cyclic, it follows that 
and that 
.![\[\frac{PE}{EQ}=\frac{PC \cdot \sin{\angle{PCE}}}{QC \cdot \sin{\angle{QCE}}}=\frac{PB \cdot \sin{\angle{PBE}}}{QB \cdot \sin{\angle{EBQ}}}\]](http://latex.artofproblemsolving.com/a/5/1/a51d1ab13e191e2a69411789e97f62f6e35037dc.png)
![\[\left( \frac{PE}{EQ} \right)^2 = \frac{PC \cdot \sin{\angle{PCE}}}{QC \cdot \sin{\angle{QCE}}} \cdot \frac{PB \cdot \sin{\angle{PBE}}}{QB \cdot \sin{\angle{EBQ}}} = \frac{PC}{QC} \cdot \frac{PB}{QB}\]](http://latex.artofproblemsolving.com/9/e/5/9e52aafedfb66f61486e72ba130c638047229691.png)
at 
and 
and hence that![\[\left( \frac{PE}{EQ} \right)^2 = \frac{PC}{QB} \cdot \frac{PB}{QC} = \frac{XP}{XB} \cdot \frac{XB}{XQ}=\frac{XP}{XQ}\]](http://latex.artofproblemsolving.com/d/e/6/de6167969c52bc822b7f5be3db36b2eb62ca4ede.png)
and ![\[\frac{XP}{XQ} = \left( \frac{PE}{EQ} \right)^2 = \frac{YP}{YQ}\]](http://latex.artofproblemsolving.com/d/c/5/dc5f23a02779da756346db28a80a903e8db3335e.png)
and 
which implies that 
and 
.$](http://latex.artofproblemsolving.com/3/5/7/357a4200c0185a90bee7dd3962377bd7d20d9cf7.png)
denote the power of 
is cyclic and 
,
.
,
.
and 
,=[ADPQ](T)$](http://latex.artofproblemsolving.com/1/0/8/108a43aeda32d88f98b1d4685c2ead4db7508833.png)
and =[ADE](T)$](http://latex.artofproblemsolving.com/d/d/c/ddc0a9516a7f661271343104deae46ff9ee26350.png)
.=[BCE](T)$](http://latex.artofproblemsolving.com/4/7/9/47927036f51eb7eb4de6ba1ddd0bed3f4da56a02.png)
,=[ADPQ](T)$](http://latex.artofproblemsolving.com/c/f/7/cf7567f3ce21722131fec921943e0e886155aafb.png)
implying 
,
is cyclic.
is tangent to 
and 
is cyclic
and 
intersect at 
and 
intersect at 
bisects 
and 
bisects 
.
be points, and let 
and let 
such that 
is cyclic. Prove that 
passes through the circumcenter 
of 
.
and 
are both isosceles trapezoids by the angle condition, so 
is tangent to 
is cyclic, and see what you can notice.
.
is cyclic. Then note that 
,
.
,
.
is cyclic, then
,
.
,
,
,
,
.
and 
,
be the intersection of 
.
,
.
,
)
,
,
and 
are cyclic, therefore ![\[\angle Q'P'A'=\angle PP'A'=\angle PAA'=\angle PAE=\angle QDE=\angle QDD'=\angle QQ'D'=\angle P'Q'D'\]](http://latex.artofproblemsolving.com/4/0/4/404fbb18392d820ffa36df843d8892b96ecee70f.png)
so 
and 
share a perpendicular bisector. Similarly, 
and 
is an isosceles trapezoid and therefore is cyclic.
cut circle 
again at 
.
,
and 
similarly.
,
and 
both being isosceles trapezoids. In particular, 
itself must be an isosceles trapezoid, and is thus a cyclic quadrilateral.
for 
,
,
and 
.
so 
is an isoceles trapezoid with 
.
is an isosceles trapezoid with 
.
is an isosceles trapezoid and is therefore cyclic, so 
must be sent to cyclic isosceles trapezoids, so 
,
be the second intersections of 
with lines 
and 
respectively. Note that by the angle condition, 
.
is tangent to 
.
,
is tangent to 
.
and 
be the reflection of 
and 
.
,
are concyclic.
is cyclic and 
,
,
and the circumcircle of 
.
and 
and 
and 
so we can solve that 
and 
so 
become isosceles trapezoids from which 
Therefore 
is tangent to 
Similarly 
is tangent to 
If any of 
do not exist then it is easy to show by symmetry that 
and then 
Therefore either 
or 
and 
Hence 
so by symmetry 
are reflections of each other over the perpendicular to 
and similarly for 
and thus 
a contradiction. QED
