[/quote]
,
be the orthocenter of acute triangle 
,
be the foot of the altitude from 
to 
,
be the reflection of 
.
intersects line 
.
.
is tangent to the circumcircle of triangle 
and 
are the midpoints of segments 
respectively, then line 
and line 
intersect 
and 
respectively. Line 
and line 
intersect the circumcircle of triangle 
of 
.
pairwise disjoint, non-empty subsets 
such that 
and 
be positive real numbers, such that 
.![\[ (a^2 - a + 1)(b^2 - b + 1)(c^2 - c + 1) \ge 1. \]](http://latex.artofproblemsolving.com/e/9/d/e9d9385c60d7f3d0854fe16687e0361713579740.png)
,
be the maximum number of points inside or on the sides of a regular 
-
such that the distance between any two points is greater than 
for 
.
and a polynomial 
with real coefficients of degree 
)![\[
Q(x) \;=\; P(x) \;+\; a\,P'(x) \;+\; a^2\,P''(x) \;+\; \dots \;+\; a^n\,P^{(n)}(x)
\]](http://latex.artofproblemsolving.com/6/5/e/65e5e4eefcadd5d0019b4929b3472cdf203c13aa.png)
has no real roots.
that forms an angle of 
or 
with the positive horizontal semi-axis intersects 
points or at no points.
is called good, if 
are non-negative integers, and 
is either 
or 
.
such that 
Suppose Ivan starts with the least possible number of ones to obtain 
after some steps, determine the minimum number of steps he will need in order to do so.
Y by Davi-8191, PiMath12345, phoenixfire, super.shamik, sotpidot, HamstPan38825, son7, icematrix2, HWenslawski, samrocksnature, Jc426, Instance, math31415926535, mathematicsy, megarnie, centslordm, Ruy, Lamboreghini, nguyenducmanh2705, Stuffybear, Adventure10, Mango247, A21, Rounak_iitr
Quadrilateral 
is inscribed in circle 
with 
and 
. Let 
be a variable point on segment 
. Line 
meets again at 
(other than 
). Point 
lies on arc 
of such that 
is perpendicular to 
. Let 
denote the midpoint of chord 
. As varies on segment , show that moves along a circle.
is inscribed in circle 
with 
and 
. Let 
be a variable point on segment 
. Line 
meets again at 
(other than 
). Point 
lies on arc 
of such that 
is perpendicular to 
. Let 
denote the midpoint of chord 
. As varies on segment , show that moves along a circle.This post has been edited 2 times. Last edited by djmathman, Apr 29, 2015, 12:36 AM
made something interesting, but I am not too sure.
,
and 
are concyclic?
,
,
.
and 
be on the unit circle. We claim 
is the center. It follows from standard formulas that ![\[ x = \frac 12 \left( s + t - 1 + s/t \right) \]](http://latex.artofproblemsolving.com/a/a/0/aa0ca8b1326d61191d60ef17474baa3d7af51d15.png)
thus ![\[ 4\operatorname{Re} x + 2 = s + t + \frac 1s + \frac 1t + \frac st + \frac ts \]](http://latex.artofproblemsolving.com/7/9/d/79d090a92c6969e4472777dcb102c7c3fec4a0f4.png)
which depends only on 
,![\[ 4\left\lvert z-\frac{s+t}{2} \right\rvert^2 = \left\lvert s+t+1 \right\rvert^2 = 3 + (4\operatorname{Re}x+2) \]](http://latex.artofproblemsolving.com/4/c/d/4cdfc896ae4d92513bbdbe8a8abf359daf0d73f5.png)
does not depend on 
is the entire difficulty of the problem -- it's totally unexpected that the center doesn't even depend on 
is fixed. So if 
is the midpoint of 
then 
is fixed, i.e. the power of 
of 
is fixed. Let 
be the radius of 
.
.
.
is the centroid of 
with 
.
.
centered at 
and 
thing, so I didn't write it down.
where 
but didn't explicity show that 
where 
.
depends only on the real part of 
'
.
is cyclic by shooting lemma and has center 
.
is fixed, and hence 
,
is independent of 
and 
is the nine-point center of 
,
as the midpoint of ![\[AX\cdot AS'=AN_9^2-\frac{R^2}{4},\]](http://latex.artofproblemsolving.com/3/8/5/3855e2026fb039cb2a3c60e60fe30d02d2bb33e4.png)
![\[\frac{AX\cdot AS}{2}=AN_9^2-\frac{R^2}{4},\]](http://latex.artofproblemsolving.com/e/0/6/e065d302ae6605caed7773ea4d1464e6938b5136.png)
![\[AN_9^2=\frac{AY^2-YO^2}{2}+\frac{3R^2}{4}.\]](http://latex.artofproblemsolving.com/4/4/b/44bca5cf5146c8072f0f114bbea248b032315c31.png)
Thus, 
does not depend on the position of 
.
.
.
.
respectively, and let 
,
,
by 
,
is linear by Linearity of Power of a Point. Hence, 
,![\[\text{Pow}_\Omega(M)-\text{Pow}_\omega(M)=\frac{\text{Pow}_\Omega(S)+\text{Pow}_\Omega(T)}{2},\]](http://latex.artofproblemsolving.com/d/a/2/da24b444331bda321778590f3d7348c1572cd7d2.png)
because 
.
.
at 
intersect 
and 
.
is constant. The rest is direct by Pythagoras:
since 
,
.
by Power of a Point. But 
by Pythagoras, and adding 
leaves 
,
.
,
is the nine-point circle of 
.
which is a fixed quantity. 
,
is the midpoint of 
is a parallelogram. We have 
as 
,
due to a homothety at 
.
is a fixed quantity, meaning 
![[asy]
size(256);
defaultpen(linewidth(0.4)+fontsize(8));
pair O, K, A, P, B, Q, S, X;
O = 0;
K = -.5;
A = -1;
P = dir(135);
B = 1;
Q = dir(225);
S = dir(40);
X = extension(A, S, P, Q);
pair [] T=intersectionpoints(circle(O, 1), 3X-2*(rotate(90, X)*S)--rotate(90, X)*S);
pair M, Y, H, N;
M = .5S + .5T[1];
Y = .5S + .5A;
H = orthocenter(A, S, T[1]);
N = .5H;
fill(A--P--S--cycle, palegreen);
fill(A--K--M--N--cycle, lightyellow);
draw(circle(O, 1));
draw(A--P--B--Q--A--P--Q);
draw(S--A--B);
draw(A--T[1]--S);
draw(T[1]--X);
draw(circumcircle(X, Y, M), blue);
draw(A--H--B, dashed);
draw(2N-M--M);
draw(P--S);
draw(A--N^^M--K);
label("$O$", O, dir(90));
label("$A$", A, W);
label("$P$", P, NW);
label("$B$", B, E);
label("$Q$", Q, SW);
label("$S$", S, NE);
label("$X$", X, NW);
label("$T$", T[1], dir(270));
label("$Y$", Y, dir(90));
label("$H$", H, dir(225));
label("$N$", N, SE);
label("$M$", M, dir(0));
label("$K$", K, dir(90));
dot(O);
dot(A);
dot(P);
dot(B);
dot(Q);
dot(S);
dot(X);
dot(T[1]);
dot(Y);
dot(H);
dot(N);
dot(M);
dot(2N-M);
dot(K);
[/asy]](http://latex.artofproblemsolving.com/e/9/6/e96fe26fe3add0170fad4ba7ca0b13d346e09e91.png)
.
we have that 
is orthogonal to 
.
,
is constant i.e. 
.
the locus of all points s.t. the powers w.r.t. the 
be points so that 
.
not lying on 
be 
.
at 
,
.
are on the same side of 
so that 
is a harmonic quadrilateral. Show that as ![[asy]
/* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(8.69579111791154cm);
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 = -12.588921244761162, xmax = 34.10686987315038, ymin = -10.97652652920867, ymax = 8.59096386647165; /* image dimensions */
pen wvvxds = rgb(0.396078431372549,0.3411764705882353,0.8235294117647058); pen yqqqyq = rgb(0.5019607843137255,0.,0.5019607843137255); pen ttzzqq = rgb(0.2,0.6,0.); pen zzttqq = rgb(0.6,0.2,0.); pen wrwrwr = rgb(0.3803921568627451,0.3803921568627451,0.3803921568627451); pen dbwrru = rgb(0.8588235294117647,0.3803921568627451,0.0784313725490196);
draw(arc((-4.73285770201925,-1.5851882676025821),1.2742938752613824,-94.88382104067733,-17.15501704176266)--(-4.73285770201925,-1.5851882676025821)--cycle, linewidth(0.8) + ttzzqq);
draw(arc((3.5993457452603925,-1.55082866575813),1.5574702919861338,187.95251875876014,200.22371475984545)--(3.5993457452603925,-1.55082866575813)--cycle, linewidth(0.8) + zzttqq);
/* draw figures */
draw(circle((-0.5587056160162932,-3.5202213397406914), 4.600858466346371), linewidth(0.8) + wvvxds);
draw(circle((-3.86334837257875,-3.2378535050286303), 1.8674444733326263), linewidth(0.8) + yqqqyq);
draw((-4.73285770201925,-1.5851882676025821)--(-5.000632730256479,-4.719046656093717), linewidth(0.8) + wrwrwr);
draw((-4.73285770201925,-1.5851882676025821)--(-2.2135750277227,-2.3628696357012853), linewidth(0.8) + wrwrwr);
draw((-2.2135750277227,-2.3628696357012853)--(3.5993457452603925,-1.55082866575813), linewidth(0.8) + wrwrwr);
draw((3.5993457452603925,-1.55082866575813)--(-5.000632730256479,-4.719046656093717), linewidth(0.8) + wrwrwr);
draw((1.3624776541290877,0.6603232982059701)--(3.5993457452603925,-1.55082866575813), linewidth(0.8) + wrwrwr);
draw((-0.6034183727430487,7.322622166497663)--(-4.73285770201925,-1.5851882676025821), linewidth(0.8) + wrwrwr);
draw((-0.6034183727430487,7.322622166497663)--(3.5993457452603925,-1.55082866575813), linewidth(0.8) + wrwrwr);
draw((1.3624776541290877,0.6603232982059701)--(-5.000632730256479,-4.719046656093717), linewidth(0.8) + wrwrwr);
draw((-4.73285770201925,-1.5851882676025821)--(3.5993457452603925,-1.55082866575813), linewidth(0.8) + wrwrwr);
draw((-2.2135750277227,-2.3628696357012853)--(1.8091785098197786,-9.94773124493867), linewidth(0.8) + wrwrwr);
draw((1.8091785098197786,-9.94773124493867)--(-5.000632730256479,-4.719046656093717), linewidth(0.8) + wrwrwr);
draw(shift((-0.6034183727430492,7.3226221664976645))*xscale(9.818419216148714)*yscale(9.818419216148714)*arc((0,0),1,212.00934216225082,330.46867914558794), linewidth(0.8) + wrwrwr);
draw((-1.9080693022464674,0.14256281609147714)--(1.8091785098197786,-9.94773124493867), linewidth(0.8) + linetype("4 4") + dbwrru);
draw((1.8091785098197786,-9.94773124493867)--(-4.73285770201925,-1.5851882676025821), linewidth(0.8) + wrwrwr);
/* dots and labels */
dot((-4.73285770201925,-1.5851882676025821),linewidth(3.pt) + dotstyle);
label("$P$", (-5.396240259952471,-1.1219872271873232), NE * labelscalefactor);
dot((-1.27681893696828,-1.5709365613549493),linewidth(3.pt) + dotstyle);
label("$Q$", (-1.3751351424609977,-1.2635754355496989), NE * labelscalefactor);
dot((1.3624776541290877,0.6603232982059701),linewidth(3.pt) + dotstyle);
label("$A$", (1.4849466664589936,0.8319300482134614), NE * labelscalefactor);
dot((3.5993457452603925,-1.55082866575813),linewidth(3.pt) + dotstyle);
label("$X$", (3.948581491964333,-1.291893077222174), NE * labelscalefactor);
dot((-5.000632730256479,-4.719046656093717),linewidth(3.pt) + dotstyle);
label("$S$", (-5.8776401683845485,-4.973186494643942), NE * labelscalefactor);
dot((-0.6034183727430487,7.322622166497663),linewidth(3.pt) + dotstyle);
label("$K$", (-1.3751351424609977,6.891905366123141), NE * labelscalefactor);
dot((-2.2135750277227,-2.3628696357012853),linewidth(3.pt) + dotstyle);
label("$T$", (-2.479523167687529,-3.2174927109504834), NE * labelscalefactor);
dot((1.8091785098197786,-9.94773124493867),linewidth(3.pt) + dotstyle);
label("$U$", (2.022981858236022,-10.013726712344518), NE * labelscalefactor);
dot((-2.468559581939059,-4.4795914365127425),linewidth(3.pt) + dotstyle);
label("$M$", (-2.677746659394855,-5.482904044748494), NE * labelscalefactor);
dot((-3.3637792092231593,-3.335251606389178),linewidth(3.pt) + dotstyle);
label("$V$", (-3.498958267896635,-2.905998652553257), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */
[/asy]](http://latex.artofproblemsolving.com/3/c/e/3ceca8ce94034c245bbe0cfc8ee348db99e40b69.png)
is a fixed line independent of 
at 
,
are collinear. Let 
intersect 
at 
.
,
.
are fixed lines, so it is enough to show that 
is a fixed line. Inspecting the diagram it appears as if 
,
,
is an isosceles trapezium)
so that 
.
intersect at 
.
.
,
.
,
.
thus 
.
,
And we are through. 
and 
.
and 
be the intersections of the line perpendicular to 
.
be an acute scalene triangle with 
and 
being the midpoints of 
and 
the intersection of 
with 
.
,
and 
be the midpoints of sides 
and 
respectively. Show that the points, ![\[\measuredangle DAX = \measuredangle H_AAX = \measuredangle H_AA'A = \measuredangle QDH_A = \measuredangle XDA\]](http://latex.artofproblemsolving.com/f/2/0/f2022cfe56288aab0d58fdcc4a131c3efabfee0c.png)
so 
.
are tangent at ![\[XP \cdot XQ = XA^2 = XM_B \cdot XM_C\]](http://latex.artofproblemsolving.com/3/0/e/30e5b6f8eaa98a2aa79625c14a46933b9e3c09e0.png)
so quadrilateral 
is indeed cyclic.
.
since this is the 
m
and 
be the reflection of 
so it is also the midpoint of 
.
as it is the 
, 
and 
concur , at ![\[4NM_P \cdot NM_Q = DP \cdot DQ = DB \cdot DC = D'B \cdot D'C = 4NM_C \cdot NM_B\]](http://latex.artofproblemsolving.com/e/d/1/ed15e8144dca887146ecc3390afb86842be16aa6.png)
so quadrilateral 
is cyclic.
being the unit circle. and 
,
.
.
for some constant 
,
. Putting in our value of 
Now we wish to find the value of 
is fixed, so thus 
is fixed. Expanding gives 
Now, for this value to not depend on 
ergo 
.
.
be the feet from 
is the same line as 
be 
.
is cyclic, as in the problem taking 
give two points from the locus.
is cyclic, as if 
,
by power of a point on nine point circle, semicircle on 
cyclic. We do this by forgotten coaxiality lemma.
and 
,
which is negative. The ratio is 
.
etc, so we're done as then 
,
,
and 
.
is constant, then 
is constant.![\[\frac{1}{2} (s + t + 1 - s \overline{t}) = x;\]](http://latex.artofproblemsolving.com/e/3/c/e3c9eb469a01d68de66451f2f9046c31e33d9f06.png)
therefore
where 
.
which is constant, as desired.
point circle of 
and 
where 
.
.![\[Pow_{N_9}(A) = AN_9^2 - \frac{R^2}{4} = AX\cdot AM_2 = \frac{AX \cdot AS}{2} = \frac{AQ^2}{2}\]](http://latex.artofproblemsolving.com/b/e/7/be7f4066dcbddb4bad80ad17b5cc66b771e50c4f.png)
Therefore, 
and 
,
passing through 
,
and 
and 
.
is cyclic.
,
and 
.
,
.
always bisects 
.
,
bisects 
and 
,
is an isosceles trapezoid. Therefore, the perpendicular bisector of 
be altitudes of 
.
.
is cyclic.
as 
is cyclic since its the nine point circle of 
is cyclic with diameter 
and by power of point 
.
and 
,
is cyclic where 
,
in which 
.
