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

G
Topic
First Poster
Last Poster
Woaah a lot of external tangents
egxa   1
N an hour ago by HormigaCebolla
Source: All Russian 2025 11.7
A quadrilateral \( ABCD \) with no parallel sides is inscribed in a circle \( \Omega \). Circles \( \omega_a, \omega_b, \omega_c, \omega_d \) are inscribed in triangles \( DAB, ABC, BCD, CDA \), respectively. Common external tangents are drawn between \( \omega_a \) and \( \omega_b \), \( \omega_b \) and \( \omega_c \), \( \omega_c \) and \( \omega_d \), and \( \omega_d \) and \( \omega_a \), not containing any sides of quadrilateral \( ABCD \). A quadrilateral whose consecutive sides lie on these four lines is inscribed in a circle \( \Gamma \). Prove that the lines joining the centers of \( \omega_a \) and \( \omega_c \), \( \omega_b \) and \( \omega_d \), and the centers of \( \Omega \) and \( \Gamma \) all intersect at one point.
1 reply
egxa
Apr 18, 2025
HormigaCebolla
an hour ago
Equations
Jackson0423   2
N 3 hours ago by rchokler
Solve the system of equations
\[
\begin{cases}
x - y z = 1,\\[2pt]
y - z x = 2,\\[2pt]
z - x y = 4.
\end{cases}
\]
2 replies
Jackson0423
Today at 4:36 PM
rchokler
3 hours ago
Find all functions
Pirkuliyev Rovsen   2
N 3 hours ago by ErTeeEs06
Source: Cup in memory of A.N. Kolmogorov-2023
Find all functions $f\colon \mathbb{R}\to\mathbb{R}$ such that $f(a-b)f(c-d)+f(a-d)f(b-c){\leq}(a-c)f(b-d)$ for all $a,b,c,d{\in}R$


2 replies
Pirkuliyev Rovsen
Feb 8, 2025
ErTeeEs06
3 hours ago
Circumcircle excircle chaos
CyclicISLscelesTrapezoid   25
N 4 hours ago by bin_sherlo
Source: ISL 2021 G8
Let $ABC$ be a triangle with circumcircle $\omega$ and let $\Omega_A$ be the $A$-excircle. Let $X$ and $Y$ be the intersection points of $\omega$ and $\Omega_A$. Let $P$ and $Q$ be the projections of $A$ onto the tangent lines to $\Omega_A$ at $X$ and $Y$ respectively. The tangent line at $P$ to the circumcircle of the triangle $APX$ intersects the tangent line at $Q$ to the circumcircle of the triangle $AQY$ at a point $R$. Prove that $\overline{AR} \perp \overline{BC}$.
25 replies
CyclicISLscelesTrapezoid
Jul 12, 2022
bin_sherlo
4 hours ago
hard problem
Cobedangiu   7
N 4 hours ago by arqady
Let $x,y,z>0$ and $xy+yz+zx=3$ : Prove that :
$\sum  \ \frac{x}{y+z}\ge\sum  \frac{1}{\sqrt{x+3}}$
7 replies
Cobedangiu
Apr 2, 2025
arqady
4 hours ago
Combo problem
soryn   2
N 4 hours ago by Anulick
The school A has m1 boys and m2 girls, and ,the school B has n1 boys and n2 girls. Each school is represented by one team formed by p students,boys and girls. If f(k) is the number of cases for which,the twice schools has,togheter k girls, fund f(k) and the valute of k, for which f(k) is maximum.
2 replies
soryn
Today at 6:33 AM
Anulick
4 hours ago
Calculate the distance of chess king!!
egxa   4
N 4 hours ago by Primeniyazidayi
Source: All Russian 2025 9.4
A chess king was placed on a square of an \(8 \times 8\) board and made $64$ moves so that it visited all squares and returned to the starting square. At every moment, the distance from the center of the square the king was on to the center of the board was calculated. A move is called $\emph{pleasant}$ if this distance becomes smaller after the move. Find the maximum possible number of pleasant moves. (The chess king moves to a square adjacent either by side or by corner.)
4 replies
egxa
Apr 18, 2025
Primeniyazidayi
4 hours ago
As some nations like to say "Heavy theorems mostly do not help"
Assassino9931   9
N 5 hours ago by EVKV
Source: European Mathematical Cup 2022, Senior Division, Problem 2
We say that a positive integer $n$ is lovely if there exist a positive integer $k$ and (not necessarily distinct) positive integers $d_1$, $d_2$, $\ldots$, $d_k$ such that $n = d_1d_2\cdots d_k$ and $d_i^2 \mid n + d_i$ for $i=1,2,\ldots,k$.

a) Are there infinitely many lovely numbers?

b) Is there a lovely number, greater than $1$, which is a perfect square of an integer?
9 replies
Assassino9931
Dec 20, 2022
EVKV
5 hours ago
congruence
moldovan   5
N 5 hours ago by EVKV
Source: Canada 2004
Let $p$ be an odd prime. Prove that:
\[\displaystyle\sum_{k=1}^{p-1}k^{2p-1} \equiv \frac{p(p+1)}{2} \pmod{p^2}\]
5 replies
moldovan
Jun 26, 2009
EVKV
5 hours ago
Checking a summand property for integers sufficiently large.
DinDean   1
N 5 hours ago by Double07
For any fixed integer $m\geqslant 2$, prove that there exists a positive integer $f(m)$, such that for any integer $n\geqslant f(m)$, $n$ can be expressed by a sum of positive integers $a_i$'s as
\[n=a_1+a_2+\dots+a_m,\]where $a_1\mid a_2$, $a_2\mid a_3$, $\dots$, $a_{m-1}\mid a_m$.
1 reply
DinDean
Today at 5:21 PM
Double07
5 hours ago
real+ FE
pomodor_ap   4
N 5 hours ago by jasperE3
Source: Own, PDC001-P7
Let $f : \mathbb{R}^+ \to \mathbb{R}^+$ be a function such that
$$f(x)f(x^2 + y f(y)) = f(x)f(y^2) + x^3$$for all $x, y \in \mathbb{R}^+$. Determine all such functions $f$.
4 replies
pomodor_ap
Yesterday at 11:24 AM
jasperE3
5 hours ago
Tangent circles
oVlad   6
N Sep 15, 2024 by Helixglich
Source: Russian TST 2018, Day 9 P2 (Group NG), P4 (Groups A & B)
The point $K{}$ is the middle of the arc $BAC$ of the circumcircle of the triangle $ABC$. The point $I{}$ is the center of its inscribed circle $\omega$. The line $KI$ intersects the circumcircle of the triangle $ABC$ at $T{}$ for the second time. Prove that the circle passing through the midpoints of the segments $BC, BT$ and $CT$ is tangent to the circle which is symmetric to $\omega$ with respect to $BC$.
6 replies
oVlad
Mar 30, 2023
Helixglich
Sep 15, 2024
Tangent circles
G H J
G H BBookmark kLocked kLocked NReply
Source: Russian TST 2018, Day 9 P2 (Group NG), P4 (Groups A & B)
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
oVlad
1742 posts
#1 • 2 Y
Y by NO_SQUARES, Rounak_iitr
The point $K{}$ is the middle of the arc $BAC$ of the circumcircle of the triangle $ABC$. The point $I{}$ is the center of its inscribed circle $\omega$. The line $KI$ intersects the circumcircle of the triangle $ABC$ at $T{}$ for the second time. Prove that the circle passing through the midpoints of the segments $BC, BT$ and $CT$ is tangent to the circle which is symmetric to $\omega$ with respect to $BC$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
hef4875
131 posts
#2
Y by
Bump for this
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
nguyenducmanh2705
26 posts
#4
Y by
Bump....
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
JafoNoksy
3 posts
#5 • 1 Y
Y by NO_SQUARES
In file you can see my solution.
Attachments:
something.pdf (383kb)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
NO_SQUARES
1075 posts
#6 • 1 Y
Y by JafoNoksy
JafoNoksy wrote:
In file you can see my solution.

Very nice solution and problem!
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
math_comb01
662 posts
#7
Y by
We claim this circle is ninepoint circle reflected over $MI$ which finishes by feurbach tangency, and so it suffices to show that $MI$ passes through the midpoint of $AT'$ call it $W$.It suffices to show $WMI$ are collinear and $W$ is on NPC, the latter follows by homoethety of $2$ at $A$ and the former, let nagel cevian meet farther incircle at $L$ then well known $AL \parallel MI$, so suffices to show reflection of $T'$ over $I$ lies on nagellian but follows as $MT'$ is refl of nagellian in $I$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Helixglich
113 posts
#8
Y by
Perhaps a more reasonable solution. Let $T$' be the reflection of $T$ over $BC$. Now take homothety at $T$' with factor $2$. This leads to proving that this homothetized circle is tangent to the circumcircle. Work with classical incentre setup.
$t = \frac{k-p}{k\overline{p}-1} = -\frac{2abc+a^2b+a^2c}{2a+b+c}$. Now we compute $t' = b^2+c^2+b^2c^2\frac{2a+b+c}{2abc+a^2b+a^2c}$ and hence $-i' = 2(ab+bc+ca)+b^2+c^2+b^2c^2\frac{2a+b+c}{2abc+a^2b+a^2c} = \frac{(2a+b+c)(ab+bc+ca)^2}{a(2bc+ab+ac)}$.
Hence we conclude that the power of $I$' with respect to the circumcircle is $i'\overline{i'} = \frac{(a+b+c)^2(ab+bc+ca)^2}{a^2b^2c^2} = (\overline{i}i)^2$ and thus we are done as this clearly implies that $Pow(I',(ABC)) = (2Rr)^2$.
Z K Y
N Quick Reply
G
H
=
a