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
k i Adding contests to the Contest Collections
dcouchman   1
N Apr 5, 2023 by v_Enhance
Want to help AoPS remain a valuable Olympiad resource? Help us add contests to AoPS's Contest Collections.

Find instructions and a list of contests to add here: https://artofproblemsolving.com/community/c40244h1064480_contests_to_add
1 reply
dcouchman
Sep 9, 2019
v_Enhance
Apr 5, 2023
k i Zero tolerance
ZetaX   49
N May 4, 2019 by NoDealsHere
Source: Use your common sense! (enough is enough)
Some users don't want to learn, some other simply ignore advises.
But please follow the following guideline:


To make it short: ALWAYS USE YOUR COMMON SENSE IF POSTING!
If you don't have common sense, don't post.


More specifically:

For new threads:


a) Good, meaningful title:
The title has to say what the problem is about in best way possible.
If that title occured already, it's definitely bad. And contest names aren't good either.
That's in fact a requirement for being able to search old problems.

Examples:
Bad titles:
- "Hard"/"Medium"/"Easy" (if you find it so cool how hard/easy it is, tell it in the post and use a title that tells us the problem)
- "Number Theory" (hey guy, guess why this forum's named that way¿ and is it the only such problem on earth¿)
- "Fibonacci" (there are millions of Fibonacci problems out there, all posted and named the same...)
- "Chinese TST 2003" (does this say anything about the problem¿)
Good titles:
- "On divisors of a³+2b³+4c³-6abc"
- "Number of solutions to x²+y²=6z²"
- "Fibonacci numbers are never squares"


b) Use search function:
Before posting a "new" problem spend at least two, better five, minutes to look if this problem was posted before. If it was, don't repost it. If you have anything important to say on topic, post it in one of the older threads.
If the thread is locked cause of this, use search function.

Update (by Amir Hossein). The best way to search for two keywords in AoPS is to input
[code]+"first keyword" +"second keyword"[/code]
so that any post containing both strings "first word" and "second form".


c) Good problem statement:
Some recent really bad post was:
[quote]$lim_{n\to 1}^{+\infty}\frac{1}{n}-lnn$[/quote]
It contains no question and no answer.
If you do this, too, you are on the best way to get your thread deleted. Write everything clearly, define where your variables come from (and define the "natural" numbers if used). Additionally read your post at least twice before submitting. After you sent it, read it again and use the Edit-Button if necessary to correct errors.


For answers to already existing threads:


d) Of any interest and with content:
Don't post things that are more trivial than completely obvious. For example, if the question is to solve $x^{3}+y^{3}=z^{3}$, do not answer with "$x=y=z=0$ is a solution" only. Either you post any kind of proof or at least something unexpected (like "$x=1337, y=481, z=42$ is the smallest solution). Someone that does not see that $x=y=z=0$ is a solution of the above without your post is completely wrong here, this is an IMO-level forum.
Similar, posting "I have solved this problem" but not posting anything else is not welcome; it even looks that you just want to show off what a genius you are.

e) Well written and checked answers:
Like c) for new threads, check your solutions at least twice for mistakes. And after sending, read it again and use the Edit-Button if necessary to correct errors.



To repeat it: ALWAYS USE YOUR COMMON SENSE IF POSTING!


Everything definitely out of range of common sense will be locked or deleted (exept for new users having less than about 42 posts, they are newbies and need/get some time to learn).

The above rules will be applied from next monday (5. march of 2007).
Feel free to discuss on this here.
49 replies
ZetaX
Feb 27, 2007
NoDealsHere
May 4, 2019
Inequality
giangtruong13   2
N 7 minutes ago by sqing
Let $a,b,c >0$ such that: $a^2+b^2+c^2=3$. Prove that: $$\frac{b^2}{a}+\frac{c^2}{b}+\frac{a^2}{c}+abc \geq 4$$
2 replies
giangtruong13
4 hours ago
sqing
7 minutes ago
abc(a+b+c)=3, show that prod(a+b)>=8 [Indian RMO 2012(b) Q4]
Potla   27
N 21 minutes ago by sqing
Let $a,b,c$ be positive real numbers such that $abc(a+b+c)=3.$ Prove that we have
\[(a+b)(b+c)(c+a)\geq 8.\]
Also determine the case of equality.
27 replies
2 viewing
Potla
Dec 2, 2012
sqing
21 minutes ago
hard problem....
Cobedangiu   1
N 31 minutes ago by arqady
let $a,b,c$ be the lengths of the sides of the triangle. Prove that:
$(a+b+c)(\dfrac{3a-b}{a^2+ab}+\dfrac{3b-c}{b^2+bc}+\dfrac{3c-a}{c^2+ac})\le 9$
1 reply
Cobedangiu
an hour ago
arqady
31 minutes ago
Prove the inequality with the condition (a+1)(b+1)(c+1)=8
hlminh   1
N 32 minutes ago by quacksaysduck
Let $a,b,c>0$ such that $(a+1)(b+1)(c+1)=8.$ Prove that $abc(a+b+c)\leq 3.$
1 reply
+1 w
hlminh
3 hours ago
quacksaysduck
32 minutes ago
integer functional equation
ABCDE   147
N 37 minutes ago by Adywastaken
Source: 2015 IMO Shortlist A2
Determine all functions $f:\mathbb{Z}\rightarrow\mathbb{Z}$ with the property that \[f(x-f(y))=f(f(x))-f(y)-1\]holds for all $x,y\in\mathbb{Z}$.
147 replies
ABCDE
Jul 7, 2016
Adywastaken
37 minutes ago
number theory FE
pomodor_ap   0
an hour ago
Source: Own, PDC002-P7
Let $f : \mathbb{Z}^+ \to \mathbb{Z}^+$ be a function such that
$$f(m) + mn + n^2 \mid f(m)^2 + m^2 f(n) + f(n)^2$$for all $m, n \in \mathbb{Z}^+$. Find all such functions $f$.
0 replies
pomodor_ap
an hour ago
0 replies
real+ FE
pomodor_ap   0
an hour ago
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$.
0 replies
pomodor_ap
an hour ago
0 replies
Is this FE solvable?
ItzsleepyXD   2
N an hour ago by ItzsleepyXD
Source: Original
Let $c_1,c_2 \in \mathbb{R^+}$. Find all $f : \mathbb{R^+} \rightarrow \mathbb{R^+}$ such that for all $x,y \in \mathbb{R^+}$ $$f(x+c_1f(y))=f(x)+c_2f(y)$$
2 replies
ItzsleepyXD
Today at 3:02 AM
ItzsleepyXD
an hour ago
AM-GM FE ineq
navi_09220114   2
N an hour ago by navi_09220114
Source: Own. Malaysian IMO TST 2025 P3
Let $\mathbb R$ be the set of real numbers. Find all functions $f:\mathbb{R}\rightarrow \mathbb{R}$ where there exist a real constant $c\ge 0$ such that $$x^3+y^2f(y)+zf(z^2)\ge cf(xyz)$$holds for all reals $x$, $y$, $z$ that satisfy $x+y+z\ge 0$.

Proposed by Ivan Chan Kai Chin
2 replies
1 viewing
navi_09220114
Mar 22, 2025
navi_09220114
an hour ago
Strange Geometry
Itoz   2
N 2 hours ago by hectorraul
Source: Own
Given a fixed circle $\omega$ with its center $O$. There are two fixed points $B, C$ and one moving point $A$ on $\omega$. The midpoint of the line segment $BC$ is $M$. $R$ is a fixed point on $\omega$. Line $AO$ intersects$\odot(AMR)$ at $P(\ne A)$, and line $BP$ intersects $\odot(BOC)$ at $Q(\ne B)$.

Find all the fixed points $R$ such that $\omega$ is always tangent to $\odot (OPQ)$ when $A$ varies.
Hint
2 replies
Itoz
Yesterday at 2:00 PM
hectorraul
2 hours ago
From Recreatii Matematice 1/2025
mihaig   0
2 hours ago
Source: Own
Given a non-degenerate $\Delta ABC,$
find $x,y,z\geq0$ such that
$$x+y+z+\sqrt{\sum_{\text{cyc}}{x^2}-2\sum_{\text{cyc}}{yz\cos A}}=\sum_{\text{cyc}}{\sqrt{y^2-2yz\cos A+z^2}}.$$
0 replies
mihaig
2 hours ago
0 replies
Medium geometry with AH diameter circle
v_Enhance   93
N 2 hours ago by waterbottle432
Source: USA TSTST 2016 Problem 2, by Evan Chen
Let $ABC$ be a scalene triangle with orthocenter $H$ and circumcenter $O$. Denote by $M$, $N$ the midpoints of $\overline{AH}$, $\overline{BC}$. Suppose the circle $\gamma$ with diameter $\overline{AH}$ meets the circumcircle of $ABC$ at $G \neq A$, and meets line $AN$ at a point $Q \neq A$. The tangent to $\gamma$ at $G$ meets line $OM$ at $P$. Show that the circumcircles of $\triangle GNQ$ and $\triangle MBC$ intersect at a point $T$ on $\overline{PN}$.

Proposed by Evan Chen
93 replies
v_Enhance
Jun 28, 2016
waterbottle432
2 hours ago
International FE olympiad P3
Functional_equation   21
N 2 hours ago by ItzsleepyXD
Source: IFEO Day 1 P3
Find all functions $f:\mathbb R^+\rightarrow \mathbb R^+$ such that$$f(f(x)f(f(x))+y)=xf(x)+f(y)$$for all $x,y\in \mathbb R^+$

$\textit{Proposed by Functional\_equation, Mr.C and TLP.39}$
21 replies
Functional_equation
Feb 6, 2021
ItzsleepyXD
2 hours ago
HANDOUT!! On the Angle Bisector Miquel Point
cursed_tangent1434   9
N 2 hours ago by quantam13
Source: Neat Configuration
Hi! This is a handout on the Configuration of the Angle Bisector Miquel Point, which originated from a series of notes made by Om245 for a lecture conducted by him for (Unofficial) INMO Training Camp.

Many thanks to stillwater_25 (for group-solving the key problem in the second section and finding a majority of it's key claims) and Takumi Higashida (for discovering most properties in relation to $\overline{WI}$) for all their time and support. We received immense help from TestX01 for the proof of claim 2.19 and it's associated lemma.

The point(s) that the handout deals with are very rich and there are numerous properties that we discovered. There are precious few contest problems related to this configuration and it remains relatively unknown among most of the community. However, we feel there is much more to this configuration to be explored and we hope that it may be as popular as other contemporary configurations in the future.

Due to the AoPS file sharing size restrictions, we have replaced the PDF with a google drive link.

Dive In!
9 replies
1 viewing
cursed_tangent1434
Mar 1, 2025
quantam13
2 hours ago
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
1320 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
593 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
1254 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