Join our free webinar April 22 to learn about competitive programming!

G
Topic
First Poster
Last Poster
Prove excircle is tangent to circumcircle
sarjinius   7
N 13 minutes ago by markam
Source: Philippine Mathematical Olympiad 2025 P4
Let $ABC$ be a triangle with incenter $I$, and let $D$ be a point on side $BC$. Points $X$ and $Y$ are chosen on lines $BI$ and $CI$ respectively such that $DXIY$ is a parallelogram. Points $E$ and $F$ are chosen on side $BC$ such that $AX$ and $AY$ are the angle bisectors of angles $\angle BAE$ and $\angle CAF$ respectively. Let $\omega$ be the circle tangent to segment $EF$, the extension of $AE$ past $E$, and the extension of $AF$ past $F$. Prove that $\omega$ is tangent to the circumcircle of triangle $ABC$.
7 replies
sarjinius
Mar 9, 2025
markam
13 minutes ago
An easy FE
oVlad   1
N 36 minutes ago by pco
Source: Romania EGMO TST 2017 Day 1 P3
Determine all functions $f:\mathbb R\to\mathbb R$ such that \[f(xy-1)+f(x)f(y)=2xy-1,\]for any real numbers $x{}$ and $y{}.$
1 reply
oVlad
3 hours ago
pco
36 minutes ago
Fractions and reciprocals
adihaya   34
N 36 minutes ago by de-Kirschbaum
Source: 2013 BAMO-8 #4
For a positive integer $n>2$, consider the $n-1$ fractions $$\dfrac21, \dfrac32, \cdots, \dfrac{n}{n-1}$$The product of these fractions equals $n$, but if you reciprocate (i.e. turn upside down) some of the fractions, the product will change. Can you make the product equal 1? Find all values of $n$ for which this is possible and prove that you have found them all.
34 replies
adihaya
Feb 27, 2016
de-Kirschbaum
36 minutes ago
GCD Functional Equation
pinetree1   60
N 38 minutes ago by cursed_tangent1434
Source: USA TSTST 2019 Problem 7
Let $f: \mathbb Z\to \{1, 2, \dots, 10^{100}\}$ be a function satisfying
$$\gcd(f(x), f(y)) = \gcd(f(x), x-y)$$for all integers $x$ and $y$. Show that there exist positive integers $m$ and $n$ such that $f(x) = \gcd(m+x, n)$ for all integers $x$.

Ankan Bhattacharya
60 replies
pinetree1
Jun 25, 2019
cursed_tangent1434
38 minutes ago
Inequality
giangtruong13   3
N 43 minutes ago by KhuongTrang
Let $a,b,c >0$ such that: $a^2+b^2+c^2=3$. Prove that: $$\frac{b^2}{a}+\frac{c^2}{b}+\frac{a^2}{c}+abc \geq 4$$
3 replies
giangtruong13
Today at 8:01 AM
KhuongTrang
43 minutes ago
Easy geo
oVlad   3
N an hour ago by Primeniyazidayi
Source: Romania EGMO TST 2019 Day 1 P1
A line through the vertex $A{}$ of the triangle $ABC{}$ which doesn't coincide with $AB{}$ or $AC{}$ intersectes the altitudes from $B{}$ and $C{}$ at $D{}$ and $E{}$ respectively. Let $F{}$ be the reflection of $D{}$ in $AB{}$ and $G{}$ be the reflection of $E{}$ in $AC{}.$ Prove that the circles $ABF{}$ and $ACG{}$ are tangent.
3 replies
oVlad
3 hours ago
Primeniyazidayi
an hour ago
abc(a+b+c)=3, show that prod(a+b)>=8 [Indian RMO 2012(b) Q4]
Potla   28
N an hour ago by mihaig
Let $a,b,c$ be positive real numbers such that $abc(a+b+c)=3.$ Prove that we have
\[(a+b)(b+c)(c+a)\geq 8.\]
Also determine the case of equality.
28 replies
Potla
Dec 2, 2012
mihaig
an hour ago
NT with repeating decimal digits
oVlad   1
N an hour ago by kokcio
Source: Romania EGMO TST 2019 Day 1 P2
Determine the digits $0\leqslant c\leqslant 9$ such that for any positive integer $k{}$ there exists a positive integer $n$ such that the last $k{}$ digits of $n^9$ are equal to $c{}.$
1 reply
oVlad
3 hours ago
kokcio
an hour ago
Inequalities make a comeback
MS_Kekas   2
N an hour ago by ZeroHero
Source: Kyiv City MO 2025 Round 1, Problem 11.5
Determine the largest possible constant \( C \) such that for any positive real numbers \( x, y, z \), which are the sides of a triangle, the following inequality holds:
\[
\frac{xy}{x^2 + y^2 + xz} + \frac{yz}{y^2 + z^2 + yx} + \frac{zx}{z^2 + x^2 + zy} \geq C.
\]
Proposed by Vadym Solomka
2 replies
MS_Kekas
Jan 20, 2025
ZeroHero
an hour ago
Interesting F.E
Jackson0423   11
N an hour ago by Jackson0423
Show that there does not exist a function
\[
f : \mathbb{R}^+ \to \mathbb{R}
\]satisfying the condition that for all \( x, y \in \mathbb{R}^+ \),
\[
f(x + y^2) \geq f(x) + y.
\]

~Korea 2017 P7
11 replies
Jackson0423
Apr 18, 2025
Jackson0423
an hour ago
Sequence...
Jackson0423   0
an hour ago
Let the sequence \( \{a_n\} \) be defined as follows:
\( a_0 = 1 \), and for all positive integers \( n \),
\[
a_n = a_{\left\lfloor \frac{n}{3} \right\rfloor} + a_{\left\lfloor \frac{n}{2} \right\rfloor}.
\]Find the sum of all values \( k \leq 100 \) for which there exists a unique positive integer \( n \) such that \( a_n = k \).
0 replies
Jackson0423
an hour ago
0 replies
Interesting tangency
Mr.ARS   3
N Feb 15, 2024 by Mr.ARS
Let I - incenter of ABC. Tangent at point B of circumcenter ABC intersects AI and CI at P and Q respectively. If R - orthocenter of PIQ, prove that the circumscribed circles of AIC and PQR touch each other.
IMAGE
3 replies
Mr.ARS
Feb 14, 2024
Mr.ARS
Feb 15, 2024
Interesting tangency
G H J
G H BBookmark kLocked kLocked NReply
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mr.ARS
17 posts
#1
Y by
Let I - incenter of ABC. Tangent at point B of circumcenter ABC intersects AI and CI at P and Q respectively. If R - orthocenter of PIQ, prove that the circumscribed circles of AIC and PQR touch each other.
https://bytepix.ru/ib/k4ihdlbulp.png
This post has been edited 3 times. Last edited by Mr.ARS, Feb 14, 2024, 11:02 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MathLuis
1498 posts
#2 • 5 Y
Y by v4913, Elainedelia, OronSH, crazyeyemoody907, Mr.ARS
Solved with a hint from v4913
Let $O$ the center of $(PQR)$ and let $M$ the midpoint of minor arc $BC$ in $(ABC)$, let $(AIC)$ hit $AB,BC$ at $E,F$ respectivily, let $PQ \cap AC=T$, let $I_B$ the B-excenter of $\triangle ABC$, let $TI_B \cap (AIC)=U$, and denote $(\cdot)'$ the inverse of $(\cdot)$ in $\sqrt{ac}$ inversion.
Claim 1: $\triangle EMF \sim \triangle POQ$
Proof: Since both are isosceles we only need to prove by angle chasing that: $$\angle POQ=2\angle PRQ=2(180-\angle AIC)=2\angle AI_BC=180-\angle ABC=\angle AMC=\angle EMF$$Which is true hence the claim is done. (It is easy to see $EAFC$ is an Isosceles Trapezoid btw)
Claim 2: $QBCU, PBAU$ are cyclic
Proof: By PoP we get $TB^2=TA \cdot TC=TU \cdot TI_B$ hence by angle chase
$$\angle QBU=\angle BI_BU=\angle ICU \implies QBCU \; \text{cyclic}$$Same symetric process gives $PBAU$ cyclic, thus claim finished.
Claim 3: $Q,E,U$ and $P,F,U$ are colinear triples.
Proof: By $\sqrt{ac}$ inversion we get that $A,U',Q'$ and $C,U',P'$ are colinear, note that $U'I_B \perp AC$ follows by symetry on the perpendicular bisector of $BC$ since $(BIT'U')$ is cyclic and $BT' \parallel AC$ is also known. Since $P', Q'$ both lie in $BT'$ we have by double reim's that $BU'FQ'$ and $BU'EP'$ are cyclic and inverting back gives the result.
Finishing: Now by Claim 3 we can in fact get that $U$ is center of homothety of triangles $\triangle EMF$ and $\triangle QOP$, thus $M,O,U$ are colinear, now since $\angle QUP=2\angle EMF=2\angle QOP$ we get that $UQPR$ is cyclic, plus since $M,O,U$ are colinear we can safely say that $(PQR), (AIC)$ are tangent at $U$ as desired, thus we are done :cool:.
This post has been edited 3 times. Last edited by MathLuis, Feb 14, 2024, 5:25 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
OronSH
1728 posts
#3
Y by
solved with geogebra

We solve another problem: In $\triangle ABC$ with incenter $I,$ excenter opposite $A$ as $I_A$ we let $D,E$ be points on $(ABI_A),(ACI_A)$ respectively with $AD,AE\parallel BC.$ Then let $J$ be the point on $(BICI_A)$ with $IJ\parallel BC.$
Claim. $BJD,CJE$ collinear.
Proof. $\measuredangle BJI=\measuredangle BI_AI=\measuredangle BI_AA=\measuredangle BDA$ and $IJ\parallel AD$ gives $BJD$ collinear, similarly for $CJE.$
Claim. $\measuredangle EI_AD=-\measuredangle EJD.$
Proof. $\measuredangle EI_AD=\measuredangle EI_AA+\measuredangle AI_AD=\measuredangle I_AEA+\measuredangle EAI_A+\measuredangle ABJ=\measuredangle I_ACA+\measuredangle (BC,AI)+\measuredangle ABC+\measuredangle ACI=\measuredangle I_ACI+\measuredangle BAI=90+\measuredangle BAI=\measuredangle BIC=\measuredangle BJC=-\measuredangle EJD.$
Thus $J$ lies on the reflection $\omega$ of $(EI_AD)$ over line $ADE.$ Thus the homothety at $J$ taking $BC$ to $DE$ takes $(BICI_A)$ to $\omega,$ so the two circles are tangent.

To finish, invert the diagram about $A$ and rename points.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mr.ARS
17 posts
#4
Y by
MathLuis wrote:
Solved with a hint from v4913
Let $O$ the center of $(PQR)$ and let $M$ the midpoint of minor arc $BC$ in $(ABC)$, let $(AIC)$ hit $AB,BC$ at $E,F$ respectivily, let $PQ \cap AC=T$, let $I_B$ the B-excenter of $\triangle ABC$, let $TI_B \cap (AIC)=U$, and denote $(\cdot)'$ the inverse of $(\cdot)$ in $\sqrt{ac}$ inversion.
Claim 1: $\triangle EMF \sim \triangle POQ$
Proof: Since both are isosceles we only need to prove by angle chasing that: $$\angle POQ=2\angle PRQ=2(180-\angle AIC)=2\angle AI_BC=180-\angle ABC=\angle AMC=\angle EMF$$Which is true hence the claim is done. (It is easy to see $EAFC$ is an Isosceles Trapezoid btw)
Claim 2: $QBCU, PBAU$ are cyclic
Proof: By PoP we get $TB^2=TA \cdot TC=TU \cdot TI_B$ hence by angle chase
$$\angle QBU=\angle BI_BU=\angle ICU \implies QBCU \; \text{cyclic}$$Same symetric process gives $PBAU$ cyclic, thus claim finished.
Claim 3: $Q,E,U$ and $P,F,U$ are colinear triples.
Proof: By $\sqrt{ac}$ inversion we get that $A,U',Q'$ and $C,U',P'$ are colinear, note that $U'I_B \perp AC$ follows by symetry on the perpendicular bisector of $BC$ since $(BIT'U')$ is cyclic and $BT' \parallel AC$ is also known. Since $P', Q'$ both lie in $BT'$ we have by double reim's that $BU'FQ'$ and $BU'EP'$ are cyclic and inverting back gives the result.
Finishing: Now by Claim 3 we can in fact get that $U$ is center of homothety of triangles $\triangle EMF$ and $\triangle QOP$, thus $M,O,U$ are colinear, now since $\angle QUP=2\angle EMF=2\angle QOP$ we get that $UQPR$ is cyclic, plus since $M,O,U$ are colinear we can safely say that $(PQR), (AIC)$ are tangent at $U$ as desired, thus we are done :cool:.

It is wonderful! But in claim 3 you can use Pascal for UEACII_B
Z K Y
N Quick Reply
G
H
=
a