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

G
Topic
First Poster
Last Poster
n variables with n-gon sides
mihaig   0
17 minutes ago
Source: Own
Let $n\geq3$ and let $a_1,a_2,\ldots, a_n\geq0$ be reals such that $\sum_{i=1}^{n}{\frac{1}{2a_i+n-2}}=1.$
Prove
$$\frac{24}{(n-1)(n-2)}\cdot\sum_{1\leq i<j<k\leq n}{a_ia_ja_k}\geq3\sum_{i=1}^{n}{a_i}+n.$$
0 replies
mihaig
17 minutes ago
0 replies
How many cases did you check?
avisioner   17
N an hour ago by sansgankrsngupta
Source: 2023 ISL N2
Determine all ordered pairs $(a,p)$ of positive integers, with $p$ prime, such that $p^a+a^4$ is a perfect square.

Proposed by Tahjib Hossain Khan, Bangladesh
17 replies
avisioner
Jul 17, 2024
sansgankrsngupta
an hour ago
Number theory
falantrng   38
N an hour ago by Ilikeminecraft
Source: RMM 2018 D2 P4
Let $a,b,c,d$ be positive integers such that $ad \neq bc$ and $gcd(a,b,c,d)=1$. Let $S$ be the set of values attained by $\gcd(an+b,cn+d)$ as $n$ runs through the positive integers. Show that $S$ is the set of all positive divisors of some positive integer.
38 replies
falantrng
Feb 25, 2018
Ilikeminecraft
an hour ago
USAMO 2001 Problem 5
MithsApprentice   23
N an hour ago by Ilikeminecraft
Let $S$ be a set of integers (not necessarily positive) such that

(a) there exist $a,b \in S$ with $\gcd(a,b)=\gcd(a-2,b-2)=1$;
(b) if $x$ and $y$ are elements of $S$ (possibly equal), then $x^2-y$ also belongs to $S$.

Prove that $S$ is the set of all integers.
23 replies
MithsApprentice
Sep 30, 2005
Ilikeminecraft
an hour ago
IMO 2016 Shortlist, N6
dangerousliri   67
N an hour ago by Ilikeminecraft
Denote by $\mathbb{N}$ the set of all positive integers. Find all functions $f:\mathbb{N}\rightarrow \mathbb{N}$ such that for all positive integers $m$ and $n$, the integer $f(m)+f(n)-mn$ is nonzero and divides $mf(m)+nf(n)$.

Proposed by Dorlir Ahmeti, Albania
67 replies
dangerousliri
Jul 19, 2017
Ilikeminecraft
an hour ago
IMO ShortList 1998, number theory problem 1
orl   54
N an hour ago by Ilikeminecraft
Source: IMO ShortList 1998, number theory problem 1
Determine all pairs $(x,y)$ of positive integers such that $x^{2}y+x+y$ is divisible by $xy^{2}+y+7$.
54 replies
orl
Oct 22, 2004
Ilikeminecraft
an hour ago
IMO Shortlist 2011, Number Theory 3
orl   47
N an hour ago by Ilikeminecraft
Source: IMO Shortlist 2011, Number Theory 3
Let $n \geq 1$ be an odd integer. Determine all functions $f$ from the set of integers to itself, such that for all integers $x$ and $y$ the difference $f(x)-f(y)$ divides $x^n-y^n.$

Proposed by Mihai Baluna, Romania
47 replies
orl
Jul 11, 2012
Ilikeminecraft
an hour ago
IMO ShortList 2002, number theory problem 6
orl   30
N an hour ago by Ilikeminecraft
Source: IMO ShortList 2002, number theory problem 6
Find all pairs of positive integers $m,n\geq3$ for which there exist infinitely many positive integers $a$ such that \[ \frac{a^m+a-1}{a^n+a^2-1}  \] is itself an integer.

Laurentiu Panaitopol, Romania
30 replies
orl
Sep 28, 2004
Ilikeminecraft
an hour ago
Euclid NT
Taco12   12
N an hour ago by Ilikeminecraft
Source: 2023 Fall TJ Proof TST, Problem 4
Find all pairs of positive integers $(a,b)$ such that \[ a^2b-1 \mid ab^3-1. \]
Calvin Wang
12 replies
Taco12
Oct 6, 2023
Ilikeminecraft
an hour ago
A=b
k2c901_1   87
N an hour ago by Ilikeminecraft
Source: Taiwan 1st TST 2006, 1st day, problem 3
Let $a$, $b$ be positive integers such that $b^n+n$ is a multiple of $a^n+n$ for all positive integers $n$. Prove that $a=b$.

Proposed by Mohsen Jamali, Iran
87 replies
k2c901_1
Mar 29, 2006
Ilikeminecraft
an hour ago
Floor of square root
v_Enhance   43
N an hour ago by Ilikeminecraft
Source: APMO 2013, Problem 2
Determine all positive integers $n$ for which $\dfrac{n^2+1}{[\sqrt{n}]^2+2}$ is an integer. Here $[r]$ denotes the greatest integer less than or equal to $r$.
43 replies
v_Enhance
May 3, 2013
Ilikeminecraft
an hour ago
A point on the midline of BC.
EmersonSoriano   5
N Apr 6, 2025 by ehuseyinyigit
Source: 2017 Peru Southern Cone TST P5
Let $ABC$ be an acute triangle with circumcenter $O$. Draw altitude $BQ$, with $Q$ on side $AC$. The parallel line to $OC$ passing through $Q$ intersects line $BO$ at point $X$. Prove that point $X$ and the midpoints of sides $AB$ and $AC$ are collinear.
5 replies
EmersonSoriano
Apr 5, 2025
ehuseyinyigit
Apr 6, 2025
A point on the midline of BC.
G H J
G H BBookmark kLocked kLocked NReply
Source: 2017 Peru Southern Cone TST P5
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
EmersonSoriano
44 posts
#1 • 3 Y
Y by PikaPika999, KAME06, RANDOM__USER
Let $ABC$ be an acute triangle with circumcenter $O$. Draw altitude $BQ$, with $Q$ on side $AC$. The parallel line to $OC$ passing through $Q$ intersects line $BO$ at point $X$. Prove that point $X$ and the midpoints of sides $AB$ and $AC$ are collinear.
This post has been edited 1 time. Last edited by EmersonSoriano, Apr 5, 2025, 7:33 PM
Reason: change
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
RANDOM__USER
7 posts
#2 • 1 Y
Y by PikaPika999
Let \(A\) move projectively on the circumcircle of \(ABC\). Then \(BO\) and \(CO\) remain constant and \(Q\) moves projectively as it is a projection of \(B\) onto a projectively rotating line \(AC\). Now let us consider the point \(\infty_{CO}\) (meaning the point at infinity through which \(OC\) passes), then \(Q\infty_{CO}\) is a projectively moving line, then intersect that line with the constant line \(BO\) to obtain a projectively moving point \(X\). Points \(D\) and \(E\) obviously move projectively. Then essentially, we have the following configuration of projective transformations,

\(A \rightarrow Q \rightarrow \mathcal{P}(\infty_{CO}) \rightarrow BO \rightarrow \mathcal{P}(\infty_{BC})\)

The last step is to obtain the line through \(X\) which is supposed to be the middle line of the triangle. Then we simply consider another projective transformation which maps \(A\) to the midline. All that is left is to prove that both of these transformations are equal, to do this we simply need to consider three convinient positions for \(A\).

Case 1 and 2: If \(AB \perp BC\), then the statement is obvious because \(X\) is the midpoint of \(AC\). The same for \(AC \perp BC\).
Case 3: When \(AB = BC\) the statement is again trivial, due to \(X = Q = E\), where \(E\) is the midpoint of \(AC\).

Thus the two projective transformations are equal and thus \(X\) always lies on the midline of \(\triangle ABC\).
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
hukilau17
283 posts
#3
Y by
Quick complex bash: let $\triangle ABC$ be inscribed in the unit circle so that
$$|a|=|b|=|c|=1$$$$o=0$$$$q=\frac{b^2+ab+bc-ac}{2b}$$Now since $X$ is on line $BO$, we have
$$\overline{x} = \frac{x}{b^2}$$And since $QX\parallel CO$, we have
$$\frac{q-x}{c-o} \in \mathbb{R}$$$$\frac{b^2+ab+bc-ac-2bx}{2bc} = \frac{abc+b^2c+ab^2-b^3-2acx}{2ab^2}$$$$ab^3+a^2b^2+ab^2c-a^2bc-2ab^2x = abc^2+b^2c^2+ab^2c-b^3c-2ac^2x$$$$x = \frac{a^2b^2-a^2bc+ab^3-abc^2+b^3c-b^2c^2}{2ab^2-2ac^2} = \frac{a^2b+ab^2+abc+b^2c}{2ab+2ac} = \frac{b(a+b)(a+c)}{2a(b+c)}$$Then
$$\frac{a+b}2 - x = \frac{a(a+b)(b+c) - b(a+b)(a+c)}{2a(b+c)} = \frac{c(a-b)(a+b)}{2a(b+c)}$$and so
$$\frac{\frac{a+b}2-x}{\frac{a+b}2-\frac{a+c}2} = \frac{c(a-b)(a+b)}{a(b+c)(b-c)}$$which is real. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
KAME06
155 posts
#4
Y by
Let $M$ and $N$ the midpoints of $AB$ and $AC$, respectively; $Y \in OM \cap BQ$ and $\angle OCB=\alpha$
(1)We know that $\triangle BOC$ is isosceles, so $\angle BOC= 180^\circ -2\alpha$. Also, using the Central Angle Theorem: $\angle BAC = \angle MAQ= \angle BAQ= \frac{180^\circ -2\alpha}{2}=90^\circ -\alpha$.
(2)$90^\circ = \angle BQA \Rightarrow \angle YBA = \angle QBA = 180^\circ - \angle BQA - \angle BAQ=180^\circ - 90^\circ +\alpha-90^\circ=\alpha$.
(3)$\angle YAQ = \angle BAC - \angle MAY= 90^\circ -\alpha -\alpha = 90^\circ -2\alpha$ ($\angle MAY = \alpha$ because is well known that $OM$ is the perpendicular bisector of $BA$, so also $YM$ and $\triangle YBA$ is isosceles).
(4)$\angle YMA = \angle YQA = 90^\circ$, so $AMYQ$ must be cyclic. Then, $\angle YAQ= \angle YMQ = 90^\circ -2\alpha$.
(5)$\angle QMA = \angle YMA - \angle YMQ=90^\circ -90^\circ +2\alpha=2\alpha$
(6)We know that $QX \parallel OC$, so $\angle QXB=180^\circ -\angle BOC=180^\circ-180^\circ+2\alpha=2\alpha$.
(7)Using (5) and (6), we deduce that $MQXB$ must be cyclic (supplementary opposite angles). Then $\alpha = \angle MAY = \angle MQY = \angle MQB = \angle MXB$
(8)$\angle MXB = \alpha = \angle OBC = \angle XBC$, so $MX \parallel BC$, but $MN \parallel BC$, so $X$ and the midpoints of sides $AB$ and $AC$ are collinear,
This post has been edited 1 time. Last edited by KAME06, Apr 5, 2025, 10:32 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ehuseyinyigit
810 posts
#6
Y by
Just one ratio and it finishes :)

Let midpoints of $AB$ and $AC$ be $M_C$ and $M_B$ respectively. Then
$$\dfrac{TO}{OB}=\dfrac{TM_B}{M_BQ}=\dfrac{TO}{OC}=\dfrac{TX}{TQ}$$implies line $M_BX$ bisects $\angle QXB$. Thus $\angle QXM_B=\angle OCB$. Since $QX\parallel OC$ we also have $\angle M_BQX=M_BCO$. Thus, $X-M_B-M_C$ as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ehuseyinyigit
810 posts
#7 • 1 Y
Y by teomihai
By the way, an interesting property about the problem is:

Let $B'$ be antipode of the point $B$. Then $AM_BXB'$ is cyclic. Also we have $\triangle ABH\sim \triangle QXM_B$.
Z K Y
N Quick Reply
G
H
=
a