Stay ahead of learning milestones! Enroll in a class over the summer!

G
Topic
First Poster
Last Poster
Polynomials
P162008   0
35 minutes ago
Consider the identity $\sum_{r=1}^{n} r = \frac{n(n + 1)}{2}.$ If we set $P_{1}(x) = \frac{x(x + 1)}{2}$ then it's the unique polynomial such that for all integers $n,$ $P_{1}(n) = \sum_{r=1}^{n} r.$ In general, for each positive integer k,there is a unique polynomial $P_{k}(x)$ such that $P_{k}(n) = \sum_{r=1}^{k} r^k \forall  n \in  \mathbb{Z}.$ Find the value of $P_{2010}(m)$ for $m = \frac{-1}{2}.$
0 replies
P162008
35 minutes ago
0 replies
Polynomials
P162008   0
44 minutes ago
Define a family of polynomials by $P_{0}(x) = x - 2$ and $P_{k}(x) = \left(P_{k - 1} (x)\right)^2 - 2$ if $k \geq 1$ then find the coefficient of $x^2$ in $P_{k}(x)$ in terms of $k.$
0 replies
P162008
44 minutes ago
0 replies
Collect ...
luutrongphuc   3
N an hour ago by KevinYang2.71
Find all functions $f: \mathbb{R^+} \rightarrow \mathbb{R^+}$ such that:
$$f\left(f(xy)+1\right)=xf\left(x+f(y)\right)$$
3 replies
luutrongphuc
Apr 21, 2025
KevinYang2.71
an hour ago
functional equation interesting
skellyrah   5
N 2 hours ago by jasperE3
find all functions IR->IR such that $$xf(x+yf(xy)) + f(f(y)) = f(xf(y))^2  + (x+1)f(x)$$
5 replies
skellyrah
Yesterday at 8:32 PM
jasperE3
2 hours ago
For a there exist b,c with b+c-2a = 0 mod p
Miquel-point   0
3 hours ago
Source: Kürschák József Competition 2024/3
Let $p$ be a prime and $H\subseteq \{0,1,\ldots,p-1\}$ a nonempty set. Suppose that for each element $a\in H$ there exist elements $b$, $c\in H\setminus \{a\}$ such that $b+ c-2a$ is divisible by $p$. Prove that $p<4^k$, where $k$ denotes the cardinality of $H$.
0 replies
1 viewing
Miquel-point
3 hours ago
0 replies
The ancient One-Dimensional Empire
Miquel-point   0
3 hours ago
Source: Kürschák József Competition 2024/2
The ancient One-Dimensional Empire was located along a straight line. Initially, there were no cities. A total of $n$ different point-like cities were founded one by one; from the second onwards, each newly founded city and the nearest existing city (the older one, if there were two) were declared sister cities. The surviving map of the empire shows the cities and the distances between them, but not the order in which they were founded. Historians have tried to deduce from the map that each city had at most 41 sister cities.
[list=a]
[*] For $n=10^6$, give a map from which this deduction can be made.
[*] Prove that for $n=10^{13}$, this conclusion cannot be drawn from any map.
[/list]
0 replies
Miquel-point
3 hours ago
0 replies
Cyclic quads jigsaw
Miquel-point   0
3 hours ago
Source: Kürschák József Competition 2024/1
The quadrilateral $ABCD$ is divided into cyclic quadrilaterals with pairwise disjoint interiors. None of the vertices of the cyclic quadrilaterals in the decomposition is an interior point of a side of any cyclic quadrilateral in the decomposition or of a side of the quadrilateral $ABCD$. Prove that $ABCD$ is also a cyclic quadrilateral.
0 replies
Miquel-point
3 hours ago
0 replies
A cyclic inequality
KhuongTrang   3
N 3 hours ago by paixiao
Source: own-CRUX
IMAGE
https://cms.math.ca/.../uploads/2025/04/Wholeissue_51_4.pdf
3 replies
KhuongTrang
Apr 21, 2025
paixiao
3 hours ago
Perfect polynomials
Phorphyrion   5
N 4 hours ago by Davdav1232
Source: 2023 Israel TST Test 5 P3
Given a polynomial $P$ and a positive integer $k$, we denote the $k$-fold composition of $P$ by $P^{\circ k}$. A polynomial $P$ with real coefficients is called perfect if for each integer $n$ there is a positive integer $k$ so that $P^{\circ k}(n)$ is an integer. Is it true that for each perfect polynomial $P$, there exists a positive $m$ so that for each integer $n$ there is $0<k\leq m$ for which $P^{\circ k}(n)$ is an integer?
5 replies
Phorphyrion
Mar 23, 2023
Davdav1232
4 hours ago
Finding all integers with a divisibility condition
Tintarn   14
N 5 hours ago by Assassino9931
Source: Germany 2020, Problem 4
Determine all positive integers $n$ for which there exists a positive integer $d$ with the property that $n$ is divisible by $d$ and $n^2+d^2$ is divisible by $d^2n+1$.
14 replies
Tintarn
Jun 22, 2020
Assassino9931
5 hours ago
China 2017 TSTST1 Day 2 Geometry Problem
HuangZhen   46
N Apr 6, 2025 by ihategeo_1969
Source: China 2017 TSTST1 Day 2 Problem 5
In the non-isosceles triangle $ABC$,$D$ is the midpoint of side $BC$,$E$ is the midpoint of side $CA$,$F$ is the midpoint of side $AB$.The line(different from line $BC$) that is tangent to the inscribed circle of triangle $ABC$ and passing through point $D$ intersect line $EF$ at $X$.Define $Y,Z$ similarly.Prove that $X,Y,Z$ are collinear.
46 replies
HuangZhen
Mar 7, 2017
ihategeo_1969
Apr 6, 2025
China 2017 TSTST1 Day 2 Geometry Problem
G H J
G H BBookmark kLocked kLocked NReply
Source: China 2017 TSTST1 Day 2 Problem 5
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
HuangZhen
29 posts
#1 • 9 Y
Y by baopbc, anantmudgal09, mymathboy, Mathuzb, AlexGr, Adventure10, Mango247, Rounak_iitr, Tastymooncake2
In the non-isosceles triangle $ABC$,$D$ is the midpoint of side $BC$,$E$ is the midpoint of side $CA$,$F$ is the midpoint of side $AB$.The line(different from line $BC$) that is tangent to the inscribed circle of triangle $ABC$ and passing through point $D$ intersect line $EF$ at $X$.Define $Y,Z$ similarly.Prove that $X,Y,Z$ are collinear.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
FabrizioFelen
241 posts
#2 • 7 Y
Y by baopbc, Ankoganit, yiwen, nguyendangkhoa17112003, Adventure10, Tastymooncake2, AlexCenteno2007
My #200 post :-D ....
Let $\omega$ the incircle with center $I$ and $P$, $Q$, $R$ the points of tangency of $\omega$ with $BC$, $CA$, $AB$. Let $P'=PI\cap \omega$ and $M=AP'\cap BC$ and $N=AP'\cap \omega$, since $MC=BP$(well-know) $\Longrightarrow$ $PD=DM$ and $\measuredangle PNM=90^{\circ}$ $\Longrightarrow$ $DP=DM=DN$ hence $DN$ is tangent to $\omega$. Let $S=DN\cap AC$ and define $BP=BR=2a$, $CP=CQ=2b$, $AR=AQ=2c$, $QS=x$ $\Longrightarrow$ $DP$ $=$ $DM$ $=$ $DN$ $=$ $b-a$.

$\Longrightarrow$ by Menelao's theorem in $\triangle DSC$ with line $\overline{ANM}$ we get: $$CM.DN.SA=DM.NS.AC \Longrightarrow 2a.(b-a).(2c+x)=(b-a).x.(2b+2c)$$$$\Longrightarrow 2a.(2c+x)=x.(2b+2c)  \Longrightarrow x=\tfrac{2ac}{b+c-a}$$On the other hand: $\tfrac{XE}{XF}=\tfrac{XE}{XE+MC}=\tfrac{ES}{EC}$, since $SC=2b-x=b+c-ES$ we get $ES=\tfrac{(b+c)(a+c-b)}{b+c-a}$
Hence $\tfrac{XE}{XF}=\tfrac{ES}{EC}=\tfrac{c+a-b}{c+b-a}$ similarly $\tfrac{YF}{YD}=\tfrac{a+b-c}{a+c-b}$ and $\tfrac{ZD}{ZE}=\tfrac{b+c-a}{b+a-c}$ $\Longrightarrow$ $\tfrac{XE}{XF}.\tfrac{YF}{YD}.\tfrac{ZD}{ZE}=1$ which is the converse of Menelao's theorem in $\triangle DEF$ with line $\overline{XYZ}$ $\Longrightarrow$ $X$, $Y$, $Z$ are collinear.
This post has been edited 1 time. Last edited by FabrizioFelen, Mar 7, 2017, 5:04 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
galav
566 posts
#3 • 1 Y
Y by Adventure10
Can someone post a complex solution. I think we can easily get $X$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
nikolapavlovic
1246 posts
#4 • 7 Y
Y by Complex2Liu, MathPanda1, cookie112, Elnino2k, nguyendangkhoa17112003, Adventure10, Mango247
Lemma:In triangle $ABC$ let the excircle touch $AB,AC$ in $P,Q$.Let $R,S$ be the midpoints of $AP,AQ$ and let $X=\{RS\}\cap BC$.Similarly define $Y,Z$ than X,Y,Z are collinear.
Proof:
It's immediate by Menelaus on RS as a transversal.

Let $P'$ be the touch point of $A$-excircle $P$ of the incircle and let $(PP')\cap \odot I=\{R\}$.Now as $DP$ is tangent to $\odot I$ so is $DR$ ,$P'R\perp PR$ as well as $ID\perp PR$ and so $ID||P'R$ and hence as $ID$ is the A-Nagell cevian in the medial triangle so is $AR$ in $\triangle ABC$.Let $DI\cap EF=\{V\}$, now $\angle XVD=\frac{\angle PDR}{2}=\angle PP'R=\angle VDX$ $\implies$ $\triangle VDX$ is $X$-isosceles.By previous,$X$ is on the perpendicular bisector of $DV$ and so on the radical axis of point $D$ and $D$-exicrcle.Now applying the lemma on $\triangle DEF$ we're done.$\blacksquare$
Attachments:
This post has been edited 2 times. Last edited by nikolapavlovic, Mar 7, 2017, 5:20 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
tenplusten
1000 posts
#5 • 2 Y
Y by BarishNamazov, Adventure10
Easy with Barycentre.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
nikolapavlovic
1246 posts
#6 • 15 Y
Y by wu2481632, laegolas, artsolver, Garfield, anantmudgal09, Kaladesh, Kayak, 62861, Drunken_Master, Anar24, e_plus_pi, amar_04, microsoft_office_word, Adventure10, Mango247
Should be easy to write the solution than.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Math1331Math
5317 posts
#7 • 2 Y
Y by Adventure10, Mango247
Murad.Aghazade wrote:
Easy with Barycentre.

How tangents condition makes it quite ugly :what?:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
WizardMath
2487 posts
#8 • 2 Y
Y by Adventure10, Mango247
My solution.

Let N be the intersection of the reflection of $BC$ in $I$, the incenter and the line $DX$. By the dual of desargues involution theorem, the involution mapping DN to DB and the line joining D to the incircle touch point with AB to the line joining D to the antipode of the incircle touchpt with BC in the incircle, fixes the intersection of the reflection of BC in I with AB. Now just use preservation of cross ratios and done.
This post has been edited 1 time. Last edited by WizardMath, May 23, 2017, 8:33 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
TelvCohl
2312 posts
#10 • 7 Y
Y by baopbc, rmtf1111, Ajorda, campbelltron, enhanced, Adventure10, Mango247
Let $ \triangle I_aI_bI_c $ be the intouch triangle of $ \triangle ABC $ and let $ U $ be the intersection of $ CA, $ $ DX. $ By Newton's theorem we get $ AD, $ $ BU, $ $ I_aI_b $ are concurrent, so $ (A,C;I_b,U) $ $ = $ $ (D,C;I_a,B) (\bigstar). $ Let $ T $ be the Nagel point of $ \triangle ABC $ and let $ V $ be the intersection of $ CA, $ $ DT. $ It's well-known that the reflection $ \widetilde{I_a}, $ $ \widetilde{I_b} $ of $ I_a, $ $ I_b $ in $ D, $ $ E $ lies on $ AT, $ $ BT, $ respectively, so $$ (A,C;I_b,U) \stackrel{(\bigstar)}{=} \underbrace{(D,C;I_a,B) = (D,B;\widetilde{I_a},C)}_{\text{isotomic conjugate WRT B and C}} \stackrel{T}{=} (C,A;\widetilde{I_b},V) \Longrightarrow EU = EV \ , $$hence we conclude that $ D(E,F;X,T) $ $ = $ $ -1 $ $ \Longrightarrow $ $ X $ lies on the trilinear polar of $ T $ WRT $ \triangle DEF. $
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dagezjm
88 posts
#11 • 2 Y
Y by Anar24, Adventure10
Describe the position of the tangent point in another way and use Menelaus,we can solve this problem easily.
This post has been edited 1 time. Last edited by dagezjm, Mar 8, 2017, 4:16 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
anantmudgal09
1980 posts
#12 • 2 Y
Y by Adventure10, Mango247
Hidden for length
This post has been edited 1 time. Last edited by anantmudgal09, Mar 8, 2017, 4:57 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ABCDE
1963 posts
#13 • 6 Y
Y by anantmudgal09, baopbc, mymathboy, e_plus_pi, microsoft_office_word, Adventure10
Let $XYZ$ be the triangle formed by the three tangents. By Desargues' Theorem, it suffices to prove that $DX$, $EY$, and $FZ$ concur. We claim that they all pass through the Nagel point $Na$ of $ABC$.

Let $ABC$ have intouch triangle $PQR$ and incenter $I$, and let $P'Q'R'$ be the reflection of $PQR$ over $I$. Let $AP'$, $BQ'$, and $CR'$ intersect the incircle again at $U$, $V$, and $W$. It is well known that $P'U$, $Q'V$, and $R'W$ concur at $Na$ an that $DU$, $EV$, and $FW$ are tangents to the incircle. Note that the tangents to the incircle at $V$ and $W$ intersect at $X$. Let the tangents to the incircle at $Q'$ and $R'$ intersect at $X'$. Note that as $Q'V$ and $R'W$ intersect at $Na$, $Na$ lies on $XX'$. We will show that $D$ lies on $NaX'$, which will imply the desired. Note that $X'$ is the reflection of $A$ over $I$. Hence, if $G$ is the centroid of $ABC$, it is also the centroid of $NaAX'$ as $G$ divides median $NaI$ in the ratio $2:1$. Thus, the point $D$ on $AG$ with $AG:GD=2:1$ must be the midpoint of $X'Na$ and we are done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
EulerMacaroni
851 posts
#14 • 4 Y
Y by anantmudgal09, baopbc, Anar24, Adventure10
Let $H_A$ be the orthocenter of $\triangle BIC$, and define $H_B$, $H_C$ similarly. Suppose $I$ is the incenter, $R$ is the intouch point on $\overline{BC}$, and let $S\equiv DX\cap \odot(I)$; I claim that $H_AS$ is concurrent with its cyclic variations. To prove this, since $H_AR$ and cyclic variations are obviously concurrent at $I$, we have $$1=\prod_{\text{cyc}}\frac{H_BR\cdot H_BS}{H_CR\cdot H_CS}=\prod_{\text{cyc}}\frac{H_BS}{H_CS}$$where the first equality follows from Power of a Point. Call this concurrency point $M$; notice that $X$ lies on the polars of $H_A$ and $S$ with respect to $\odot(I)$, so $H_AS$ is the polar of $X$ with respect to $\odot(I)$. Therefore, $\overline{XYZ}$ is a line segment on the polar of $M$ with respect to $\odot(I)$, and the conclusion follows.
This post has been edited 1 time. Last edited by EulerMacaroni, Mar 9, 2017, 12:58 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Complex2Liu
83 posts
#15 • 2 Y
Y by baopbc, Adventure10
Thanks for pointing out my mistake. Ignore this post.
This post has been edited 3 times. Last edited by Complex2Liu, Apr 5, 2017, 2:24 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dragonx111
280 posts
#16 • 2 Y
Y by Adventure10, Mango247
Complex2Liu wrote:
Let the incircle of $ABC$ touch $BC$ at $P,$ and $P_1,P_2$ be the reflection of $P$ with respect to $I,D$ respectively. Denote by $U$ the second intersection of $AP_2$ and $\odot(I).$

It's well-known that $A,P_1,P_2$ are collinear and $ID \parallel AP_2,$ from which we conclude that $DU$ is tangent to $\odot(I).$ Now let $V$ be the intersection of $EF$ and $AU,$ and $X^*$ be the reflection of $V$ with respect to $X.$ Notice that
\[\measuredangle XVU=\measuredangle DP_2U=\measuredangle P_2UD=\measuredangle VUX \implies XV=XU. \]Hence $XV\cdot XX^*=XU^2=XF\cdot XE,$ which amounts to $(X^*,V;F,E)\stackrel{U}{=}-1\implies UX$ is the angle bisector of $\angle FUE.$ Therefore $\tfrac{XF}{XE}=\tfrac{VF}{VE}=\tfrac{BP_2}{CP_2}.$ The statement then follows by Menelaus' theorem in $\triangle DEF$(It's well-known that three lines are concurrent at Nagel point).
[asy]
size(8cm); defaultpen(fontsize(9pt)); pathpen=black; pointpen=black;
pair A=dir(55);
pair B=dir(-140);
pair C=dir(-40);
pair D=midpoint(B--C);
pair E=midpoint(A--C);
pair F=midpoint(A--B);
pair I=incenter(A,B,C);
pair P=foot(I,B,C);
pair P2=2*D-P;
pair P1=2*I-P;
pair U=OP(incircle(A,B,C),P1--P2);
pair V=IP(E--F,P1--U);
pair X=extension(E,F,D,U);
pair X1=2*X-V;

D(A--B--C--cycle,purple+linewidth(1.1));
D(incircle(A,B,C),dotted+red);
D(A--P2,cyan);
D(D--X,dashed);
D(X1--E,red+linewidth(1.2));
D(X1--P--P1);
D(E--U--F);
D(rightanglemark(P,U,P1,2),deepgreen);

dot("$A$",A,dir(A));
dot("$B$",B,dir(B));
dot("$C$",C,dir(C));
dot("$D$",D,dir(D));
dot("$E$",E,dir(E));
dot("$F$",F,dir(F));
dot("$I$",I,dir(I));
dot("$P$",P,dir(P));
dot("$P_1$",P1,dir(120));
dot("$P_2$",P2,dir(P2));
dot("$U$",U,dir(-160));
dot("$V$",V,dir(135));
dot("$X$",X,dir(90));
dot("$X^*$",X1,dir(90));
[/asy]

Warning: $E,F$ are not on the incircle, so be aware of the fact that the property $XU^2=XE \cdot XF $ does not hold.
This post has been edited 1 time. Last edited by dragonx111, Mar 13, 2017, 10:45 AM
Z K Y
G
H
=
a