[/quote]
,
Prove that
Let 
Prove that
Let 
Prove that
with with circumcenter 
.
and 
intersect the altitude from 
to 
at points 
and 
respectively. 
is the circumcenter of triangle 
and 
is the reflection of 
is the second intersection of circumcircles of triangles 
and 
.
are collinear.
such that 
Lines 
and 
intersect line 
respectively at 
and 
.
intersects 
at 
intersects 
at 
and 
distinct points in a plane such the circumradius of any 
of them is the same.
,
lie on a line in this order and satisfy 
.
and 
be the midpoints of 
and 
,
is acute, and let 
be its orthocentre. Points 
and 
,
and 
and 
and 
such that for all 
such that 
.
.
at points 
,
to 
.
intersects line 
,
intersects line 
,
intersect at 
is tangent to 
.
be all positive integers smaller than 
such that 
for all 
is the largest positive integer that divides both 
and 
.
.
,
are chosen such that when going around the triangle, the points occur in the order 
.![\[
AD_1 = AD_2 = BE_1 = BE_2 = CF_1 = CF_2.
\]](http://latex.artofproblemsolving.com/4/c/f/4cf9e7bc009736836bcd10c1d8ba46bd3a91cd7b.png)
Prove that the perimeters of the triangles formed by the triplets 
and 
are equal.
and 
,
such that![\[
\sqrt{n + a} + \sqrt{n + b} \in \mathbb{Z}.
\]](http://latex.artofproblemsolving.com/5/4/d/54d20546de5736770a9929ac86163e3b06553b7d.png)
![\[
x = \sqrt{n + a} + \sqrt{n + b} \in \mathbb{N}.
\]](http://latex.artofproblemsolving.com/6/6/8/668d53723d307556536736fda0e4a19be848834f.png)
![\[
x^2 = (\sqrt{n + a} + \sqrt{n + b})^2 = (n + a) + (n + b) + 2\sqrt{(n + a)(n + b)}.
\]](http://latex.artofproblemsolving.com/1/9/f/19f2627a432354a757d3c9e8ba42e96f83f46726.png)
So:![\[
x^2 = 2n + a + b + 2\sqrt{(n + a)(n + b)}.
\]](http://latex.artofproblemsolving.com/0/7/3/073602693604bbf3cb1f5c1c2e5051e8994a5e78.png)
![\[
\sqrt{(n + a)(n + b)} \in \mathbb{N}.
\]](http://latex.artofproblemsolving.com/1/1/4/11441fab3ba768fee7a0eef4dbf68124d6637aec.png)
![\[
(n + a)(n + b) = k^2.
\]](http://latex.artofproblemsolving.com/0/e/c/0ec5e7bac2aebe9ec507727ed21f7ca028655222.png)
Assume 
.![\[
n + a \mid k \quad \text{and} \quad k \mid n + b,
\]](http://latex.artofproblemsolving.com/7/5/f/75fc52b6662df3a4c0cb2f40f49c4b3351c90a4d.png)
or it could also be that 
.![\[
(n + a)k_1 = k \quad \text{and} \quad kk_2 = n + b.
\]](http://latex.artofproblemsolving.com/1/f/5/1f5936241f7bebcf15c68fed5267bbfad2d40c2b.png)
![\[
k_1 k_2 = \frac{n + b}{n + a}.
\]](http://latex.artofproblemsolving.com/d/4/c/d4c1958e3554b58c3def282070f849842cc10912.png)
,![\[
k_1 k_2 = 1 + \frac{b - a}{n + a}.
\]](http://latex.artofproblemsolving.com/3/0/6/306a6a00c44d4e4db1b36c7e588f684f28fdbf44.png)
,
must be an integer, which is not possible.
and 
.
Y by Davi-8191, OlympusHero, FaThEr-SqUiRrEl, lc426, centslordm, Adventure10, Designerd, jhu08, megarnie, Numbertheorydog, HWenslawski, Kanimet0, ImSh95, Zhaom, Mango247, Rounak_iitr, Math_.only., ItsBesi
Two circles 
and 
intersect at two points 
and 
. Let 
be the line tangent to these circles at 
and 
, respectively, so that lies closer to than . Let 
be the line parallel to and passing through the point , with 
on and 
on . Lines 
and 
meet at 
; lines 
and meet at 
; lines 
and meet at 
. Show that 
.
and 
intersect at two points 
and 
. Let 
be the line tangent to these circles at 
and 
, respectively, so that lies closer to than . Let 
be the line parallel to and passing through the point , with 
on and 
on . Lines 
and 
meet at 
; lines 
and meet at 
; lines 
and meet at 
. Show that 
.
Hence KA=KB.
Hence 
cuts the tangent length segment AB at its midpoint C. Since 
,
are centrally similar with similarity center N. Hence, M is the midpoint of the segment PQ. The radii 
of the circles 
are isosceles and the angles 
are equal. Since the lines 
are parallel and 
,
are equal and similarly, the angles 
are also equal. Thus the diagonal AB of the quadrilateral AMBE bisects its opposite angles at the vertices A, B, which implies that this quadrilateral is a kite with AE = AM, BE = BM and and its diagonals 
are perpendicular to each other. Consequently, the lines 
are also perpendicular to each other. Since M is the midpoint of the segment PQ, the line EM is the perpendicular bisector of this segment. It follows that the triangle 
is isosceles with EP = EQ.
bisects 
.
is the radical axis of 
,
.
and 
be the projections of 
,
.
,
(as 
.
and 
.
be the point such that 
and 
.
.
bisects 
.
and 
is concyclic.
and it is known that 
is the midpint of 
is radical axis for 
circles. also we know that radical axis passes through the midpoints of comment tangents. Thus 
lies on the same line. 
is the midpoint of 
.
[*] the last equation follows from the fact that 
is cyclic.
,
,
and since 
,
.
.
,
.
and 
,
and 
and therefore proving 
is equivalent to proving 
since 
.
,
because 
.
and 
and therefore 
as desired. 
and 
are isosceles and 
so 
.
meets 
are not at all collinear.
is harmonic!
.
is cyclic, so 
.
.
,
by ASA congruency. Then 
is a kite, so 
,
,
,
.
,
are collinear, and 
are collinear, a homothety centered at 
is isosceles, and thus, 
.
It follows that 
and the claim follows. 
and 
.
,
and 
However, 
,
.
,
,
,
is isoceles with 
,
by a scale factor of 2.
to 
by congruence. 
as the point where they intersect has equivalent powers to the respective circles. From this we discover that 
due to the homothety at 
It then suffices to show 
.
![\[\angle EAB = \angle ECM = \angle ACM = \angle BAM. \]](http://latex.artofproblemsolving.com/6/4/e/64ea7480f2012c4f9052db0044dc365941c75e1e.png)
Similarly by symmetry, we find that 
Then by SAS, we conclude that 
as was to be shown. 
is a kite, so that 
as 
.
and 
so 
and 
.
As 
Taking the homothety centered at 
Then 
and similarly 
so by ASA congruence 
,
,
,
are reflections about 
=
from PoP we know 
and 
which means 
and since 
is a trapezoid, 
and we're done. label 
we know from 
that 
and 
being tangent that 
and 
the above facts indicate the similarity of 
so 
=> 
then clearly 
Therefore 
by the parallel lines.
Therefore 
and 
Similarly 
and 
Therefore, 
are the circumcenters of 
respectively so by Thales' Theorem it follows that 
Hence 
and we are done. QED
,
Thus, 
and 
and 
hence 
is a kite 
implying 
.
,
implies 
.
and 
.
![\[\measuredangle EAB = \measuredangle ACM = \measuredangle ANM = \measuredangle BAM = \measuredangle CMA\]](http://latex.artofproblemsolving.com/3/3/c/33cb77c57e505ab008a08d9152c6c0025237e8b4.png)
![\[\measuredangle EBA = \measuredangle BDM = \measuredangle BNM = \measuredangle ABM = \measuredangle DMB\]](http://latex.artofproblemsolving.com/1/7/b/17b761977cdf9496d808500e94dc78cebace60fd.png)
, implying that 
,
are isosceles. Therefore,![\[AE = AM = AC\]](http://latex.artofproblemsolving.com/0/5/9/059eab3cda6c66376c2362600d95b1f8aa3473db.png)
so 
,
.
,![\[LA = LB\]](http://latex.artofproblemsolving.com/4/a/1/4a15f4404bb42649f5bc6cf5f3df3284f9e64144.png)
and since 
,
,
,
.
,
,
bisects 
,
,
and similarly, 
.
.
,
is the perpendicular bisector of 
.
.
and 
,
.
and 
are isosceles. Furthermore, 
.
,
.
and similarly 
so 
and we're done
