Summer is a great time to explore cool problems to keep your skills sharp!  Schedule a class today!

G
Topic
First Poster
Last Poster
parallel wanted, right triangle, circumcircle, angle bisector related
parmenides51   6
N 25 minutes ago by Ianis
Source: Norwegian Mathematical Olympiad 2020 - Abel Competition p4b
The triangle $ABC$ has a right angle at $A$. The centre of the circumcircle is called $O$, and the base point of the normal from $O$ to $AC$ is called $D$. The point $E$ lies on $AO$ with $AE = AD$. The angle bisector of $\angle CAO$ meets $CE$ in $Q$. The lines $BE$ and $OQ$ intersect in $F$. Show that the lines $CF$ and $OE$ are parallel.
6 replies
parmenides51
Apr 26, 2020
Ianis
25 minutes ago
[SHS Sipnayan 2023] Series of Drama F-E
Magdalo   6
N Yesterday at 6:14 PM by trangbui
Find the units digit of
\[\sum_{n=1}^{2025}n^5\]
6 replies
Magdalo
Yesterday at 5:35 PM
trangbui
Yesterday at 6:14 PM
Decreasing Digits of Increasing Bases
Magdalo   2
N Yesterday at 6:04 PM by trangbui
Some base $10$ numbers can be expressed in $n+2$ digits in base $k$, $n+1$ digits in base $k+1$, and $n$ digits in base $k+2$ for some positive integers $n,k$. How many such two-digit base $10$ numbers are there?
2 replies
Magdalo
Yesterday at 5:31 PM
trangbui
Yesterday at 6:04 PM
[PMO18 Qualifying] III.3 Functional Equation
Magdalo   3
N Yesterday at 5:56 PM by Magdalo
Suppose a function $f:\mathbb R\to \mathbb R$ satisfies the following conditions:
\begin{align*}
&f(4xy)=2y[f(x+y)+f(x-y)]\text{ for all }x,y\in\mathbb R\\
&f(5)=3
\end{align*}
Find the value of $f(2015)$.
3 replies
Magdalo
May 25, 2025
Magdalo
Yesterday at 5:56 PM
MATHirang MATHibay 2025 Final Round Wave 5.1
arcticfox009   3
N Yesterday at 5:42 PM by arcticfox009
A Richard sequence $(r_1, r_2, r_3, \dots, r_7)$ is an ordered sequence of positive integers greater than one satisfying the following conditions:
[list]
[*] If $i \neq j$, then $r_i \neq r_j$.
[*] If $r_i$ is a composite number, then there exists at least 1 positive integer $q$, $1 \leq q \leq i-1$, such that $r_q \mid r_i$.
[*] The sequence has exactly $7$ terms.

[/list]
How many different Richard Sequences can be made containing the terms $2, 4, 5, 6, 11, 15, 33$?

Answer Confirmation
3 replies
arcticfox009
Yesterday at 5:04 PM
arcticfox009
Yesterday at 5:42 PM
[Mathira 2025] T3-1
Magdalo   1
N Yesterday at 5:39 PM by Magdalo
For an integer $n$, let $\sigma(n)$ denote the sum of the digits of $n$. Determine the value of $\sigma(\sigma(\sigma(2024^{2025})))$.
1 reply
Magdalo
Yesterday at 5:37 PM
Magdalo
Yesterday at 5:39 PM
Interesting Polynomial Problem
Ro.Is.Te.   5
N Yesterday at 5:09 PM by Kempu33334
$x^2 - yz + xy + zx = 82$
$y^2 - zx + xy + yz = -18$
$z^2 - xy + zx + yz = 18$
5 replies
Ro.Is.Te.
Yesterday at 12:52 PM
Kempu33334
Yesterday at 5:09 PM
[PMO25 Areas I.12] Round Table Coin Flips
kae_3   1
N Yesterday at 4:03 PM by arcticfox009
Seven people are seated together around a circular table. Each one will toss a fair coin. If the coin shows a head, then the person will stand. Otherwise, the person will remain seated. The probability that after all of the tosses, no two adjacent people are both standing, can be written in the form $p/q$, where $p$ and $q$ are relatively prime positive integers. What is $p+q$?

Answer Confirmation
1 reply
kae_3
Feb 21, 2025
arcticfox009
Yesterday at 4:03 PM
Triangle area as b^2-4ac?
pandev3   6
N Yesterday at 3:56 PM by SpeedCuber7
Hi everyone,

Is it possible for the area of a triangle to be equal to $b^2-4ac$, given that $a, b, c$ are positive integers?

This expression is well-known from the quadratic formula discriminant, but can it also represent the area of a valid triangle? Are there any conditions on $a, b, c$ that make this possible?

I’d love to hear your thoughts, proofs, or examples. Let’s discuss!

P.S. For $a=85, b=369, c=356$, the difference is $1$ (the "discriminant" is exactly $1$ greater than the area).
6 replies
pandev3
Feb 9, 2025
SpeedCuber7
Yesterday at 3:56 PM
[Own problem] geometric sequence of logarithms
aops-g5-gethsemanea2   2
N Yesterday at 3:43 PM by Magdalo
A geometric sequence has the property where the third term is $\log_{10}32$ more than the first term, and the fourth term is $\log_{10}(128\sqrt2)$ more than the second term. Find the first term.
2 replies
aops-g5-gethsemanea2
May 25, 2025
Magdalo
Yesterday at 3:43 PM
find the number of three digit-numbers (repeating decimal)
elpianista227   1
N Yesterday at 3:24 PM by elpianista227
Show that there doesn't exist a three-digit number $\overline{abc}$ such that $0.\overline{ab} = 20(0.\overline{abc})$.
1 reply
elpianista227
Yesterday at 3:19 PM
elpianista227
Yesterday at 3:24 PM
Geometry
IstekOlympiadTeam   27
N Apr 7, 2025 by SimplisticFormulas
Source: All Russian Grade 9 Day 2 P 3
An acute-angled $ABC \ (AB<AC)$ is inscribed into a circle $\omega$. Let $M$ be the centroid of $ABC$, and let $AH$ be an altitude of this triangle. A ray $MH$ meets $\omega$ at $A'$. Prove that the circumcircle of the triangle $A'HB$ is tangent to $AB$. (A.I. Golovanov , A.Yakubov)
27 replies
IstekOlympiadTeam
Dec 12, 2015
SimplisticFormulas
Apr 7, 2025
Geometry
G H J
G H BBookmark kLocked kLocked NReply
Source: All Russian Grade 9 Day 2 P 3
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
IstekOlympiadTeam
542 posts
#1 • 3 Y
Y by jhu08, Adventure10, Mango247
An acute-angled $ABC \ (AB<AC)$ is inscribed into a circle $\omega$. Let $M$ be the centroid of $ABC$, and let $AH$ be an altitude of this triangle. A ray $MH$ meets $\omega$ at $A'$. Prove that the circumcircle of the triangle $A'HB$ is tangent to $AB$. (A.I. Golovanov , A.Yakubov)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sunken rock
4402 posts
#2 • 3 Y
Y by Arjun167, jhu08, Adventure10
Hint: Let $P\in\omega|AP\parallel BC$ and $Q$ the projection of $P$ onto $BC$ ($HAPQ$ is a rectangle) and $N$ midpoint of $BC$. $N$ is also midpoint of $HQ$, thus $H-M-P$ are collinear. Now it is easy to see $\angle BA'P=\angle BCP=\angle ABC$, done.

Best regards,
sunken rock
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ankoganit
3070 posts
#3 • 4 Y
Y by jhu08, Adventure10, Mango247, COCBSGGCTG3
This is also India IMOTC 2016, Practice Test 1, Problem 1.
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
#4 • 3 Y
Y by jhu08, Adventure10, Mango247
Follows from a homothety at the centroid with ratio -2 and angle chasing.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jayme
9801 posts
#5 • 4 Y
Y by govind7701, jhu08, Adventure10, Mango247
Dear Mathlinkers,

1. A" the second point of intersection of MH with (O)
2. AA'' is parallel to BC
3. according to theReim's theorem, we are done...

Sincerely
Jean-Louis
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SidVicious
584 posts
#6 • 3 Y
Y by jhu08, Adventure10, Mango247
Let $A''$ be point on $BC$ such that $BH=CA''$. Let $A_1$ be midpoint of $BC$, then $A_1$ is also midpoint of $HA''$. As $AM : MA_1=2$ we have that $\Delta ABC$ and $\Delta AHA''$ share centroid $M$. Let $L$ be midpoint of $AA''$. Then obviously $L,H,A''$ are collinear. Let $O$ be circumcenter of $\odot (\Delta ABC)$. We have that $O,L,A_1$ are collinear so $\angle HLO=\angle A''LO$ and $OA'=OY$ and $OL=OL$ thus $\Delta A'LO=\Delta LYO$ thus $LA'=LY$ so $A'Y || BC$ (where $Y=AA'' \cap \omega$). Let $X=\omega \cap A'L$. Then because of symmetry we have $AX||A'Y||BC$ thus $AX||BC$ so $\angle ABC=\pi - \angle BAX=\angle BA'X$ and we are done
This post has been edited 1 time. Last edited by SidVicious, Jul 23, 2016, 8:45 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jayme
9801 posts
#7 • 2 Y
Y by jhu08, Adventure10
Dear Mathlinkers,
this problem is also based on

http://www.artofproblemsolving.com/community/c6h1161858_two_parallels

Sincerely
Jean-Louis
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MonsterS
148 posts
#8 • 2 Y
Y by jhu08, Adventure10
Let Ray$ HM$ intersects circumcircle at $A''$
Applying euler circle and a homothety at point M send euler circle to circumcircle .We get $AA'||BC$.
So $\angle AA'A''=\angle ACB=\angle ABC$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
phymaths
264 posts
#9 • 2 Y
Y by jhu08, Adventure10
Just consider a Homothety taking medial triangle to Triangle $ABC$ with $M$ as centre of homothety and Ratio $1/2$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sa2001
281 posts
#10 • 3 Y
Y by jhu08, Adventure10, Mango247
A solution using a little of complex numbers and a little of synthetic geometry-
This post has been edited 4 times. Last edited by sa2001, Feb 10, 2018, 11:42 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Vrangr
1600 posts
#12 • 3 Y
Y by jhu08, Adventure10, Mango247
Let $K \in \omega$ such that $AK \parallel BC$.
Consider the homothety with ratio $-2$ at $M$. Under this homothety $H \to K$. Thus, $H, M, K$ are collinear. Note that $AKBC$ is an isosceles trapezium.
\[\measuredangle BA'H = \measuredangle BA'K = \measuredangle BCK = \measuredangle ABC = \measuredangle ABH\quad\blacksquare\]
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
math_pi_rate
1218 posts
#13 • 2 Y
Y by jhu08, Adventure10
ARO Restated wrote:
An acute-angled $\triangle ABC \ (AB<AC)$ is inscribed into a circle $\omega$. Let $G$ be the centroid of $\triangle ABC$, and let $\overline{AD}$ be an altitude of this triangle. Ray $\overline{GD}$ meets $\omega$ at $X$. Prove that the circumcircle of the triangle $XDB$ is tangent to $\overline{AB}$.
Here's my solution: Let $P$ be the point such that $APCB$ is an isosceles trapezoid. Then, by an easy homothety argument, we can see that $P$ lies on line $\overline{GDX}$. Invert about $A$ with radius $\sqrt{AB \cdot AC}$ followed by reflection in the angle bisector of $\angle BAC$. Then $D$ gets sent to the antipode of $A$ in $\omega$ (say $A'$), while $B$ gets swapped with $C$. Also, $P$ goes to a point $T \in \overline{BC}$ such that $\overline{AT}$ is tangent to $\omega$, and so $X$ gets sent to the point $X'=\odot (AA'T) \cap \overline{BC}$. As $\angle A'AT=90^{\circ}$, so we get that $\overline{A'X'} \perp \overline{BC}$. Then the center of $\odot (A'CX')$ lies on $\overline{A'C}$, and so $\odot (A'CX')$ is tangent to $\overline{AC}$. Inverting back, we get the desired result. Hence, done. $\blacksquare$
This post has been edited 1 time. Last edited by math_pi_rate, Dec 20, 2018, 5:18 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
AlastorMoody
2125 posts
#15 • 3 Y
Y by jhu08, Adventure10, Mango247
We'll restate the whole problem and solve: Let $H$ be the foot from $A$ to $\overline{BC}$ in $\Delta ABC$ with $AB<AC$. Let $G$ be centroid of $\Delta ABC$. Let $M$ be midpoint of $\overline{BC}$. Let $AM \cap \odot (ABC)$ $=$ $S$. Let $A'$ $\in$ $\odot (ABC)$, such, $AA'$ $||$ $BC$ and Let $A'H$ $\cap$ $\odot (ABC)$ $=$ $X$ $\implies$ $XHMS$ is cyclic. Let $H'$ be reflection of $H$ over $M$ $\implies$ $G$ is centroid WRT $\Delta AHH'$ $\implies$ $G$ $\in$ $\overline{XA'}$ $\implies$ $\angle BXH$ $=$ $\angle BCA'$ $=$ $\angle ABH$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
amar_04
1916 posts
#16 • 2 Y
Y by jhu08, Adventure10
Beautiful problem. :o

Let $HM\cap\odot(ABC)=K$, and let $KO\cap\odot(ABC)=L$ and let $H'$ be the orthocenter of $\triangle ABC$. Draw the Euler line of $\triangle ABC$.
Now it's easy to see that $M$ is the centroid of $\triangle H'LK$. So, $H'H=HL\implies L\in\odot(ABC)$. Hence $L$ is the $K-$ antipode of $\odot(ABC)$, so $\angle HAK=90^\circ\implies AK\|BC$.

Now the rest part is easy, $\angle ABC=\angle BCK=\angle BA'K$. Hence, proved. $\blacksquare$.

P.S
This post has been edited 11 times. Last edited by amar_04, Sep 7, 2019, 12:35 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Steve12345
620 posts
#17 • 2 Y
Y by jhu08, Adventure10
This is also Romania JBMO TST 2018
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
aops29
452 posts
#18 • 2 Y
Y by jhu08, Adventure10
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Feridimo
563 posts
#19 • 3 Y
Y by jhu08, Adventure10, Mango247
http://www.artofproblemsolving.com/community/c6h1159504
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
EulersTurban
386 posts
#20 • 1 Y
Y by jhu08
Let $X$ be the second intersection of $HM$ with $(ABC)$.

We want to show that $BX=AC$, or by angle chase we want to show that $AX \parallel BC$.

Throw the configuration onto the complex plane and let the circumcircle be the unit circle, and denote with lowercase letters of the points their complex values.
Place then such that $c = \frac{1}{b}$.
Then we have that:
$$h=\frac{1}{2}\left( a+b+\frac{1}{b}-\frac{1}{a} \right) $$$$m = \frac{1}{3}\left(a+b+\frac{1}{b}\right)$$
We want to show that $x= \frac{1}{a}$, but we see that this value satisfies:
$$\frac{h-m}{\overline{h-m}}=\frac{h-\frac{1}{a}}{\overline{h-\frac{1}{a}}}$$
Thus we have that $AX \parallel BC$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MatBoy-123
396 posts
#21 • 4 Y
Y by jhu08, Mango247, Mango247, Mango247
EulersTurban wrote:
Let $X$ be the second intersection of $HM$ with $(ABC)$.

We want to show that $BX=AC$, or by angle chase we want to show that $AX \parallel BC$.

Throw the configuration onto the complex plane and let the circumcircle be the unit circle, and denote with lowercase letters of the points their complex values.
Place then such that $c = \frac{1}{b}$.
Then we have that:
$$h=\frac{1}{2}\left( a+b+\frac{1}{b}-\frac{1}{a} \right) $$$$m = \frac{1}{3}\left(a+b+\frac{1}{b}\right)$$
We want to show that $x= \frac{1}{a}$, but we see that this value satisfies:
$$\frac{h-m}{\overline{h-m}}=\frac{h-\frac{1}{a}}{\overline{h-\frac{1}{a}}}$$
Thus we have that $AX \parallel BC$.

I just want to know that why putting $c= \frac{1}{b}$ doesn't alter the question condition ??
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Bratin_Dasgupta
598 posts
#22 • 1 Y
Y by Bgmi
$\measuredangle$ represents angles taken modulo $180^{\circ}$
[asy] 
import olympiad; 
size(230); 
pair A = (-1 , 2) , B = (-3 , -2) , C = (4,-2); 
draw(A--B--C--cycle , green); 
draw(circumcircle(A,B,C) , cyan); 
pair D = (0.5 , -2); 
pair E = (1.5 , 0); 
pair F = (-2 , 0); 
pair G = centroid(A,B,C);  
pair H = foot(A,B,C); 
pair A_1 = (-1 , -4.5); 
draw(circumcircle(A_1, H , B) , orange); 
draw(A--H); 
dot("$A$" , A , N); 
dot("$B$" , B , W); 
dot("$C$" , C , NE); 
dot("$D$" , D , NE); 
dot("$E$" , E , NE); 
dot("$F$" , F , W); 
dot("$G$" , G , SW); 
dot("$H$" , H , SW); 
dot("$A_1$" , A_1 , S); 
[/asy]
Let $X \in \omega$ such that $AX \parallel BC$ If we consider a homothety at $M$ with a factor of $-2$. As a result we have $H \mapsto X$ and so we have $H-M-X$. Also we have that $AXBC$ is an isosceles trapezium. Thus we get the following $$\measuredangle BA^{\prime}H = \measuredangle BA^{\prime}X = \measuredangle BCX = \measuredangle ABC = \measuredangle ABH$$$\blacksquare$
This post has been edited 4 times. Last edited by Bratin_Dasgupta, Nov 22, 2021, 3:15 AM
Reason: Made a new diagram :D
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
JAnatolGT_00
559 posts
#23 • 1 Y
Y by jhu08
Let homothety with coefficient $-2$ wrt $M$ maps $H\mapsto D;$ easy to conclude, that $ABCD$ is an isosceles trepezoid.
But then $\measuredangle BA'H=\measuredangle BA'D=\measuredangle BCD=\measuredangle CBA=\measuredangle HBA$, so the conclusion follows.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
BVKRB-
322 posts
#24 • 1 Y
Y by jhu08
One thing I have realised is that Russians love this config a lot
Well know that $A'-H-M-A''$ where $A''$ is such that $ABCA''$ is a cyclic isosceles trapezoid ;)
$$\measuredangle BA'D = \measuredangle BA'A'' = \measuredangle BCA'' = \measuredangle CBA = \measuredangle DBA \ \blacksquare$$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
JAnatolGT_00
559 posts
#25 • 2 Y
Y by BVKRB-, jhu08
BVKRB- wrote:
One thing I have realised is that Russians love this config a lot

Same feeling :)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
REYNA_MAIN
41 posts
#26 • 3 Y
Y by jhu08, SPHS1234, amar_04
Shortage
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
IAmTheHazard
5005 posts
#27 • 1 Y
Y by centslordm
If $A''$ is the other intersection of $\overline{MH}$ with $\omega$ it's not hard to see that $AA''CB$ is an isosceles trapezoid (for instance, use coordinates to prove the converse), so $\angle BA'H=\angle BA'A''=\angle ABC=\angle ABH$ as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mcmp
53 posts
#28
Y by
What.

You’ve got to be serious.

By the configuration in ISL 2011/G4, if $A”=\overline{A’HM}\cap(ABC)\neq A’$ then it’s well known that $AA’’BC$ is an isosceles trapezium, so from there $\measuredangle BA’H=\measuredangle BA’A’’=\measuredangle BAA’’=\measuredangle ABC=\measuredangle ABH$, thus done from alt seg.

:huh: :dry: :huuh:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ihategeo_1969
245 posts
#29
Y by
Why another Why point config. Rename $H$ to $D$, $A'$ to $Y_A$ and let $A'$ be $A$-antipode. If we $\sqrt{bc}$ invert at $A$ in $\triangle ABC$ then $Y_A$ goes to foot of altitude from $A'$ to $\overline{BC}$ and we need to prove $Y_A^*A'C$ is tangent to $\overline{AC}$ which is just because $\angle ACA'=\angle CY_A^*A'=90 ^{\circ}$, done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SimplisticFormulas
128 posts
#30
Y by
Russian geometry never fails to amaze me
Z K Y
N Quick Reply
G
H
=
a