[/quote]
,
grid has 
cells painted such that the following condition holds:
and it's circumcircle 
that intersects arc 
of circle 
,
,
of lines 
and 
lies on circle 
is perpendicular on line 
.
,
,
by the recurrence![\[
a_{n+1} = a_n^2 + 1
\]](http://latex.artofproblemsolving.com/3/1/1/3114595ded8c8961d611afaab9ad19e254973001.png)
Prove that there is no natural number 
such that![\[
\prod_{k=1}^{n} \left( a_k^2 + a_k + 1 \right)
\]](http://latex.artofproblemsolving.com/a/4/f/a4f88ee7e3d4e53e369319f74cd9b12be26c9681.png)
is a perfect square.
be distinct real numbers such that![\[
a + b + c + \frac{1}{abc} = \frac{19}{2}
\]](http://latex.artofproblemsolving.com/5/1/e/51eef77358db2b6c98f0fb0fb4e30db837a03642.png)
Find the maximum possible value of 
.
be a real numbers such that 
P
Where 
Let 
meet again 
at 
Called 
be the midpoint of 
Prove that 
and 
Prove that
Let 
Prove that
.
Let 
.
-
are colored red and blue in an alternating fashion.
-
diagonals 
are concurrent.
.
such that there exists a non-negative integer 
for which the set 
is fragrant?
having the following property: for any integers 
whose sum is not divisible by 
,
such that none of the numbers 
is divisible by 
when 
.
of integers is rootiful if, for any positive integer 
,
are also in 
for positive integers 
cards is given. A positive integer is written on each card. The deck has the property that the arithmetic mean of the numbers on each pair of cards is also the geometric mean of the numbers on some collection of one or more cards.
Y by adityaguharoy, EthanTAoPS, mathematicsy, Adventure10, Mango247, eggymath
Let 
be an isosceles trapezoid with 
. Let 
be the midpoint of 
. Denote by 
and 
the circumcircles of the triangles 
and 
, respectively. Let 
be the crossing point of the tangent to at 
with the tangent to at 
. Prove that 
is tangent to .
Jakob Jurij Snoj, Slovenia
be an isosceles trapezoid with 
. Let 
be the midpoint of 
. Denote by 
and 
the circumcircles of the triangles 
and 
, respectively. Let 
be the crossing point of the tangent to at 
with the tangent to at 
. Prove that 
is tangent to .Jakob Jurij Snoj, Slovenia
This post has been edited 2 times. Last edited by math90, Feb 23, 2019, 3:30 PM
Reason: Thanks #13
Reason: Thanks #13
be the midpoint of 
.
and 
be the tangents to 
and 
be the tangents to 
and 
at 
and 
respetively and let 
be on 
is tangent to 
and 
,
This clearly implies that the pencil 
is harmonic, thus 
and 
are concurrent. Analogously 
and 
lies on both 
be the intersection of tangents from 
.
is tangent to 
which would give from symmetry that 
is tangent to 
and we would be done.
be a triangle and 
such that 
is tangent to 
such that 
.
and 
is tangent to 
.
is tangent to 
and 
so ![\[\frac{AE}{EF}=\frac{CE}{EF} = \frac{DE}{DF}=\frac{DP'}{DF}.\]](http://latex.artofproblemsolving.com/6/9/2/6923fa6d068b7ddab61d407efe1b5a531bc1ce6a.png)
Also, ![\[\angle P'DF = \angle ECF + \angle CFE = \angle AEF.\]](http://latex.artofproblemsolving.com/d/1/2/d127371d7896a3c9de0c4a60b27cb620e21f01ba.png)
Therefore 
so 
and we are done. 
.
.
.
.
,
are tangent to 
and 
,
and 
are cyclic trapezoids. We use complex numbers with respect to 
.![[asy] pair C = dir(130); pair E = dir(210); pair D = dir(330); pair F = C*D/E; pair A = 2*E-C; pair B = 2*F-D; filldraw(unitcircle, invisible, deepcyan); draw(A--B--C--D--cycle, lightred); draw(E--F, orange); draw(B--A, orange); draw(C--D, orange); draw(C--A, lightred); draw(B--D, lightred); pair P = 2*E*D/(E+D); draw(E--P--D, deepcyan); draw(E--D, deepcyan); draw(P--A, deepcyan); draw(circumcircle(E, F, A), dotted+deepgreen); pair O = origin; pair M = midpoint(E--D); draw(O--P, dotted+blue);
dot("$C$", C, dir(C)); dot("$E$", E, dir(E)); dot("$D$", D, dir(D)); dot("$F$", F, dir(F)); dot("$A$", A, dir(A)); dot("$B$", B, dir(B)); dot("$P$", P, dir(P)); dot("$O$", O, dir(10)); dot(M);
/* TSQ Source:
C = dir 130 E = dir 210 D = dir 330 F = C*D/E A = 2*E-C B = 2*F-D unitcircle 0.1 lightcyan / deepcyan A--B--C--D--cycle lightred E--F orange B--A orange C--D orange C--A lightred B--D lightred P = 2*E*D/(E+D) E--P--D deepcyan E--D deepcyan P--A deepcyan circumcircle E F A dotted deepgreen O = origin R10 M .= midpoint E--D R315 O--P dotted blue
*/ [/asy]](http://latex.artofproblemsolving.com/1/8/a/18a939e1b4d8fa056a652df77ec696d784e2c079.png)
,
,
,
.
as the intersection of the tangents to 
is tangent to 
.![\[ \frac{F-A}{P-A} = \frac{\frac{xz}{y} - (2y-x)}{\frac{2yz}{y+z} - (2y-x)} = \frac{y+z}{y} \frac{2xz-y(2y-x)}{2yz-(y+z)(2y-x)} = \frac{y+z}{y}. \]](http://latex.artofproblemsolving.com/7/c/a/7ca1114e69fd014d5e68d61d20ec21131333101a.png)
Hence 
equals 
,
is the center of 
.
.
as 
.
are concyclic
.
.
is tangent to 
.
is tangent to 
.
,
tangent to 
.
as unit circle and let 
.
is tangent to 
.
and 
and as 
we have 
so 
So we have 
Now 
and 
Hence we are done.
be the point such that 
,
meet 
.
be the midpoints of 
.
is tangent to 
are collinear. Since 
,
,
. We that 
by spiral similarity, Thus
, but since 
,
.
?
be the intersection of tangents to 
at points 
be the intersection of tangents to 
at points 
.
and 
are similar (since 
and 
)
,
is cyclic. From 
we obtain that 
.
implies similarity 
and 
.
Analagously, triangles 
and 
similar to 
,
Now, note that
But points 
,
.
.
at 
concur and the tangents to 
at 
concur. But 
and 
are tangent, so the problem follows.
are cyclic. If 
,
.
be the lines tangent to 
are concurrent. In fact, we'll even show that 
concur.
.
and 
is the 
H
.
is the midpoint of 
,
by the Midpoint Theorem. Inverting back, we see that 
is tangent to 
,
concur.
.
are tangent to 
such that 
and 
are isosceles and 
so 
is isosceles trapezoid 
(because 
)
as desired
.
hit 
at 
.
to 
are collinear.
is tangent to 
.
so 
.
is a parallelogram, so 
.
and 
.
is cyclic![\[\measuredangle JFI=\measuredangle PFI=\measuredangle FBA=\measuredangle FDC =\measuredangle FDE+\measuredangle EDC=\measuredangle FEI+\measuredangle JEF=\measuredangle JEI\]](http://latex.artofproblemsolving.com/9/8/4/984d4fded19dda1110f5c780b205e19e4b1663b5.png)
.
and 
.![\[-1=(PJ;FG)\overset{\infty_{FH}}{=}(PI;HE)\overset{F}{=}(FA;HE)\]](http://latex.artofproblemsolving.com/b/d/c/bdc1f0ef7c9ae9f351d24a73363dbf5c6ca1cd95.png)
Hence 
is a symmedian and thus 
and 
and 
.
.
.
.![\[ f(C)-f(D) = (CK \cdot CA - CE \cdot CK) - (DF \cdot DK - 0) = CK \cdot EA - DF \cdot DK= CK \cdot EC - DF \cdot DK = 0, \]](http://latex.artofproblemsolving.com/6/d/e/6de386e1216d6feca8ce05fb24c828ed559e4d94.png)
as desired.
.
is an isosceles trapezoid, the center of 
lies on 
,![\[ \angle PKA = \angle PFA = \angle FEA, \]](http://latex.artofproblemsolving.com/3/2/e/32e8ba8da231a7eda9f2e454212ef386ad717541.png)
which implies the desired parallelism.
.
.
,
,
,
as the unit circle and redefine 
and 
are tangent to 
However clearly we have,
Also we have,
Then dividing we have,
Taking the conjugate this is simply,
and so we find 
proving the tangency.
and 
Then, 
are collinear as:![\[\measuredangle BFE = \measuredangle BAE = \measuredangle ACD = -\measuredangle EFD.\]](http://latex.artofproblemsolving.com/7/1/7/717d28d63b1554fedd4bdaa7ad5fd8872c334eac.png)
as![\[\measuredangle BFE = \measuredangle BAC = \measuredangle BDC = \measuredangle FDC.\]](http://latex.artofproblemsolving.com/1/8/7/1872672f518cbdf135517687d56b7a0c62a49241.png)
as the unit circle.
,
,
We compute
![\[\frac{\frac{1}{e^2} - \frac{1}{cd}}{(\frac{1}{d} + \frac{1}{e})(\frac{1}{c}-\frac{1}{e})} = \frac{cd-e^2}{(e+d)(e-d)} = \frac{a-p}{a-f} \div \frac{e-a}{e-f}.\]](http://latex.artofproblemsolving.com/2/e/1/2e144edf7dc25e65b04f3606de6928498413c573.png)
giving us 
as needed.
.![\[a=2e-c\]](http://latex.artofproblemsolving.com/0/f/8/0f89e6df3032e86bc540119077be8993babb3d74.png)
and,![\[b=-\overline{a}=-\overline{2e-c}=\frac{e-2c}{ce}\]](http://latex.artofproblemsolving.com/b/8/0/b80da8d0030226d1baacd6e82d47f3977fc3b3c3.png)
Let 
)
Now, we wish to show 
.![\[\arg \left(\frac{e-a}{p-a}\right)=\arg\left(\frac{e-b}{a-b}\right)\]](http://latex.artofproblemsolving.com/4/5/b/45b5282e706b028874de9dd08cb80bbbae1c94b3.png)
Thus, we must have 
.
Now, we also have that,
Thus, 
and indeed, 
which implies that 
Since 
we have 
so 
Let 
be the intersection of 
cyclic so 
but this implies 
are tangent to 
Similarly we get 
are tangent to 
so we are done.
![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(10.521269841269856cm);
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 = 1.253354497354498, xmax = 14.774624338624355, ymin = -4.519809523809521, ymax = 1.9744973544973539; /* image dimensions */
pen qqzzcc = rgb(0.,0.6,0.8); pen ccccff = rgb(0.8,0.8,1.); pen qqccqq = rgb(0.,0.8,0.); pen ttffcc = rgb(0.2,1.,0.8); pen zzwwff = rgb(0.6,0.4,1.); pen zzffqq = rgb(0.6,1.,0.); pen ccwwff = rgb(0.8,0.4,1.); pen ffqqff = rgb(1.,0.,1.); pen afeeee = rgb(0.6862745098039216,0.9333333333333333,0.9333333333333333); pen ffdxqq = rgb(1.,0.8431372549019608,0.); pen ffcqcb = rgb(1.,0.7529411764705882,0.796078431372549);
draw((4.374406723856454,-0.2667693776957385)--(5.536649473250011,-1.6410921261999398)--(2.94,-4.24)--cycle, linewidth(1.) + ffcqcb);
draw((4.374406723856454,-0.2667693776957385)--(8.380754882891011,-1.6058954569210449)--(5.720585931236688,0.9279576903792971)--cycle, linewidth(1.) + ffcqcb);
/* draw figures */
draw((5.720585931236688,0.9279576903792971)--(8.133298946500023,0.9578157476001203), linewidth(1.) + qqzzcc);
draw((2.94,-4.24)--(11.040923834545335,-4.139748604221387), linewidth(1.) + qqzzcc);
draw((2.94,-4.24)--(5.720585931236688,0.9279576903792971), linewidth(1.) + qqzzcc);
draw((8.133298946500023,0.9578157476001203)--(11.040923834545335,-4.139748604221387), linewidth(1.) + qqzzcc);
draw((2.94,-4.24)--(8.133298946500023,0.9578157476001203), linewidth(1.) + ccccff);
draw((5.720585931236688,0.9279576903792971)--(11.040923834545335,-4.139748604221387), linewidth(1.) + ccccff);
draw(circle((7.009262499434532,-5.709075934721522), 4.3263242355702), linewidth(1.) + qqccqq);
draw(circle((6.944189219675456,-0.4507582933744881), 1.8433835117349662), linewidth(1.) + ttffcc);
draw((4.374406723856454,-0.2667693776957385)--(5.720585931236688,0.9279576903792971), linewidth(1.) + zzwwff);
draw((4.374406723856454,-0.2667693776957385)--(8.380754882891011,-1.6058954569210449), linewidth(1.) + zzffqq);
draw((2.94,-4.24)--(4.374406723856454,-0.2667693776957385), linewidth(1.) + zzffqq);
draw((4.374406723856454,-0.2667693776957385)--(5.536649473250011,-1.6410921261999398), linewidth(1.) + zzwwff);
draw((5.536649473250011,-1.6410921261999398)--(5.720585931236688,0.9279576903792971), linewidth(1.) + blue);
draw((8.380754882891011,-1.6058954569210449)--(8.133298946500023,0.9578157476001203), linewidth(1.) + blue);
draw((8.380754882891011,-1.6058954569210449)--(5.536649473250011,-1.6410921261999398), linewidth(1.) + blue);
draw((5.536649473250011,-1.6410921261999398)--(11.040923834545335,-4.139748604221387), linewidth(1.) + ccwwff);
draw((8.380754882891011,-1.6058954569210449)--(2.94,-4.24), linewidth(1.) + ccwwff);
draw(circle((5.659297971765954,-0.35876383553511265), 1.2881803054027774), linewidth(1.) + ffqqff);
draw((4.374406723856454,-0.2667693776957385)--(6.941519152374644,-0.23500058078616584), linewidth(1.) + afeeee);
draw(circle((5.691834611645495,-2.987922656208629), 3.02329148523356), linewidth(1.) + ffdxqq);
draw((4.374406723856454,-0.2667693776957385)--(5.536649473250011,-1.6410921261999398), linewidth(1.) + ffcqcb);
draw((5.536649473250011,-1.6410921261999398)--(2.94,-4.24), linewidth(1.) + ffcqcb);
draw((2.94,-4.24)--(4.374406723856454,-0.2667693776957385), linewidth(1.) + ffcqcb);
draw((4.374406723856454,-0.2667693776957385)--(8.380754882891011,-1.6058954569210449), linewidth(1.) + ffcqcb);
draw((8.380754882891011,-1.6058954569210449)--(5.720585931236688,0.9279576903792971), linewidth(1.) + ffcqcb);
draw((5.720585931236688,0.9279576903792971)--(4.374406723856454,-0.2667693776957385), linewidth(1.) + ffcqcb);
/* dots and labels */
dot((2.94,-4.24),dotstyle);
label("$D$", (2.984486772486775,-4.140804232804229), NE * labelscalefactor);
dot((11.040923834545335,-4.139748604221387),dotstyle);
label("$C$", (11.087005291005303,-4.038370370370367), NE * labelscalefactor);
dot((5.720585931236688,0.9279576903792971),dotstyle);
label("$A$", (5.760444444444451,1.0321058201058202), NE * labelscalefactor);
dot((8.133298946500023,0.9578157476001203),linewidth(4.pt) + dotstyle);
label("$B$", (8.177883597883607,1.0423492063492064), NE * labelscalefactor);
dot((5.536649473250011,-1.6410921261999398),linewidth(4.pt) + dotstyle);
label("$F$", (5.576063492063498,-1.5594708994708977), NE * labelscalefactor);
dot((8.380754882891011,-1.6058954569210449),linewidth(4.pt) + dotstyle);
label("$E$", (8.423724867724877,-1.528740740740739), NE * labelscalefactor);
dot((4.374406723856454,-0.2667693776957385),linewidth(4.pt) + dotstyle);
label("$P$", (4.418560846560851,-0.186857142857142), NE * labelscalefactor);
dot((6.941519152374644,-0.23500058078616584),linewidth(4.pt) + dotstyle);
label("$H$", (6.979407407407415,-0.15612698412698328), NE * labelscalefactor);
dot((6.95930697350111,-2.2940798130382745),linewidth(4.pt) + dotstyle);
label("$J$", (6.999894179894187,-2.215047619047617), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/5/1/1/511bf5d5f136ae9336eb3ab6a761d5d2edaa717e.png)
,
cyclic.
congruent to 
as the unit circle and let 
Now redefine 
and due to reflection 
,
Therefore 
thus 
and let 
.
but notice that 
so 
we similarly get 
,
and the conclusion follows from the quadrilateral 
and noting that 
.
with point 
and 
and 
so LOS in 
and 
gives the desired conclusion.
and 
so 
is cyclic. This gives 
so 
,
.![\[\frac{de(d-f)}{(d+e)(2de-ef-2df+d^2)}\in\mathbb{R}.\]](http://latex.artofproblemsolving.com/3/0/b/30b58adf8f03e2f385864c3349853759e7e214e3.png)
This is not hard to do.
.
,
.
.![\[p'=\frac{2de}{d+e}=\frac{2e}{1+ec}.\]](http://latex.artofproblemsolving.com/4/1/7/417ae11a5454f876e23ac868dc5ddbc2d5412645.png)
Then,![\[P=P'\iff P'\in AA \iff \angle P'AE=\angle ABE,\]](http://latex.artofproblemsolving.com/b/5/8/b586a1cf9dd5d4b6f5de97c2a1d668d8072a9f68.png)
so![\[\frac{\left(\frac{p'-a}{e-a}\right)}{\left(\frac{a-b}{e-b}\right)}=\frac{c(1+ec-2e^2)(-2c+e+e^2c)}{(1+ec)(c-e)(2e^2c-ec^2-2c+e)}.\]](http://latex.artofproblemsolving.com/a/e/2/ae2144bdb801dc46cef362dae3d3d7337d3c9c8a.png)
Conjugating,![\[\left(\overline{\frac{c(1+ec-2e^2)(-2c+e+e^2c)}{(1+ec)(c-e)(2e^2c-ec^2-2c+e)}}\right)=\frac{\left(\frac{1}{c}\right)\left(\frac{e^2c+e-2c}{e^2c}\right)\left(\frac{-2e^2+ec+1}{e^2c}\right)}{\left(\frac{1+ec}{ec}\right)\left(\frac{e-c}{ec}\right)\left(\frac{2c-e-2e^2c+ec^2}{e^2c^2}\right)},\]](http://latex.artofproblemsolving.com/9/a/b/9ab4459c48b173ef5767c636fe71efa40884090c.png)
![\[=\frac{c(1+ec-2e^2)(-2c+e+e^2c)}{(1+ec)(c-e)(2e^2c-ec^2-2c+e)}.\]](http://latex.artofproblemsolving.com/1/6/d/16dda72c8c369411b68e74350377f435462bf002.png)
They are equal, so 
.
to 
.
and 
of 
and 
and showing with lengths that 
.
as well.
to 
.
,
and 
are similiar, implying 
,
be the center of 
and 
First, I claim that the midpoint of 
is 
Since the perpendicular bisector of 
we know that 
We also have that the distance from 
and 
are the same, and hence 
be 
such that 
We can compute 
Let 
for some 
Then, we have that 
Thus, 
and hence 
is 
Now, define 
are both tangent to 
We know that 
.
We will do this by proving that 
We have that:
Thus, we have that they are perpendicular, and hence we are done.
Then, let 
It follows that the complex numbers representing 
and 
and 
respectively.
is tangent to 
because this will imply that 
First, note that the complex number representing 
Also, since 
Then, in order to show that 
is tangent to 
We have
and we find that 
so we are done. 
