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

G
Topic
First Poster
Last Poster
Circumcircle excircle chaos
CyclicISLscelesTrapezoid   25
N 2 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
2 hours ago
hard problem
Cobedangiu   7
N 2 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
2 hours ago
Combo problem
soryn   2
N 3 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
3 hours ago
Calculate the distance of chess king!!
egxa   4
N 3 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
3 hours ago
As some nations like to say "Heavy theorems mostly do not help"
Assassino9931   9
N 3 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
3 hours ago
congruence
moldovan   5
N 4 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
4 hours ago
Checking a summand property for integers sufficiently large.
DinDean   1
N 4 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
5 hours ago
Double07
4 hours ago
real+ FE
pomodor_ap   4
N 4 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
4 hours ago
FE solution too simple?
Yiyj1   8
N 4 hours ago by lksb
Source: 101 Algebra Problems from the AMSP
Find all functions $f: \mathbb{R} \rightarrow \mathbb{R}$ such that the equality $$f(f(x)+y) = f(x^2-y)+4f(x)y$$holds for all pairs of real numbers $(x,y)$.

My solution

I feel like my solution is too simple. Is there something I did wrong or something I missed?
8 replies
Yiyj1
Apr 9, 2025
lksb
4 hours ago
Polynomials in Z[x]
BartSimpsons   16
N 4 hours ago by bin_sherlo
Source: European Mathematical Cup 2017 Problem 4
Find all polynomials $P$ with integer coefficients such that $P (0)\ne  0$ and $$P^n(m)\cdot P^m(n)$$is a square of an integer for all nonnegative integers $n, m$.

Remark: For a nonnegative integer $k$ and an integer $n$, $P^k(n)$ is defined as follows: $P^k(n) = n$ if $k = 0$ and $P^k(n)=P(P(^{k-1}(n))$ if $k >0$.

Proposed by Adrian Beker.
16 replies
BartSimpsons
Dec 27, 2017
bin_sherlo
4 hours ago
AD=BE implies ABC right
v_Enhance   113
N Apr 13, 2025 by LeYohan
Source: European Girl's MO 2013, Problem 1
The side $BC$ of the triangle $ABC$ is extended beyond $C$ to $D$ so that $CD = BC$. The side $CA$ is extended beyond $A$ to $E$ so that $AE = 2CA$. Prove that, if $AD=BE$, then the triangle $ABC$ is right-angled.
113 replies
v_Enhance
Apr 10, 2013
LeYohan
Apr 13, 2025
AD=BE implies ABC right
G H J
G H BBookmark kLocked kLocked NReply
Source: European Girl's MO 2013, Problem 1
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
v_Enhance
6874 posts
#1 • 16 Y
Y by Davi-8191, thedoge, microsoft_office_word, ImSh95, son7, Jc426, HWenslawski, Amiralishafiei, HamstPan38825, TheHawk, Adventure10, Mango247, ItsBesi, MS_asdfgzxcvb, NicoN9, Yiyj1
The side $BC$ of the triangle $ABC$ is extended beyond $C$ to $D$ so that $CD = BC$. The side $CA$ is extended beyond $A$ to $E$ so that $AE = 2CA$. Prove that, if $AD=BE$, then the triangle $ABC$ is right-angled.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
leader
339 posts
#2 • 4 Y
Y by thedoge, HWenslawski, Adventure10, Mango247
let $X$ be symmetric point of $A$ wrt $C$ than $ABXD$ is a parallelogram and $\angle CAD=\angle BXE$ and $BX=AD=BE$
so let $M$ be the midpoint of $AE$ since $\angle BEM=\angle BXE=\angle CAD$ , $CA=AE/2=ME$ and $AD=BE$ we have $BEM\cong CAD$ so $BM=CD=CB$ so since $BMC$ is $B$-isosceles and $A$ is the midpoint of $CM$ then $\angle BAC=90$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Number1
355 posts
#3 • 11 Y
Y by v_Enhance, leader, MSTang, biomathematics, thedoge, govind7701, Illuzion, Not_real_name, egxa, Adventure10, Mango247
Let $M$ be midpoint for $BE$.

We see that $A$ is gravty center for triangle $BDE$. Then $M$ is circumcenter for triangle $ABE$ thus $\angle BAC = \pi/2$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
v_Enhance
6874 posts
#4 • 7 Y
Y by thczarif, guadasola, ImSh95, Jc426, HamstPan38825, Adventure10, Yiyj1
Nice solutions! Unfortunately this is pretty easy to bash with the cosine law, which is probably why it's a problem 1. Indeed, applying the law of cosines to $\triangle DCA$ and $\triangle ECB$ and solving for $\cos \angle ACB$ directly gives $\cos \angle ACB = \tfrac{CA}{CB}$, implying the conclusion.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Particle
179 posts
#5 • 2 Y
Y by Adventure10 and 1 other user
Suppose $M$ is the mid-point of $AB$ and $N$ is the mid-point of $AE$. So we see $MN=\frac 1 2 BE=\frac 1 2 AD=MC$. Also $NA=\frac 1 2 AE=AC$. So $\triangle MAN\cong MAC\implies \angle MAN=\angle MAC=\pi /2$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
yunxiu
571 posts
#6 • 1 Y
Y by Adventure10
Denote $AC = x$, $BC = y$, $BE = AD = z$, By $Stewart$ theorem ${x^2} + {y^2} = \frac{1}{2}A{B^2} + \frac{1}{2}{z^2}$, and $A{B^2} + 2{x^2} = \frac{2}{3}{y^2} + \frac{1}{3}{z^2}$.
$ \times 2 - $$ \times 3$ we have ${y^2} = {x^2} + A{B^2}$, so $\angle BAC = 90^\circ $.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Orin
22 posts
#7 • 4 Y
Y by E2lmontes, Adventure10, Mango247, and 1 other user
Let $F$ be the reflection of $A$ in $C$. So $AE=AF$ and $ABFD$ is a parallelogram
which implies $BE=AD=BF$. So $\triangle ABE \cong \triangle ABF \Rightarrow \angle BAC=90^{\circ}$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
XtremeBanana5
73 posts
#8 • 2 Y
Y by Adventure10, Mango247
LoC on $\triangle ABE$ : $BE^2 = 4b^2 + c^2 + 4bc \cos A$
LoC on $\triangle ABC$ : $2a^2 = 2b^2 + 2c^2 - 4bc \cos A$
Adding and solving for $BE$ gives $BE^2 = 6b^2 + 3c^2 - 2a^2$

LoC on $\triangle ACD$ : $AD^2 = a^2 + b^2 + 2ab \cos C$
LoC on $\triangle ABC$ : $c^2 = a^2 + b^2 - 2ab \cos C$
Solving for $AD$ gives $AD^2 = 2a^2 + 2b^2 - c^2$

Setting these two equal we get
$6b^2 + 3c^2 - 2a^2 = 2a^2 + 2b^2 - c^2$
or $4b^2 + 4c^2 = 4a^2$ so $\triangle ABC $ is right
This post has been edited 1 time. Last edited by v_Enhance, Apr 14, 2013, 4:18 PM
Reason: Use \cos.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Abu3gab
8 posts
#9 • 2 Y
Y by Adventure10, Mango247
http://www.artofproblemsolving.com/Forum/download/file.php?mode=view&id=43658&
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
aZpElr68Cb51U51qy9OM
1600 posts
#10 • 6 Y
Y by v_Enhance, GoJensenOrGoHome, AlastorMoody, myh2910, Adventure10, Mango247
We use barycentric coordinates. Let $A = (1, 0, 0), B = (0, 1, 0), C = (0, 0, 1)$, and let $BC = a, CA = b, AB = c$.

Since $\frac{BC}{CD} = 1$ and $\frac{CA}{AE} = \frac{1}{2}$, we have that $D = (0, -1, 2)$ and $E = (3, 0, -2)$. By the Distance Formula, the lengths of displacement vectors $\overrightarrow{AD} = (-1, -1, 2)$ and $\overrightarrow{BE} = (3, -1, -2)$ can be found:
\[|AD|^2 = -2a^2-2b^2+c^2\]\[|BE|^2 = 2a^2 - 6b^2 - 3c^2\]
The condition that $AD = BE$ implies that $4a^2 + 4b^2 = 4c^2$, so $a^2+b^2=c^2$; therefore, $\triangle ABC$ is right.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
djmathman
7938 posts
#11 • 3 Y
Y by Jc426, Adventure10, Mango247
Let $BC=a$, $CA=b$, $AB=c$. In addition, use $A$, $B$, $C$ as shorthands for $\angle BAC$, $\angle ABC$, $\angle ACB$ respectively. By LoC on $\triangle ACD$, we get that \[AD^2=b^2+a^2-2ab\cos\angle ACD=b^2+a^2+2ab\cos C.\] By Law of Cosines on $\triangle ABE$, we get that \[BE^2=(2b)^2+c^2-2(2b)(c)\cos\angle EAB=4b^2+c^2+4bc\cos A.\] Combining these two gives \begin{align*}a^2+b^2+2ab\cos\angle C &= 4b^2 + c^2 + 4bc\cos A= 4b^2 + (a^2+b^2-2ab\cos C) + 4bc\cos A\\ 4ab\cos C &= 4b^2 + 4bc\cos A\\ b &= a\cos C-c\cos A,\end{align*} which (I believe) holds true iff $A=90^\circ$. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
NewAlbionAcademy
910 posts
#12 • 2 Y
Y by Adventure10, balllightning37
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
srinidhi321
132 posts
#13 • 3 Y
Y by ItsBesi, Adventure10, Mango247
let $AD$ meet $BE$ at $P$ and $X$ be the mid point of $AE$
Now,$A$ is the centroid of $\triangle EBD$
So $PA=\frac { AD }{ 2 } $
And $P$ is the mid point of $EB$ So $PA=\frac { AD }{ 2 } $
So $PE=PA$ and hence $\triangle PAE$ is isosceles .
So,$PX\bot AE$ but $PX\parallel BA$
So. $BA\bot AC$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
AllonsyAllonso
148 posts
#14 • 6 Y
Y by Mathematist07, Aryan-23, lambda5, Adventure10, Mango247, and 1 other user
Let $ ABXD $ parallelogram.$ AX $ intersects $ BD $ at $ C $. Then $ EB=AD=BX $ and $ EA=AX $ because of $ ABXD $ parallelogram and $ \frac{EA}{2}=AC=BX  $. So $ A $ is the midpoint of the $ EX $ and $ EBX $ isosceles triangle then $ BA\bot AC $.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mathematist07
1 post
#15 • 1 Y
Y by Adventure10
AllonsyAllonso wrote:
Let $ ABXD $ parallelogram.$ AX $ intersects $ BD $ at $ C $. Then $ EB=AD=BX $ and $ EA=AX $ because of $ ABXD $ parallelogram and $ \frac{EA}{2}=AC=BX  $. So $ A $ is the midpoint of the $ EX $ and $ EBX $ isosceles triangle then $ BA\bot AC $.

Very nice solution thanks :D
Z K Y
G
H
=
a