be a triangle. A circle passing through 
and 
intersects segments 
and 
at 
and 
intersect at 
and 
intersect at 
.
if and only if 
.
satisfy 
.
.
if 
,
,
and 
are lengths of altitudes in triangle 
,
be its incircle. Denote by 
and 
the points where 
and 
the points on sides 
and 
,
and 
.
.
.
,
be positive integers such that 
is a multiple of 
for all positive integers 
.
.
lies on side 
lies on side 
and 
,
is parallel to 
be a point on line 
,
.
be the point on line 
,
.
,
and 
be positive real numbers satisfying 
Prove that
,
be the intersection point of segments 
.
are 
such that:
is strictly increasing,
such that 
for all 
,
,
such that![\[
f(y) = \frac{f(x) + f(x + 2024)}{2}.
\]](http://latex.artofproblemsolving.com/b/e/2/be26213154bb74bd5a35b8d160011351871bfa9b.png)
Proposed by Pavle Martinović
to the number written on the board, but only if the chosen number is coprime with the current number (for example, if the current number is 
,
Y by donotoven, HWenslawski, Miku_, TFIRSTMGMEDALIST, maolus, tiendung2006, Adventure10, Rounak_iitr
Let the points 
and 
be the circumcenter and orthocenter of an acute angled triangle 
Let 
be the midpoint of 
Let 
be the point on the angle bisector of 
such that 
Let 
be the point such that 
is a rectangle. Prove that 
are collinear.
and 
be the circumcenter and orthocenter of an acute angled triangle 
Let 
be the midpoint of 
Let 
be the point on the angle bisector of 
such that 
Let 
be the point such that 
is a rectangle. Prove that 
are collinear.This post has been edited 1 time. Last edited by ayan.nmath, Jul 17, 2019, 1:03 PM
be the reflection of 
be mid-point of arc 
repectively and 
feet of 
concurrent
.
.
are cyclic.Now 
hence 
![[asy] /* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(13.34457142857142cm);
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 = -7.195047619047617, xmax = 6.149523809523803, ymin = -3.2146666666666635, ymax = 7.018476190476192; /* image dimensions */
pen zzttqq = rgb(0.6,0.2,0.); pen ffzztt = rgb(1.,0.6,0.2); pen qqqqcc = rgb(0.,0.,0.8); pen qqzzqq = rgb(0.,0.6,0.); pen ffqqtt = rgb(1.,0.,0.2);
draw((-1.6866666666666674,4.690666666666668)--(-1.78,-0.24)--(4.48,0.76)--cycle, linewidth(2.) + zzttqq);
/* draw figures */
draw((-1.6866666666666674,4.690666666666668)--(-1.78,-0.24), linewidth(2.) + zzttqq);
draw((-1.78,-0.24)--(4.48,0.76), linewidth(2.) + zzttqq);
draw((4.48,0.76)--(-1.6866666666666674,4.690666666666668), linewidth(2.) + zzttqq);
draw((xmin, -6.26*xmin-5.867866666666671)--(xmax, -6.26*xmax-5.867866666666671), linewidth(2.)); /* line */
draw(circle((1.0444485173265026,2.1727522815360953), 3.7146847778897087), linewidth(2.) + ffzztt);
draw((xmin, -1.86491738859996*xmin + 1.5451726712280665)--(xmax, -1.86491738859996*xmax + 1.5451726712280665), linewidth(2.)); /* line */
draw((xmin, 0.5362167815651744*xmin + 1.4418974098844382)--(xmax, 0.5362167815651744*xmax + 1.4418974098844382), linewidth(2.)); /* line */
draw((xmin, -0.9219363576783037*xmin + 1.5046140828657093)--(xmax, -0.9219363576783037*xmax + 1.5046140828657093), linewidth(2.) + linetype("4 4") + qqqqcc); /* line */
draw((xmin, -6.26*xmin + 8.711)--(xmax, -6.26*xmax + 8.711), linewidth(2.)); /* line */
draw(circle((-2.699448766501741,2.07100179448854), 2.80862450752506), linewidth(2.) + qqzzqq);
draw((-0.766320130177275,-1.0707026517569287)--(1.6304192576915588,-1.4954245531491601), linewidth(2.));
draw((xmin, -0.1772082119324169*xmin-1.2065008717934607)--(xmax, -0.1772082119324169*xmax-1.2065008717934607), linewidth(2.)); /* line */
draw(circle((-1.0409058043226276,-1.0220438154193732), 2.7129443248615868), linewidth(2.) + ffqqtt);
draw((-2.805241401116789,4.090868122619703)--(-1.6866666666666674,4.690666666666668), linewidth(2.));
draw((-2.805241401116789,4.090868122619703)--(-1.075563701319672,0.8651621035944771), linewidth(2.));
draw((-3.7122308663368138,-0.5486630776895868)--(-1.78,-0.24), linewidth(2.));
/* dots and labels */
dot((-1.6866666666666674,4.690666666666668),dotstyle);
label("$A$", (-1.5944761904761922,4.921142857142859), NE * labelscalefactor);
dot((-1.78,-0.24),dotstyle);
label("$B$", (-1.6866666666666683,-0.0110476190476165), NE * labelscalefactor);
dot((4.48,0.76),dotstyle);
label("$C$", (4.5822857142857085,0.98), NE * labelscalefactor);
dot((-0.766320130177275,-1.0707026517569287),linewidth(4.pt) + dotstyle);
label("$H'$", (-0.6725714285714308,-0.8868571428571401), NE * labelscalefactor);
dot((-1.075563701319672,0.8651621035944771),linewidth(4.pt) + dotstyle);
label("$H$", (-0.9721904761904783,1.0491428571428594), NE * labelscalefactor);
dot((1.6304192576915588,-1.4954245531491601),linewidth(4.pt) + dotstyle);
label("$M$", (1.7243809523809486,-1.301714285714283), NE * labelscalefactor);
dot((-0.08695481895028967,1.7073362251110231),linewidth(4.pt) + dotstyle);
label("$I$", (-0.004190476190478927,1.901904761904764), NE * labelscalefactor);
dot((0.04301103313044997,1.4649606476414412),linewidth(4.pt) + dotstyle);
label("$E$", (0.13409523809523527,1.6483809523809545), NE * labelscalefactor);
dot((-2.805241401116789,4.090868122619703),linewidth(4.pt) + dotstyle);
label("$F$", (-2.723809523809525,4.275809523809525), NE * labelscalefactor);
dot((1.35,0.26),linewidth(4.pt) + dotstyle);
label("$D$", (1.44780952380952,0.44990476190476436), NE * labelscalefactor);
dot((0.45847777696144654,5.840929116221352),linewidth(4.pt) + dotstyle);
label("$N$", (0.5489523809523779,6.0274285714285725), NE * labelscalefactor);
dot((0.7412732462893754,0.16275930451906953),linewidth(4.pt) + dotstyle);
label("$J$", (0.8255238095238062,0.3577142857142882), NE * labelscalefactor);
dot((-0.9209419157484734,-0.1027702740812258),linewidth(4.pt) + dotstyle);
label("$K$", (-0.833904761904764,0.08114285714285967), NE * labelscalefactor);
dot((-3.7122308663368138,-0.5486630776895868),linewidth(4.pt) + dotstyle);
label("$O$", (-3.622666666666667,-0.3567619047619021), NE * labelscalefactor);
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle);
/* end of picture */[/asy]](http://latex.artofproblemsolving.com/7/f/7/7f76ea49b2844fb4bfeacf5df585b5045fb44955.png)
Then it is enough to show that 
are collinear. Suppose 
intersects the angle bisector of 
We know that 
Hence 
Thus 
Hence 
This completes our task.
be foot from 
.
is exterior bisector WRT 
and 
of 
passing through 
.
is Parallelogram, but 
where 
is the foot of perpendicular of the 
and 
which is the 
H
.
.
be the feet of altitudes from 
respectively and let 
.
as 
.
and 
we get that 
.
.
be 
respectively.
are concyclic with diameter 
.
which implies that 
.
is harmonic.
are collinear.
be the Base of altitude from 
Respectively. Now Just observe 
is cyclic With Circumcenter 
So 
And also as 
Angle bisector of 
and also
Hence 
are tangents from 
Are collinear. And as 
So 
Are collinear 
,
,
is cyclic since 
(let this circle be 
,
and that 
,
.
,
is cyclic, with 
,
:
be the feets of the perpendicular from 
, Prove that 
be the altitudes to 
and also its well known that 
are tangent to this circle. So, 
intersects the circle at the midpoints of the minor and major arcs 
,
is angle bisector, it passes through the midpoint of the minor arc and we easily see that 
cuts 
is well-known, it suffices to show 
.
,
But 
are isogonal, so 
as desired. 
are collinear, it suffices to show 
.
implying 
,
lies on the circle with diameter 
so 
lies on the perpendicular bisector of 
.
are collinear.
.
lies on 
(The nine point circle) where 
all of which I am ofc too lazy to type 
) which finishes the problem 
be the midpoint of AH. Diagram attached for reference
by a basic property of rectangles. So this is equivalent to proving 
.
.
.
since 
and as diagonals bisect each other 
is the mid-point of 
with 
and 
and 
are tangents of 
is collinear implying 
collinear.
AND 
.
and 
are tangent to 
.
,
.
is harmonic and the result immediately follows. 
.
.
to meet 
,
be the reflection of 
.
are collinear.
.
is cyclic and 
,
,
.
and we are done 
,
.
.
and on 
at the same time, so 
.
.
be be circumcircles of 
,
.
,
are collinear. Since 
is kite, 
and projecting this to 
.
and 
are tangents to 
are collinear.
.
,
are collinear.
be the feet of perpendiculars of 
are concyclic, so 
.
be the perpendicular bisector of 
.
.
.
,
is isosceles triangle. So, 
.
and 
,
,
, the midpoint of 
nine-point center
are collinear
be the orthic triangle of 
and 
so you get 
and because 
we get 
)
so 
and as 
concur...
is the reflection of 
by 
,
collinear. Let 
be the feet of the altitudes from 
is cyclic with center 
.
,
.
is cyclic with center 
.
.
since 
, so 
as 
as 
,
which means 
.
clearly 
, so it is well known that 
, so 
but also since 
.
be the unit circle. Let 
be the feet of the altitudes from 
and 
.
.
which means 
.
and 
.
.
Also,![\[\overline{\left(\frac{d-e}{f-e}\right)} = \overline{\left(\frac{yz}{y^2+z^2}\right)}\]](http://latex.artofproblemsolving.com/1/d/c/1dc48b1af1d87f429c32f04e3cfd4daf44c36189.png)
Now, note that since 
(which is known to be the complex number denoting the arc midpoint of 
and 
all lie on the unit circle,
Thus, 
which implies that, 
and thus, 
be Pedal triangle of 
respectively.
give us 
is angle bisector of 
.
.
(by considering 
.
and 
is cyclic with diameter 
is rectangle. Since, 
and it is also parallel to 
,
and 
are tangents to 
is a diameter of 
,
.
is the midpoint of 
be the foot of perpendiculars on 
and by the three tangents lemma we also have 
and 
tangent to this circle.
.
are diameters of 
so 
.
