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

G
Topic
First Poster
Last Poster
Problem 1
SpectralS   146
N an hour ago by YaoAOPS
Given triangle $ABC$ the point $J$ is the centre of the excircle opposite the vertex $A.$ This excircle is tangent to the side $BC$ at $M$, and to the lines $AB$ and $AC$ at $K$ and $L$, respectively. The lines $LM$ and $BJ$ meet at $F$, and the lines $KM$ and $CJ$ meet at $G.$ Let $S$ be the point of intersection of the lines $AF$ and $BC$, and let $T$ be the point of intersection of the lines $AG$ and $BC.$ Prove that $M$ is the midpoint of $ST.$

(The excircle of $ABC$ opposite the vertex $A$ is the circle that is tangent to the line segment $BC$, to the ray $AB$ beyond $B$, and to the ray $AC$ beyond $C$.)

Proposed by Evangelos Psychas, Greece
146 replies
SpectralS
Jul 10, 2012
YaoAOPS
an hour ago
Bounding number of solutions for floor function equation
Ciobi_   1
N an hour ago by sarjinius
Source: Romania NMO 2025 9.3
Let $n \geq 2$ be a positive integer. Consider the following equation: \[ \{x\}+\{2x\}+ \dots + \{nx\} = \lfloor x \rfloor + \lfloor 2x \rfloor + \dots + \lfloor 2nx \rfloor\]a) For $n=2$, solve the given equation in $\mathbb{R}$.
b) Prove that, for any $n \geq 2$, the equation has at most $2$ real solutions.
1 reply
Ciobi_
Apr 2, 2025
sarjinius
an hour ago
nice system of equations
outback   4
N 2 hours ago by Raj_singh1432
Solve in positive numbers the system

$ x_1+\frac{1}{x_2}=4, x_2+\frac{1}{x_3}=1, x_3+\frac{1}{x_4}=4, ..., x_{99}+\frac{1}{x_{100}}=4, x_{100}+\frac{1}{x_1}=1$
4 replies
outback
Oct 8, 2008
Raj_singh1432
2 hours ago
Two circles, a tangent line and a parallel
Valentin Vornicu   103
N 2 hours ago by zuat.e
Source: IMO 2000, Problem 1, IMO Shortlist 2000, G2
Two circles $ G_1$ and $ G_2$ intersect at two points $ M$ and $ N$. Let $ AB$ be the line tangent to these circles at $ A$ and $ B$, respectively, so that $ M$ lies closer to $ AB$ than $ N$. Let $ CD$ be the line parallel to $ AB$ and passing through the point $ M$, with $ C$ on $ G_1$ and $ D$ on $ G_2$. Lines $ AC$ and $ BD$ meet at $ E$; lines $ AN$ and $ CD$ meet at $ P$; lines $ BN$ and $ CD$ meet at $ Q$. Show that $ EP = EQ$.
103 replies
Valentin Vornicu
Oct 24, 2005
zuat.e
2 hours ago
Inequalities
idomybest   3
N 3 hours ago by damyan
Source: The Interesting Around Technical Analysis Three Variable Inequalities
The problem is in the attachment below.
3 replies
idomybest
Oct 15, 2021
damyan
3 hours ago
Function on positive integers with two inputs
Assassino9931   2
N 3 hours ago by Assassino9931
Source: Bulgaria Winter Competition 2025 Problem 10.4
The function $f: \mathbb{Z}_{>0} \times \mathbb{Z}_{>0} \to \mathbb{Z}_{>0}$ is such that $f(a,b) + f(b,c) = f(ac, b^2) + 1$ for any positive integers $a,b,c$. Assume there exists a positive integer $n$ such that $f(n, m) \leq f(n, m + 1)$ for all positive integers $m$. Determine all possible values of $f(2025, 2025)$.
2 replies
Assassino9931
Jan 27, 2025
Assassino9931
3 hours ago
Normal but good inequality
giangtruong13   4
N 3 hours ago by IceyCold
Source: From a province
Let $a,b,c> 0$ satisfy that $a+b+c=3abc$. Prove that: $$\sum_{cyc} \frac{ab}{3c+ab+abc} \geq \frac{3}{5} $$
4 replies
giangtruong13
Mar 31, 2025
IceyCold
3 hours ago
Tiling rectangle with smaller rectangles.
MarkBcc168   61
N 3 hours ago by YaoAOPS
Source: IMO Shortlist 2017 C1
A rectangle $\mathcal{R}$ with odd integer side lengths is divided into small rectangles with integer side lengths. Prove that there is at least one among the small rectangles whose distances from the four sides of $\mathcal{R}$ are either all odd or all even.

Proposed by Jeck Lim, Singapore
61 replies
MarkBcc168
Jul 10, 2018
YaoAOPS
3 hours ago
A magician has one hundred cards numbered 1 to 100
Valentin Vornicu   49
N 3 hours ago by YaoAOPS
Source: IMO 2000, Problem 4, IMO Shortlist 2000, C1
A magician has one hundred cards numbered 1 to 100. He puts them into three boxes, a red one, a white one and a blue one, so that each box contains at least one card. A member of the audience draws two cards from two different boxes and announces the sum of numbers on those cards. Given this information, the magician locates the box from which no card has been drawn.

How many ways are there to put the cards in the three boxes so that the trick works?
49 replies
Valentin Vornicu
Oct 24, 2005
YaoAOPS
3 hours ago
Nice inequality
sqing   2
N 3 hours ago by Seungjun_Lee
Source: WYX
Let $a_1,a_2,\cdots,a_n  (n\ge 2)$ be real numbers . Prove that : There exist positive integer $k\in \{1,2,\cdots,n\}$ such that $$\sum_{i=1}^{n}\{kx_i\}(1-\{kx_i\})<\frac{n-1}{6}.$$Where $\{x\}=x-\left \lfloor x \right \rfloor.$
2 replies
sqing
Apr 24, 2019
Seungjun_Lee
3 hours ago
Concurrency
Dadgarnia   27
N 3 hours ago by zuat.e
Source: Iranian TST 2020, second exam day 2, problem 4
Let $ABC$ be an isosceles triangle ($AB=AC$) with incenter $I$. Circle $\omega$ passes through $C$ and $I$ and is tangent to $AI$. $\omega$ intersects $AC$ and circumcircle of $ABC$ at $Q$ and $D$, respectively. Let $M$ be the midpoint of $AB$ and $N$ be the midpoint of $CQ$. Prove that $AD$, $MN$ and $BC$ are concurrent.

Proposed by Alireza Dadgarnia
27 replies
Dadgarnia
Mar 12, 2020
zuat.e
3 hours ago
ABCD cyclic --> incenters of BCD, etc. form rectangle
Arne   12
N Oct 23, 2023 by ismayilzadei1387
Source: Kedlaya; also: APMO 1996, Problem 3
If $ABCD$ is a cyclic quadrilateral, then prove that the incenters of the triangles $ABC$, $BCD$, $CDA$, $DAB$ are the vertices of a rectangle.
12 replies
Arne
Jan 23, 2005
ismayilzadei1387
Oct 23, 2023
ABCD cyclic --> incenters of BCD, etc. form rectangle
G H J
Source: Kedlaya; also: APMO 1996, Problem 3
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Arne
3660 posts
#1 • 2 Y
Y by Adventure10, Mango247
If $ABCD$ is a cyclic quadrilateral, then prove that the incenters of the triangles $ABC$, $BCD$, $CDA$, $DAB$ are the vertices of a rectangle.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
kueh
392 posts
#2 • 6 Y
Y by Pluto1708, Adventure10, anonman, Mango247, Stuffybear, and 1 other user
By angle chasing.

You can show that the incentres of ABC (K), BCD (L), B and C are cyclic because angle CLB = 180 - DCB/2 - DBC/2 = 90 + BDC/2, and similarly, angle CKB = 90 + BAC/2. But BAC = BDC. Thus CLB = CKB and so B,C,K,L are concyclic. Also if we call the incentre of ADC (M), D,C,L,M is cyclic. angle KLC = 180 - angle LBC, angle MLC = 180 - MDC, thus angle KLM = angle KBC + angle MDC = (ADC+ABC)/2 = 90, which is what we want.

PS: Can someone give me a crashcourse on latex? or point to me where?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
darij grinberg
6555 posts
#3 • 2 Y
Y by Adventure10, Mango247
It can be proved by complex numbers... See also

Paul Yiu, Notes on Euclidean Geometry, paragraph 10.2.6 (page 154);
Barry Wolk, Hyacinthos message #8154,
Alexey A.Zaslavsky, Hyacinthos message #8178.

darij
This post has been edited 1 time. Last edited by darij grinberg, Jun 15, 2006, 3:54 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
pavel kozlov
615 posts
#4 • 1 Y
Y by Adventure10
There is the converse of this fact (from Russian Summer TST 2005):
Let $ABCD$ be a quadrilateral. The incentres of the triangles $ABC, BCD, CDA, DAB$ form a rectangle. Proove, that $ABCD$ is cyclic.
It's very interesting and rather difficult problem.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jayme
9782 posts
#5 • 3 Y
Y by govind7701, Adventure10, Mango247
Dear Mathlinkers,

http://jl.ayme.pagesperso-orange.fr/Docs/Le%20rectangle%20de%20Ryokan%20Maruyama.pdf

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.
purplish
299 posts
#6 • 3 Y
Y by Pluto1708, Adventure10, Mango247
We use complex numbers. Plot the points on the unit circle. Then we can choose $a,b,c,d$ such that $A=a^2,B=b^2,C=c^2,D=d^2$, and \[I_{ABC}=-bc-ca-ab,I_{BCD}=-cd-db-bc,I_{CDA}=da+ac-cd,I_{DAB}=-ab+bd+da.\]Then we can compute \[I_{ABC}+I_{CDA}=-ab-bc-cd+da=I_{BCD}+I_{DAB}\]and
\begin{align*}
\left|I_{ABC}-I_{CDA}\right|^2&=\left|-bc-2ca-ab-da+cd\right|^2=\frac{1}{abcd}\left(-bc-2ca-ab-da+cd\right)\left(-ad-2bd-cd-bc+ab\right)\\
&=\frac{1}{abcd}\left(-cd-2db-bc-da+ab\right)\left(-ab-2ac-ad-bc+cd\right)=\left|-cd-2db-bc-da+ab\right|^2=\left|I_{BCD}-I_{DAB}\right|^2
\end{align*}so the incenters form a rectangle.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
zuss77
520 posts
#7 • 1 Y
Y by yellowhanoi
Labels are on the diagram.
By Fact 5 $AMNB$ is cyclic. And so is $AMQD$.
$\angle NMQ=\angle B/2 +\angle D/2=90^\circ$. And similarly the others.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
denery
180 posts
#8
Y by
i only could find those right angles on the rectangle by drawing external tangents
and since it is a quadrilateral
it must be a square or rectangle
and by length chasing interestingly we could say that that square/rectangle is definitely composed of rectangles
This post has been edited 1 time. Last edited by denery, Dec 15, 2020, 6:21 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
primesarespecial
364 posts
#9
Y by
We use complex numbers on this one.
We just easily prove this a parallelogram and then just show perpendicularity once or prove diagonals equal in length. :blush:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sunken rock
4384 posts
#10
Y by
My solution at https://artofproblemsolving.com/community/c6t48f6h24483_abcd_cyclic_gt_incenters_of_bcd_etc_form_rectangle
I hope you will enjoy it!

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.
archimedes26
612 posts
#11
Y by
https://groups.io/g/euclid/topic/81006484#1476
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
archimedes26
612 posts
#12
Y by
Another property.
https://geometry-diary.blogspot.com/2020/11/1521.html
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ismayilzadei1387
219 posts
#13 • 1 Y
Y by FriIzi
Also China 1986 TsT
Z K Y
N Quick Reply
G
H
=
a