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

G
Topic
First Poster
Last Poster
k a April Highlights and 2025 AoPS Online Class Information
jlacosta   0
Apr 2, 2025
Spring is in full swing and summer is right around the corner, what are your plans? At AoPS Online our schedule has new classes starting now through July, so be sure to keep your skills sharp and be prepared for the Fall school year! Check out the schedule of upcoming classes below.

WOOT early bird pricing is in effect, don’t miss out! If you took MathWOOT Level 2 last year, no worries, it is all new problems this year! Our Worldwide Online Olympiad Training program is for high school level competitors. AoPS designed these courses to help our top students get the deep focus they need to succeed in their specific competition goals. Check out the details at this link for all our WOOT programs in math, computer science, chemistry, and physics.

Looking for summer camps in math and language arts? Be sure to check out the video-based summer camps offered at the Virtual Campus that are 2- to 4-weeks in duration. There are middle and high school competition math camps as well as Math Beasts camps that review key topics coupled with fun explorations covering areas such as graph theory (Math Beasts Camp 6), cryptography (Math Beasts Camp 7-8), and topology (Math Beasts Camp 8-9)!

Be sure to mark your calendars for the following events:
[list][*]April 3rd (Webinar), 4pm PT/7:00pm ET, Learning with AoPS: Perspectives from a Parent, Math Camp Instructor, and University Professor
[*]April 8th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MATHCOUNTS State Discussion
April 9th (Webinar), 4:00pm PT/7:00pm ET, Learn about Video-based Summer Camps at the Virtual Campus
[*]April 10th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MathILy and MathILy-Er Math Jam: Multibackwards Numbers
[*]April 22nd (Webinar), 4:00pm PT/7:00pm ET, Competitive Programming at AoPS (USACO).[/list]
Our full course list for upcoming classes is below:
All classes run 7:30pm-8:45pm ET/4:30pm - 5:45pm PT unless otherwise noted.

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

Prealgebra 1
Sunday, Apr 13 - Aug 10
Tuesday, May 13 - Aug 26
Thursday, May 29 - Sep 11
Sunday, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29

Prealgebra 2 Self-Paced

Prealgebra 2
Sunday, Apr 13 - Aug 10
Wednesday, May 7 - Aug 20
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Monday, Apr 7 - Jul 28
Sunday, May 11 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, May 14 - Aug 27
Friday, May 30 - Sep 26
Monday, Jun 2 - Sep 22
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Wednesday, Apr 16 - Jul 2
Thursday, May 15 - Jul 31
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 9 - Sep 24
Sunday, Jul 27 - Oct 19

Introduction to Number Theory
Thursday, Apr 17 - Jul 3
Friday, May 9 - Aug 1
Wednesday, May 21 - Aug 6
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Wednesday, Apr 16 - Jul 30
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
Wednesday, Apr 23 - Oct 1
Sunday, May 11 - Nov 9
Tuesday, May 20 - Oct 28
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19

Intermediate: Grades 8-12

Intermediate Algebra
Monday, Apr 21 - Oct 13
Sunday, Jun 1 - Nov 23
Tuesday, Jun 10 - Nov 18
Wednesday, Jun 25 - Dec 10
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22

Intermediate Counting & Probability
Wednesday, May 21 - Sep 17
Sunday, Jun 22 - Nov 2

Intermediate Number Theory
Friday, Apr 11 - Jun 27
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
Wednesday, Apr 9 - Sep 3
Friday, May 16 - Oct 24
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Tuesday, May 27 - Nov 11
Wednesday, Jun 25 - Dec 17

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
Wednesday, Apr 16 - Jul 2
Friday, May 23 - Aug 15
Monday, Jun 2 - Aug 18
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

MATHCOUNTS/AMC 8 Advanced
Friday, Apr 11 - Jun 27
Sunday, May 11 - Aug 10
Tuesday, May 27 - Aug 12
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Problem Series
Friday, May 9 - Aug 1
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Tuesday, Jun 17 - Sep 2
Sunday, Jun 22 - Sep 21 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Jun 23 - Sep 15
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Final Fives
Sunday, May 11 - Jun 8
Tuesday, May 27 - Jun 17
Monday, Jun 30 - Jul 21

AMC 12 Problem Series
Tuesday, May 27 - Aug 12
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22

AMC 12 Final Fives
Sunday, May 18 - Jun 15

F=ma Problem Series
Wednesday, Jun 11 - Aug 27

WOOT Programs
Visit the pages linked for full schedule details for each of these programs!


MathWOOT Level 1
MathWOOT Level 2
ChemWOOT
CodeWOOT
PhysicsWOOT

Programming

Introduction to Programming with Python
Thursday, May 22 - Aug 7
Sunday, Jun 15 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Tuesday, Jun 17 - Sep 2
Monday, Jun 30 - Sep 22

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22

USACO Bronze Problem Series
Tuesday, May 13 - Jul 29
Sunday, Jun 22 - Sep 1

Physics

Introduction to Physics
Wednesday, May 21 - Aug 6
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15

Physics 1: Mechanics
Thursday, May 22 - Oct 30
Monday, Jun 23 - Dec 15

Relativity
Sat & Sun, Apr 26 - Apr 27 (4:00 - 7:00 pm ET/1:00 - 4:00pm PT)
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
Apr 2, 2025
0 replies
Inspired by old results
sqing   1
N 10 minutes ago by lbh_qys
Source: Own
Let \( a, b, c \) be real numbers.Prove that
$$ \frac{(a - b + c)^2}{  (a^2+  a+1)(b^2+b+1)(c^2+ c+1)} \leq 4$$$$ \frac{(a + b + c)^2}{  (a^2+  a+1)(b^2 +b+1)(c^2+ c+1)} \leq \frac{2(69 + 11\sqrt{33})}{27}$$
1 reply
+1 w
sqing
31 minutes ago
lbh_qys
10 minutes ago
too many equality cases
Scilyse   17
N 15 minutes ago by Confident-man
Source: 2023 ISL C6
Let $N$ be a positive integer, and consider an $N \times N$ grid. A right-down path is a sequence of grid cells such that each cell is either one cell to the right of or one cell below the previous cell in the sequence. A right-up path is a sequence of grid cells such that each cell is either one cell to the right of or one cell above the previous cell in the sequence.

Prove that the cells of the $N \times N$ grid cannot be partitioned into less than $N$ right-down or right-up paths. For example, the following partition of the $5 \times 5$ grid uses $5$ paths.
IMAGE
Proposed by Zixiang Zhou, Canada
17 replies
+1 w
Scilyse
Jul 17, 2024
Confident-man
15 minutes ago
FE over \mathbb{R}
megarnie   6
N 19 minutes ago by jasperE3
Source: Own
Find all functions from the reals to the reals so that \[f(xy)+f(xf(x^2y))=f(x^2)+f(y^2)+f(f(xy^2))+x \]holds for all $x,y\in\mathbb{R}$.
6 replies
megarnie
Nov 13, 2021
jasperE3
19 minutes ago
Inspired by GeoMorocco
sqing   3
N 25 minutes ago by sqing
Source: Own
Let $x,y\ge 0$ such that $ 5(x^3+y^3) \leq 16(1+xy)$. Prove that
$$  k(x+y)-xy\leq  4(k-1)$$Where $k\geq  2.36842106. $
$$  5(x+y)-2xy\leq 12$$
3 replies
sqing
Yesterday at 12:32 PM
sqing
25 minutes ago
2025 OMOUS Problem 6
enter16180   2
N Yesterday at 9:06 PM by loup blanc
Source: Open Mathematical Olympiad for University Students (OMOUS-2025)
Let $A=\left(a_{i j}\right)_{i, j=1}^{n} \in M_{n}(\mathbb{R})$ be a positive semi-definite matrix. Prove that the matrix $B=\left(b_{i j}\right)_{i, j=1}^{n} \text {, where }$ $b_{i j}=\arcsin \left(x^{i+j}\right) \cdot a_{i j}$, is also positive semi-definite for all $x \in(0,1)$.
2 replies
enter16180
Apr 18, 2025
loup blanc
Yesterday at 9:06 PM
Sum of multinomial in sublinear time
programjames1   0
Yesterday at 7:45 PM
Source: Own
A frog begins at the origin, and makes a sequence of hops either two to the right, two up, or one to the right and one up, all with equal probability.

1. What is the probability the frog eventually lands on $(a, b)$?

2. Find an algorithm to compute this in sublinear time.
0 replies
programjames1
Yesterday at 7:45 PM
0 replies
Find the answer
JetFire008   1
N Yesterday at 6:42 PM by Filipjack
Source: Putnam and Beyond
Find all pairs of real numbers $(a,b)$ such that $ a\lfloor bn \rfloor = b\lfloor an \rfloor$ for all positive integers $n$.
1 reply
JetFire008
Yesterday at 12:31 PM
Filipjack
Yesterday at 6:42 PM
Pyramid packing in sphere
smartvong   2
N Yesterday at 4:23 PM by smartvong
Source: own
Let $A_1$ and $B$ be two points that are diametrically opposite to each other on a unit sphere. $n$ right square pyramids are fitted along the line segment $\overline{A_1B}$, such that the apex and altitude of each pyramid $i$, where $1\le i\le n$, are $A_i$ and $\overline{A_iA_{i+1}}$ respectively, and the points $A_1, A_2, \dots, A_n, A_{n+1}, B$ are collinear.

(a) Find the maximum total volume of $n$ pyramids, with altitudes of equal length, that can be fitted in the sphere, in terms of $n$.

(b) Find the maximum total volume of $n$ pyramids that can be fitted in the sphere, in terms of $n$.

(c) Find the maximum total volume of the pyramids that can be fitted in the sphere as $n$ tends to infinity.

Note: The altitudes of the pyramids are not necessarily equal in length for (b) and (c).
2 replies
smartvong
Apr 13, 2025
smartvong
Yesterday at 4:23 PM
Interesting Limit
Riptide1901   1
N Yesterday at 1:45 PM by Svyatoslav
Find $\displaystyle\lim_{x\to\infty}\left|f(x)-\Gamma^{-1}(x)\right|$ where $\Gamma^{-1}(x)$ is the inverse gamma function, and $f^{-1}$ is the inverse of $f(x)=x^x.$
1 reply
Riptide1901
Apr 18, 2025
Svyatoslav
Yesterday at 1:45 PM
2022 Putnam B1
giginori   25
N Yesterday at 12:13 PM by cursed_tangent1434
Suppose that $P(x)=a_1x+a_2x^2+\ldots+a_nx^n$ is a polynomial with integer coefficients, with $a_1$ odd. Suppose that $e^{P(x)}=b_0+b_1x+b_2x^2+\ldots$ for all $x.$ Prove that $b_k$ is nonzero for all $k \geq 0.$
25 replies
giginori
Dec 4, 2022
cursed_tangent1434
Yesterday at 12:13 PM
Number of A^2=I3
EthanWYX2009   1
N Yesterday at 11:21 AM by loup blanc
Source: 2025 taca-14
Determine the number of $A\in\mathbb F_5^{3\times 3}$, such that $A^2=I_3.$
1 reply
EthanWYX2009
Yesterday at 7:51 AM
loup blanc
Yesterday at 11:21 AM
Prove this recursion!
Entrepreneur   3
N Yesterday at 11:06 AM by quasar_lord
Source: Amit Agarwal
Let $$I_n=\int z^n e^{\frac 1z}dz.$$Prove that $$\color{blue}{I_n=(n+1)!I_0+e^{\frac 1z}\sum_{n=1}^n n! z^{n+1}.}$$
3 replies
Entrepreneur
Jul 31, 2024
quasar_lord
Yesterday at 11:06 AM
Pove or disprove
Butterfly   1
N Yesterday at 10:05 AM by Filipjack

Denote $y_n=\max(x_n,x_{n+1},x_{n+2})$. Prove or disprove that if $\{y_n\}$ converges then so does $\{x_n\}.$
1 reply
Butterfly
Yesterday at 9:34 AM
Filipjack
Yesterday at 10:05 AM
fractional binomial limit sum
Levieee   3
N Yesterday at 9:44 AM by Levieee
this was given to me by a friend

$\lim_{n \to \infty} \sum_{k=1}^{n}{\frac{1}{\binom{n}{k}}}$

a nice solution using sandwich is
$\frac{1}{n}   + \frac{1}{n} + 1 + \frac{n-3}{\binom{n}{2}} \ge \frac{1}{n} +  \sum_{k=2}^{n-2}{\frac{1}{\binom{n}{k}}}+ \frac{1}{n} + 1 \ge \frac{1}{n} +  + \frac{1}{n} + 1$

therefore $\lim_{n \to \infty} \sum_{k=1}^{n}{\frac{1}{\binom{n}{k}}}$ = $1$

ALSO ANOTHER SOLUTION WHICH I WAS THINKING OF WITHOUT SANDWICH BUT I CANT COMPLETE WAS TO USE THE GAMMA FUNCTION

we know

$B(x, y) = \int_0^1 t^{x - 1} (1 - t)^{y - 1} \, dt$

$B(x, y) = \frac{\Gamma(x)\Gamma(y)}{\Gamma(x + y)}$

and $\Gamma(n) = (n-1)!$ for integers,

$\frac{1}{\binom{n}{k}}$ = $\frac{k! (n-k)!}{n!}$

therefore from the gamma function we get

$ (n+1) \int_{0}^{1}  x^k (1-x)^{n-k} dx$ = $\frac{1}{\binom{n}{k}}$ = $\frac{k! (n-k)!}{n!}$
$\Rightarrow$ $\lim_{n \to \infty} (n+1) \int_{0}^{1} \sum_{k=1}^{n} x^k (1-x)^{n-k} dx$ $=\lim_{n \to \infty} \sum_{k=1}^{n}{\frac{1}{\binom{n}{k}}}$

somehow im supposed to show that

$\lim_{n \to \infty} (n+1) \int_{0}^{1} \sum_{k=1}^{n} x^k (1-x)^{n-k} dx$ $= 1$

all i could observe was if we do L'hopital (which i hate to do as much as you do)

i get $\frac{ \int_{0}^{1} \sum_{k=1}^{n} x^k (1-x)^{n-k} dx}{1/n+1}$

now since $x \in (0,1)$ , as $n \to \infty$ the $(1-x)^{n-k} \to 0$ which gets us the $\frac{0}{0}$ form therefore L'hopital came to my mind , which might be a completely wrong intuition, anyway what should i do to find that limit

:noo: :pilot:
3 replies
Levieee
Saturday at 9:51 PM
Levieee
Yesterday at 9:44 AM
IMO 2011 Problem 4
Amir Hossein   92
N Apr 15, 2025 by LobsterJuice
Let $n > 0$ be an integer. We are given a balance and $n$ weights of weight $2^0, 2^1, \cdots, 2^{n-1}$. We are to place each of the $n$ weights on the balance, one after another, in such a way that the right pan is never heavier than the left pan. At each step we choose one of the weights that has not yet been placed on the balance, and place it on either the left pan or the right pan, until all of the weights have been placed.
Determine the number of ways in which this can be done.

Proposed by Morteza Saghafian, Iran
92 replies
Amir Hossein
Jul 19, 2011
LobsterJuice
Apr 15, 2025
IMO 2011 Problem 4
G H J
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MagicalToaster53
159 posts
#82 • 1 Y
Y by cubres
The number of ways is $\boxed{(2n - 1)!!}$, where $x!!$ denotes the double factorial.

Let $f(n)$ denote the number of valid arrangements satisfying the initial problem. If we consider the $n - 1$ weights $2^1, 2^2, \ldots 2^{n - 2}, 2^{n - 1}$ and divide each by $2$, we obtain the case for $f(n - 1)$. Now we may place the stone weighing $2^0$ into $2n$ places, however it cannot be placed on the right scale on the first move. Therefore there must be precisely $2n - 1$ valid places where $2^0$ may be placed, whence we obtain the recurrence relation $f(n) = (2n - 1)f(n - 1)$.

Claim: $f(n) = (2n - 1)!!$.
Proof: We prove this claim by induction. Indeed the base case is trivial, as $f(1) = 1$. Now assume for all $k < n$ that this claim holds. Then \[f(n) = (2n - 1)f(n - 1) = (2n - 1)(2n - 3)!! = (2n - 1)!!,\]and the induction is complete. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Rijul saini
904 posts
#83 • 1 Y
Y by cubres
The purpose of this note is to show the power of generating functions while solving recurrences. We assume that the reader has arrived at the recurrence $a_0=1$ and \begin{align}
a_{n+1} = \sum _{i=0}^{n} {n \choose i} a_{n-i} \cdot 2^i \cdot i! \end{align}by considering the largest weight.

Now consider the exponential power series generating function of $a_m$, i.e. $F(x) = \sum_{m \ge 0} a_m \frac{x^m}{m!}$. We recognize the right hand side of $(1)$ as the coefficient of $x^n$ in $F(x)G(x)$ where $G(x) = \sum_{m \ge 0} b_m \frac{x^m}{m!}$ for $b_m = 2^m \cdot m!$. So,
\begin{align*}
G(x) = \sum_{m \ge 0}  2^m \cdot m! \cdot \frac{x^m}{m!} = \sum_{m \ge 0}  (2x)^m  = \frac{1}{1-2x}
\end{align*}
Thus, $F'(x) = F(x)G(x)$, which implies that
\begin{align*}
\frac{F'(x)}{F(x)} = \frac{1}{1-2x} \\
\ln F(x) - \ln(F(0)) = \frac{\ln(1-2x)}{-2}
\end{align*}therefore, $\boxed{F(x) = \frac{1}{\sqrt{1-2x}}}$. Recall that $\sum_{n \ge 0} \binom{2n}{n} x^n = \frac{1}{\sqrt{1-4x}}$, so we get that
$$F(x) = \frac{1}{\sqrt{1-2x}} = \sum_{n \ge 0} \binom{2n}{n} \left( \frac x2 \right)^n,$$and therefore $\boxed{a_n = \binom{2n}{n} \cdot \frac{n!}{2^n} = (2n-1)!!}$.
This post has been edited 2 times. Last edited by Rijul saini, Nov 20, 2023, 4:10 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
EvanZ
187 posts
#84 • 1 Y
Y by cubres
Wow, very cool problem. The wording in my solution might be a bit unclear :(

Define the "masses" of the weights such that the weight that weighs $2^0$ has a mass of 1 and the weight that weighs $2^{n-1}$ has a mass of $n$ (weight $k$ will refer to the weight with mass $k$). Note that for a given sequence for placing the weights, if a weight has a greater mass than a weight further down the sequence, the second weight can be placed on either side of the balance.

Define $f(x)$ to be the number of ways to place $x$ weights on the scale. Say for a given sequence, weight $k$ is placed first. There are $k-1$ weights that weigh less, and $n-k$ that weigh more. For the $k-1$ weighing less, they can be placed in $2^{k-1} \times (k-1)!$ ways. The remaining $n-k$ weights can be ordered with the $k-1$ other weights in a total of ${n-1}\choose{k-1}$ ways. Finally, the $n-1$ weights can be placed in $f(n-1)$ ways. We therefore have $$f(n) = \sum_{k=1}^{n} {2^{k-1} \times (k-1)! \times {{n-1}\choose{k-1}} \times f(n-1)}$$This gives the number of ways to place the weights when weight $k$ is placed first as: $$\frac{(n-1)!(2n-2k)!}{2^{n-2k+1}\times(n-k)!^2}$$
We claim $f(n) = \frac{(2n)!}{2^n\times n!}$, or the product of the first $n$ odd numbers. We can show this result using induction. Clearly, this holds for $n = 1$. Notice that when weight $1$ is placed first, there are $f(n-1)$ ways to place the remaining weights. Additionally, when there are $n+1$ weights, and weight $k+1$ is placed first, we have: $$\frac{n!(2n-2k)!}{2^{n-2k}\times(n-k)!^2}$$ways of doing so. This is $2n$ times the case with $n$ weights and weight $k$ placed first. Therefore, we have $f(n+1) = f(n) + 2nf(n) = (2n+1)f(n)$, completing the induction.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
gladIasked
648 posts
#85 • 1 Y
Y by cubres
overcomplicated :P

Let $X_n$ denote the number of ways to place the weights $2^0, 2^1, \ldots, 2^{n-1}$ on the balance.

I claim that the follow recursion holds true:
$$X_n = \sum^n _{k = 1} \left(\dbinom{n-1}{k-1} X_{k-1} (n-k)! \cdot 2^{n-k}\right).$$To prove this, perform casework on when the $2^{n-1}$ weight is placed on the balance. The base case $X_1 = 1$ is trivial to see.

Suppose the weight is placed $k^{\text{th}}$ (in other words, $k-1$ weights are placed before the $2^{n-1}$ weight). First, we choose the $k-1$ weights to be placed before the $2^{n-1}$ weight. There are obviously $\tbinom{n-1}{k-1}$ ways to do this. Now, notice that there are $X_{k-1}$ ways to place these $k-1$ weights onto the balance. After the $2^{n-1}$ weight is placed, the left side of the balance will remain heavier than the right side no matter what. Thus, there are simply $(n-k)!$ ways to determine the order of the remaining weights and $2^{n-k}$ ways to determine each weight's side on the balance. Putting it all together, there are$$\dbinom{n-1}{k-1}X_{k-1} (n-k)!\cdot 2^{n-k}$$ways to place the weights if the largest weight is placed $k^{\text{th}}$. This gives us the desired recursion.

Now, I will show that $X_n = (2n-1)!!$ with induction. The base case, $X_1 = 1$, is trivial. Our recursion tells us that\begin{align*}
X_{n+1} &= \sum^{n+1} _{k = 1} \dbinom{n}{k-1} X_{k-1} (n-k+1)! \cdot 2^{n-k+1}\\
&= \sum^{n} _{k = 1} \left(\dbinom{n}{k-1} X_{k-1} (n-k+1)! \cdot 2^{n-k+1}\right) + \dbinom {n}{n} X_n 0!\cdot 2^0\\
&=\sum^{n} _{k = 1} \left(\dbinom{n}{k-1} X_{k-1} (n-k+1)! \cdot 2^{n-k+1}\right) + X_n
\end{align*}Writing $\tbinom{n}{k-1}$ as $\frac{n!}{(k-1)!(n-k+1)!}$, we have
\begin{align*}
X_{n+1} &=\sum^{n} _{k = 1} \left(\frac{n!}{(k-1)!(n-k+1)!} X_{k-1} (n-k+1)! \cdot 2^{n-k+1}\right) + X_n\\
&=\sum^{n} _{k = 1} \left(\frac{n!}{(k-1)!(n-k)!} X_{k-1} (n-k)! \cdot 2^{n-k+1}\right) + X_n\\
&=\sum^{n} _{k = 1} \left(2n\cdot\frac{(n-1)!}{(k-1)!(n-k)!} X_{k-1} (n-k)! \cdot 2^{n-k}\right) + X_n\\
&=2n\sum^{n} _{k = 1} \left(\frac{(n-1)!}{(k-1)!(n-k)!} X_{k-1} (n-k)! \cdot 2^{n-k}\right) + X_n\\
&=2n\sum^{n} _{k = 1} \left(\dbinom{n-1}{k-1} X_{k-1} (n-k)! \cdot 2^{n-k}\right) + X_n\\
&=2n\cdot X_n + X_n\\
&=(2n+1)\cdot X_n\\
\end{align*}However, from the inductive hypothesis, we know that $X_n = (2n-1)!!$, so $X_{n+1} = (2n+1)!!$, as desired. This completes our induction, so $X_n = (2n-1)!!$. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dolphinday
1319 posts
#86 • 1 Y
Y by cubres
We will show that $\boxed{(2n - 1)!!}$ is our answer.
$\newline$
Claim:
Let $x_n$ be the number of ways to place the weights. Then $x_{n} = (2n - 1)x_{n-1}$.

Proof:
Notice that the placement of the smallest weight doesn't impact the scale, unless it is placed on the right pan, on the first turn(in which case, the right pan is heavier than the left pan.)
So, there are $(2n - 1)$ ways to place the smallest weight, and $x_{n-1}$ ways to place the other weights(by scaling by a factor of $\frac{1}{2})$.
Hence, there are $(2n - 1)x_{n-1}$ ways to place the weights.

$\newline$

We can rewrite $(2n - 1)x_{n-1}$ as \[\prod_{k=0}^{n-1} 2k + 1 = (2n = 1)!!\]so we are done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cursed_tangent1434
592 posts
#87 • 1 Y
Y by cubres
Let $N(n)$ denote the number of ways to place $n$ weights of the given form satisfying all the desired conditions. We make the following observation.

Note that for the smallest weight, it doesn't matter where it is placed unless it is placed on the left pan on the first move. This is because the sum of $L-R$ is clearly even, and if it is positive (as we require) then it is at least 2. Thus, adding one will still ensure this difference stays positive. Thus, it can be placed in $2n-1$ ways. Further, once the smallest number is placed, the number of ways to place the others is simply $N(n-1)$ since these weights $2^1,2^2,\dots,2^n$ are simply the previous weights $2^0,2^1,\dots,2^{n-1}$ scaled up by 2. Thus,
\[N(n)=(2n-1)N(n-1)\]Clearly, $N(1)=1$ (just place the only weight on the left pan). Thus, by a simple induction we obtain that
\[N(n)=(2n-1)!!\]for all positive integers $n$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
blueprimes
329 posts
#88 • 1 Y
Y by cubres
For a set of nonnegative integers $a_1 < a_2 < \dots a_n$, define $f(a_1, a_2, \dots, a_n)$ as the number of ways to place weights weighing $2^{a_1}, 2^{a_2}, \dots, 2^{a_n}$ on the scale subject to the conditions of the problem. Observe that $2^{a_1} + 2^{a_2} + \dots + 2^{a_{n - 1}} < 2^{a_n}$, hence the moment we place the weight weighing $2^{a_n}$ on the left pan it does not matter how we place the rest. From here, it is not hard to find the recursion
$$f(a_1, a_2, \dots, a_n) = \sum_{X} f(X) \cdot \left(n - 1 - |X| \right)! \cdot 2^{n - 1 - |X|}$$where $X$ runs through all subsets of $\{a_1, a_2, \dots a_{n - 1} \}.$ The latter subset corresponds to the weights we place on the pan before the weight weighing $2^{a_n}$.

Claim 1: For a nonnegative integer $n$, for all sets $|X| = n$, $f(X)$ has a common value.

To prove, we use strong induction on $n$. The case of $n = 0$ is vacuously true (Common value is $1$), and for $n = 1$ we have $f(a_1) = 1$ no matter what $a_1$ is. Now assume the claim is true for integers $1 \le n \le k$. It is not hard to see that using the recursion derived earlier, all sets $|X| = k + 1$ yield a common value for $f(X)$.

To finish, suppose $t(n)$ is the common value of all $f(X)$ where $|X| = n$. We have $t(n) = \sum_{k = 0}^{n - 1} \binom{n - 1}{k} \cdot \left(n - 1 - k \right)! \cdot 2^{n - 1 - k} \cdot t(k).$ From here we can extract the general form $t(n) = \boxed{(2n - 1)!!}$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
shendrew7
794 posts
#89 • 1 Y
Y by cubres
We claim the answer is $\boxed{(2n-1)!!}$, which we prove inductively. The base case is trivial, and casework on the first element tells us our answer is
\begin{align*}
a_n &= \sum_{k=0}^n \left(\frac{n!}{(n-k)!} \cdot 2^k \cdot a_{n-1-k}\right) \\
&= (2n-3)!! + 2n \sum_{k=0}^{n-1} \left(\frac{(n-1)!}{((n-1)-k)!} \cdot 2^{k-1} \cdot (2(n-1)-2k-1)!!\right) \\
&= (2n-3)!! + a_{n-1} \\
&= (2n-1)!!. \quad \blacksquare
\end{align*}
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
KevinYang2.71
413 posts
#90 • 2 Y
Y by deduck, cubres
We claim the answer is $\boxed{(2n-1)!!}$.

Note that instead of comparing the sum of weights on each side, it is equivalent to compare the largest weight on each side.

Let $a_n$ denote the number in question. If $1$ is placed first, there are $a_{n-1}$ ways to place the rest of the weights. Otherwise $1$ can be placed at $n-1$ different steps, and it has $2$ choices at each of these steps. The rest of the weights can be placed in $a_{n-1}$ ways. Thus $a_n=(2n-1)a_{n-1}$ and the conclusion immediately follows. $\square$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ryanbear
1055 posts
#91 • 1 Y
Y by cubres
Note: assume that $(-1)!!=1$
Let there be $k$ items before the $2^{n+1}$ is placed
The number of ways is ${n-1 \choose k}*f(k)$ before the $2^{n-1}$ because choose $k$ items and then to do the $k$ items is $f(k)$ ways. Then multiply by $1$ for the $2^{n-1}$. Then multiply by $(n-1-k)!*2^{n-1-k}$ because for the rest of the items anything can happen.
So it is the sum of ${n-1 \choose k}*f(k)*(n-1-k)!*2^{n-1-k}=(n-1)!*2^{n-1}*\frac{f(k)}{k!2^k}=(2n-2)!!*\frac{f(k)}{(2k)!!}$ for all values of $k$.
Use induction to prove that $f(n)=\boxed{(2n-1)!!}$ for positive $n$ and $1$ for $n=0$
Base case: $f(0)=1, f(1)=1$
induction: Assume it works for all $k$ from $0$ to $n$.
$f(n)=(2n-1)!!=(2n-2)!!*\sum_{k=0}^{n-1} (\frac{(2k-1)!!}{(2k)!!})$
$f(n+1)=2n(2n-2)!!*(\sum_{k=0}^{n-1} (\frac{(2k-1)!!}{(2k)!!})+\frac{(2n-1)!!}{(2n)!!}) = 2n((2n-1)!!+\frac{(2n-1)!!}{2n})=(2n+1)(2n-1)!!=(2n+1)!!$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
naonaoaz
329 posts
#92 • 1 Y
Y by cubres
Consider the grid with $2$ columns and $n$ rows. The rows represent the order we out the weights on (with the weights on the top row getting placed first) and the two columns representing whether we put it on the left or right pan.

Consider placing the weights on the grid one by one from lightest to heaviest. Since we are going lightest to heaviest, we can't put the current weight on the first open row in the right column.

Once we've placed $k$ weights, we've taken up $k$ rows (and thus $2k$ spots) and an extra $1$ spot due to the above paragraph. Thus, multiplying gives an answer of
\[\prod_{i = 0}^{n-1} (2n-2i-1) = \boxed{(2n-1)!!}\]where we used a double factorial.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ezpotd
1253 posts
#93 • 1 Y
Y by cubres
Let the answer for $n$ weights be $f(n)$. I claim $f(n) = (2n - 1)!!$. Observe we are just being asked to find the number of ways of putting the weights on the balance such that the maximum weight placed is always on the left side (since the place where the maximum weight is placed is always heavier, since $2^{n} > 2^{n } - 1 > 2^{n - 1} + \cdots + 1$).

Claim: $f(n) = \sum_{i = 0}^{n - 1} 2^{n - 1 - i} \frac{(n - 1)! }{(n - 1 - i)!} f(i)$.
Proof: Place the heaviest weight in the $i + 1$th position. Then there are $\frac{(n - 1)!}{(n - 1 - i)!}$ to select and permute the elements after it, $2^{n -1 - i}$ ways to assign them to the balance. For the weights before, we have a working configuration if and only if the maximum weight placed is always on the left side, so the number of ways to assign that is $f(i)$. Combining the terms over all $i$ gives the desired summation.

Now observe $f(0) = f(1) = 1$, we now prove inductively that $f(n) = (2n - 1)!!$ for $n > 1$. Observe that $f$ is uniquely determined by this recursion, so we show that this solution indeed works. Note that $(1)!! =  2^{0} \frac{0!}{0!} (-1)!! = \sum_{i = 0}^{1  -1} 2^{1- i - 1} \frac{(0!)}{(0 - i)!} (-1)!!$, so we use this as a base case to inductively prove $(2n -1)!! = \sum_{i = 0}^{n - 1} 2^{n - 1 - i} \frac{(n - 1)! }{(n - 1 - i)!} (2i - 1)!! $. For the inductive step, just multiply both sides by $2n$ and add $(2n - 1)!!$. The left side becomes $(2n + 1)!!$, the right side becomes $2^{0} \frac{n!}{n!} (2n  -1)!! +  \sum_{i = 0}^{n - 1} 2^{n - i} \frac{n!}{(n - 1 -i)!} (2i - 1)!! = \sum_{i = 0}^{n} 2^{n - i} \frac{n!}{(n - i)!} f(i)$ as desired.
This post has been edited 1 time. Last edited by ezpotd, Sep 4, 2024, 12:36 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Maximilian113
549 posts
#94 • 2 Y
Y by cubres, LobsterJuice
Let the answer be $P(n)$ for $n$ weights. At some point with $n$ weights, note that we can ignore the $2^0$ weight because it does not affect anything, except at the first step. This is because after taking at least $2$ steps the positive difference between the two sides will be at least $2,$ and thus $1$ cannot change the sign of this difference.

Therefore if $2^0$ is placed on the first step, it can only be placed on the left pan. Otherwise, it can be placed on any of the two pans, thus there are $2(n-1)+1=2n-1$ placed to put it. Therefore, $P(n)=(2n-1)P(n-1).$ Since $P(1)=1,$ we can easily obtain that $$P(n)=(2n-1)!!,$$which is the answer.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
eg4334
631 posts
#95 • 1 Y
Y by cubres
Solved in shower? Let the answer be $c_n$ in general. Now notice that the $1$ weight is essentially irrelevent except at the beginning. In particular, say we have placed a valid configuration for $n-1$ in $c_{n-1}$ ways already. Now we could have placed $1$ at any of the $n$ intervals in this process, choosing whatever side we want. However we cannot choose the right side at first, so we have $2n-1$ choices to insert $1$. This works because once anything higher than a one is placed, it immediately becomes useless. So $c_n = (2n-1)c_{n-1} \implies c_n = \boxed{(2n-1)!!}$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
LobsterJuice
2 posts
#96 • 1 Y
Y by cubres
Solved this on the bus to school lol. Suppose the answer to placing \( n \) weights is \( A_n \). We know that any weight is heavier than the sum of the weights lighter than it, so after placing a heavier weight, the lighter weights can be placed anywhere. Also, a new weight must be placed in the left pan if and only if it is heavier than all weights currently placed.

When \( n = 1 \), the answer is clearly \( 1 \) because it must be placed in the left pan. From the scenario of \( n \), to expand to \( n + 1 \), multiply all weights placed in \( n \) by \( 2 \) so we only need to choose where \( 1 \) needs to be placed. If \( 1 \) is placed first, it must be in the left pan; otherwise, it is the lightest, so it can be any pan. Any solution to \( n + 1 \) can be made from a solution in \( n \) by removing \( 1 \) and dividing every weight by \( 2 \). Any such solution that is valid will create a valid solution in \( n \) because other weights' placements never depend on \( 1 \) (they are all heavier). Therefore, \( A_{n + 1} = (2n - 1)A_n \).

The answer is \( A_n = 1 \cdot 3 \cdot 5 \cdot \cdots \cdot (2n - 1) = \boxed{(2n - 1)!!} \).
Z K Y
N Quick Reply
G
H
=
a