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

G
Topic
First Poster
Last Poster
true or false statement
pennypc123456789   4
N an hour ago by GeoMorocco
if $a,b,c$ are positive real numbers, $k \ge 3$ then
$$
\frac{a + b}{a + kb + c} + \dfrac{b + c}{b + kc + a}+\dfrac{c + a}{c + ka + b} \geq \dfrac{6}{k+2}$$
4 replies
pennypc123456789
5 hours ago
GeoMorocco
an hour ago
Spot the symmetry
FAA2533   4
N 2 hours ago by Blackbeam999
Source: BdMO 2024 Higher Secondary National P5
Let $I$ be the incenter of $\triangle ABC$ and $P$ be a point such that $PI$ is perpendicular to $BC$ and $PA$ is parallel to $BC$. Let the line parallel to $BC$, which is tangent to the incircle of $\triangle ABC$, intersect $AB$ and $AC$ at points $Q$ and $R$ respectively. Prove that $\angle BPQ = \angle CPR$.
4 replies
FAA2533
Mar 18, 2024
Blackbeam999
2 hours ago
Question 2
Valentin Vornicu   88
N 2 hours ago by Nari_Tom
Consider five points $ A$, $ B$, $ C$, $ D$ and $ E$ such that $ ABCD$ is a parallelogram and $ BCED$ is a cyclic quadrilateral. Let $ \ell$ be a line passing through $ A$. Suppose that $ \ell$ intersects the interior of the segment $ DC$ at $ F$ and intersects line $ BC$ at $ G$. Suppose also that $ EF = EG = EC$. Prove that $ \ell$ is the bisector of angle $ DAB$.

Author: Charles Leytem, Luxembourg
88 replies
Valentin Vornicu
Jul 25, 2007
Nari_Tom
2 hours ago
Grid of Quadratics: Root-Enabled Arrangement
mojyla222   1
N 2 hours ago by YaoAOPS
Source: IDMC 2025 P6
Is it possible to place all monic quadratic polynomials with natural coefficients in the cells of an infinite grid on the plane, such that each polynomial is placed in exactly one cell, and for every finite rectangular subgrid with an area greater than one, the sum of the polynomials within that rectangle has a real root?


Proposed by Mojtaba Zare
1 reply
mojyla222
Today at 5:09 AM
YaoAOPS
2 hours ago
Incenter and concurrency
jenishmalla   7
N 2 hours ago by brute12
Source: 2025 Nepal ptst p3 of 4
Let the incircle of $\triangle ABC$ touch sides $BC$, $CA$, and $AB$ at points $D$, $E$, and $F$, respectively. Let $D'$ be the diametrically opposite point of $D$ with respect to the incircle. Let lines $AD'$ and $AD$ intersect the incircle again at $X$ and $Y$, respectively. Prove that the lines $DX$, $D'Y$, and $EF$ are concurrent, i.e., the lines intersect at the same point.

(Kritesh Dhakal, Nepal)
7 replies
jenishmalla
Mar 15, 2025
brute12
2 hours ago
Dear Sqing: So Many Inequalities...
hashtagmath   32
N 2 hours ago by aiops
I have noticed thousands upon thousands of inequalities that you have posted to HSO and was wondering where you get the inspiration, imagination, and even the validation that such inequalities are true? Also, what do you find particularly appealing and important about specifically inequalities rather than other branches of mathematics? Thank you :)
32 replies
hashtagmath
Oct 30, 2024
aiops
2 hours ago
Squares on height in right triangle
Miquel-point   1
N 2 hours ago by LiamChen
Source: Romanian NMO 2025 7.4
Consider the right-angled triangle $ABC$ with $\angle A$ right and $AD\perp BC$, $D\in BC$. On the ray $[AD$ we take two points $E$ and $H$ so that $AE=AC$ and $AH=AB$. Consider the squares $AEFG$ and $AHJI$ containing inside $C$ and $B$, respectively. If $K=EG\cap AC$ and $L=IH\cap AB$, $N=IL\cap GK$ and $M=IB\cap GC$, prove that $LK\parallel BC$ and that $A$, $N$ and $M$ are collinear.
1 reply
Miquel-point
Yesterday at 8:20 PM
LiamChen
2 hours ago
H is incenter of DEF
Melid   1
N 3 hours ago by Melid
Source: own?
In acute scalene triangle ABC, let H be its orthocenter and O be its circumcenter. Circumcircles of triangle AHO, BHO, CHO intersect with circumcircle of triangle ABC at D, E, F, respectively. Prove that incenter of triangle DEF is H.
1 reply
Melid
3 hours ago
Melid
3 hours ago
Inequality results about some function
CatalinBordea   2
N 3 hours ago by Rohit-2006
Source: Romania National Olympiad 2016, grade x, p.2
Let be a function $ f:\mathbb{R}\longrightarrow\mathbb{R} $ satisfying the conditions:
$$ \left\{\begin{matrix} f(x+y) &\le & f(x)+f(y) \\   f(tx+(1-t)y) &\le & t(f(x)) +(1-t)f(y) \end{matrix}\right. , $$for all real numbers $ x,y,t $ with $ t\in [0,1] . $

Prove that:
a) $ f(b)+f(c)\le f(a)+f(d) , $ for any real numbers $ a,b,c,d $ such that $ a\le b\le c\le d $ and $ d-c=b-a. $
b) for any natural number $ n\ge 3 $ and any $ n $ real numbers $ x_1,x_2,\ldots ,x_n, $ the following inequality holds.
$$ f\left( \sum_{1\le i\le n} x_i \right) +(n-2)\sum_{1\le i\le n} f\left( x_i \right)\ge \sum_{1\le i<j\le n} f\left( x_i+x_j \right) $$
2 replies
CatalinBordea
Aug 25, 2019
Rohit-2006
3 hours ago
confusing inequality
giangtruong13   4
N 3 hours ago by giangtruong13
Let $a,b,c>0$ such that: $a^2b^2+ c^2b^2+ a^2c^2=3(abc)^2$. Prove that: $$\sum \frac{b+c}{a} \geq 2\sqrt{3(ab+bc+ca)}$$
4 replies
giangtruong13
Apr 18, 2025
giangtruong13
3 hours ago
Problem 5
blug   2
N Apr 7, 2025 by Avron
Source: Polish Math Olympiad 2025 Finals P5
Convex quadrilateral $ABCD$ is described on a circle $\omega$, and is not a trapezius inscribed in a circle. Let the tangency points of $\omega$ and $AB, BC, CD, DA$ be $K, L, M, N$ respectively. A circle with a center $I_K$, different from $\omega$ is tangent to the segement $AB$ and lines $AD, BC$. A circle with center $I_L$, different from $\omega$ is tangent to segment $BC$ and lines $AB, CD$. A circle with center $I_M$, different from $\omega$ is tangent to segment $CD$ and lines $AD, BC$. A circle with center $I_N$, different from $\omega$ is tangent to segment $AD$ and lines $AB, CD$. Prove that the lines $I_KK, I_LL, I_MM, I_NN$ are concurrent.
2 replies
blug
Apr 4, 2025
Avron
Apr 7, 2025
Problem 5
G H J
G H BBookmark kLocked kLocked NReply
Source: Polish Math Olympiad 2025 Finals P5
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
blug
71 posts
#1 • 1 Y
Y by PikaPika999
Convex quadrilateral $ABCD$ is described on a circle $\omega$, and is not a trapezius inscribed in a circle. Let the tangency points of $\omega$ and $AB, BC, CD, DA$ be $K, L, M, N$ respectively. A circle with a center $I_K$, different from $\omega$ is tangent to the segement $AB$ and lines $AD, BC$. A circle with center $I_L$, different from $\omega$ is tangent to segment $BC$ and lines $AB, CD$. A circle with center $I_M$, different from $\omega$ is tangent to segment $CD$ and lines $AD, BC$. A circle with center $I_N$, different from $\omega$ is tangent to segment $AD$ and lines $AB, CD$. Prove that the lines $I_KK, I_LL, I_MM, I_NN$ are concurrent.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
atdaotlohbh
184 posts
#2 • 2 Y
Y by PikaPika999, ehuseyinyigit
Let's prove that the quadrilaterals $I_KI_LI_MI_N$ and $KLMN$ are homothetical, that is, there is a homothety which sends one into the other. Then lines $I_KK,I_LL,I_MM,I_NN$ would all pass through the center of homothety.
Notice that $I_KI_L \parallel KL$ because both are perpendicular to the angle bisector of angle $ABC$, and the same can be said about other 3 pairs of sides. Now it is enough to prove that $KM \parallel I_KI_M$. But notice that $KM$ is perpendicular to the angle bisector of angle formed by $AB$ and $CD$, and $I_KI_M$ is the angle bisector of angle formed by $BC$ and $AD$. Finally, by Fedor Bakharev's Lemma this two angle bisectors are perpendicular.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Avron
37 posts
#3
Y by
WLOG assume that rays $AD, BC$ intersect at $P$. Clearly $P,I_M,I_K$ are collinear as all of them lie on the angle bisector of $APB$. Now let $I_KI_M$ intersect $CD$ at $S$ and $\angle PDC=\beta, \angle PCD=\gamma$. Then:
\[
\angle I_KSC=180-\angle I_MSC= 180-\angle PSC=\angle SPC+\angle SCP=\frac{1}{2}(180-(\beta+\gamma))+\gamma=90+\frac{\gamma-\beta}{2}
\]and
\[
\angle KMC = \angle KNM = 180-(\angle DNM+\angle ANK)=180-\frac{1}{2}(\angle NDM+\angle NAK)=180-\frac{1}{2}(180-\beta+\gamma)=90+\frac{\gamma-\beta}{2}
\]thus lines $I_MI_K, MK$ are parallel.
Now notice that $I_M,C,I_L$ all lie on the external angle bisector of $DCB$ so they're collinear and $\angle I_MCM=\frac{\gamma}{2}$, $\angle CML=\frac{1}{2}(180-\angle MCL)=\frac{\gamma}{2} so I_MI_L \parallel ML$. Similarly $I_LI_K \parallel LK, I_KI_N\parallel KN, I_N,I_M \parallel NM$ so pairs of triangles $MKL, I_MI_KI_L$ and $MKN,I_MI_KI_N$ are homothetic and we're done.
Z K Y
N Quick Reply
G
H
=
a