We have your learning goals covered with Spring and Summer courses available. Enroll today!

G
Topic
First Poster
Last Poster
k a My Retirement & New Leadership at AoPS
rrusczyk   1571
N Mar 26, 2025 by SmartGroot
I write today to announce my retirement as CEO from Art of Problem Solving. When I founded AoPS 22 years ago, I never imagined that we would reach so many students and families, or that we would find so many channels through which we discover, inspire, and train the great problem solvers of the next generation. I am very proud of all we have accomplished and I’m thankful for the many supporters who provided inspiration and encouragement along the way. I'm particularly grateful to all of the wonderful members of the AoPS Community!

I’m delighted to introduce our new leaders - Ben Kornell and Andrew Sutherland. Ben has extensive experience in education and edtech prior to joining AoPS as my successor as CEO, including starting like I did as a classroom teacher. He has a deep understanding of the value of our work because he’s an AoPS parent! Meanwhile, Andrew and I have common roots as founders of education companies; he launched Quizlet at age 15! His journey from founder to MIT to technology and product leader as our Chief Product Officer traces a pathway many of our students will follow in the years to come.

Thank you again for your support for Art of Problem Solving and we look forward to working with millions more wonderful problem solvers in the years to come.

And special thanks to all of the amazing AoPS team members who have helped build AoPS. We’ve come a long way from here:IMAGE
1571 replies
rrusczyk
Mar 24, 2025
SmartGroot
Mar 26, 2025
k a March Highlights and 2025 AoPS Online Class Information
jlacosta   0
Mar 2, 2025
March is the month for State MATHCOUNTS competitions! Kudos to everyone who participated in their local chapter competitions and best of luck to all going to State! Join us on March 11th for a Math Jam devoted to our favorite Chapter competition problems! Are you interested in training for MATHCOUNTS? Be sure to check out our AMC 8/MATHCOUNTS Basics and Advanced courses.

Are you ready to level up with Olympiad training? Registration is open with early bird pricing available for our WOOT programs: MathWOOT (Levels 1 and 2), CodeWOOT, PhysicsWOOT, and ChemWOOT. What is WOOT? WOOT stands for Worldwide Online Olympiad Training and is a 7-month high school math Olympiad preparation and testing program that brings together many of the best students from around the world to learn Olympiad problem solving skills. Classes begin in September!

Do you have plans this summer? There are so many options to fit your schedule and goals whether attending a summer camp or taking online classes, it can be a great break from the routine of the school year. Check out our summer courses at AoPS Online, or if you want a math or language arts class that doesn’t have homework, but is an enriching summer experience, our AoPS Virtual Campus summer camps may be just the ticket! We are expanding our locations for our AoPS Academies across the country with 15 locations so far and new campuses opening in Saratoga CA, Johns Creek GA, and the Upper West Side NY. Check out this page for summer camp information.

Be sure to mark your calendars for the following events:
[list][*]March 5th (Wednesday), 4:30pm PT/7:30pm ET, HCSSiM Math Jam 2025. Amber Verser, Assistant Director of the Hampshire College Summer Studies in Mathematics, will host an information session about HCSSiM, a summer program for high school students.
[*]March 6th (Thursday), 4:00pm PT/7:00pm ET, Free Webinar on Math Competitions from elementary through high school. Join us for an enlightening session that demystifies the world of math competitions and helps you make informed decisions about your contest journey.
[*]March 11th (Tuesday), 4:30pm PT/7:30pm ET, 2025 MATHCOUNTS Chapter Discussion MATH JAM. AoPS instructors will discuss some of their favorite problems from the MATHCOUNTS Chapter Competition. All are welcome!
[*]March 13th (Thursday), 4:00pm PT/7:00pm ET, Free Webinar about Summer Camps at the Virtual Campus. Transform your summer into an unforgettable learning adventure! From elementary through high school, we offer dynamic summer camps featuring topics in mathematics, language arts, and competition preparation - all designed to fit your schedule and ignite your passion for learning.[/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, Mar 2 - Jun 22
Friday, Mar 28 - Jul 18
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
Tuesday, Mar 25 - Jul 8
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
Sunday, Mar 23 - Jul 20
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
Sunday, Mar 16 - Jun 8
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
Monday, Mar 17 - Jun 9
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
Sunday, Mar 2 - Jun 22
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
Tuesday, Mar 4 - Aug 12
Sunday, Mar 23 - Sep 21
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
Sunday, Mar 16 - Sep 14
Tuesday, Mar 25 - Sep 2
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
Sunday, Mar 23 - Aug 3
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
Sunday, Mar 16 - Aug 24
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
Wednesday, Mar 5 - May 21
Tuesday, Jun 10 - Aug 26

Calculus
Sunday, Mar 30 - Oct 5
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
Sunday, Mar 23 - Jun 15
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
Tuesday, Mar 4 - May 20
Monday, Mar 31 - Jun 23
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
Monday, Mar 24 - Jun 16
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
Sunday, Mar 30 - Jun 22
Wednesday, May 21 - Aug 6
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15

Physics 1: Mechanics
Tuesday, Mar 25 - Sep 2
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
Mar 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
A number theory problem from the British Math Olympiad
Rainbow1971   9
N 14 minutes ago by Rainbow1971
Source: British Math Olympiad, 2006/2007, round 1, problem 6
I am a little surprised to find that I am (so far) unable to solve this little problem:

[quote]Let $n$ be an integer. Show that, if $2 + 2 \sqrt{1+12n^2}$ is an integer, then it is a perfect square.[/quote]

I set $k := \sqrt{1+12n^2}$. If $2 + 2 \sqrt{1+12n^2}$ is an integer, then $k (=\sqrt{1+12n^2})$ is at least rational, so that $1 + 12n^2$ must be a perfect square then. Using Conway's topograph method, I have found out that the smallest non-negative pairs $(n, k)$ for which this happens are $(0,1), (2,7), (28,97)$ and $(390, 1351)$, and that, for every such pair $(n,k)$, the "next" such pair can be calculated as
$$
\begin{bmatrix}
7 & 2 \\
24 & 7 
\end{bmatrix} \begin{bmatrix}
n \\
k 
\end{bmatrix}
.$$The eigenvalues of that matrix are irrational, however, so that any calculation which uses powers of that matrix is a little cumbersome. There must be an easier way, but I cannot find it. Can you?

Thank you.




9 replies
Rainbow1971
Yesterday at 8:39 PM
Rainbow1971
14 minutes ago
Hard limits
Snoop76   2
N 23 minutes ago by maths_enthusiast_0001
$a_n$ and $b_n$ satisfies the following recursion formulas: $a_{0}=1, $ $b_{0}=1$, $ a_{n+1}=a_{n}+b_{n}$$ $ and $ $$ b_{n+1}=(2n+3)b_{n}+a_{n}$. Find $ \lim_{n \to \infty} \frac{a_n}{(2n-1)!!}$ $ $ and $ $ $\lim_{n \to \infty} \frac{b_n}{(2n+1)!!}.$
2 replies
Snoop76
Mar 25, 2025
maths_enthusiast_0001
23 minutes ago
A number theory about divisors which no one fully solved at the contest
nAalniaOMliO   21
N 26 minutes ago by nAalniaOMliO
Source: Belarusian national olympiad 2024
Let's call a pair of positive integers $(k,n)$ interesting if $n$ is composite and for every divisor $d<n$ of $n$ at least one of $d-k$ and $d+k$ is also a divisor of $n$
Find the number of interesting pairs $(k,n)$ with $k \leq 100$
M. Karpuk
21 replies
nAalniaOMliO
Jul 24, 2024
nAalniaOMliO
26 minutes ago
2025 Caucasus MO Seniors P2
BR1F1SZ   3
N 36 minutes ago by X.Luser
Source: Caucasus MO
Let $ABC$ be a triangle, and let $B_1$ and $B_2$ be points on segment $AC$ symmetric with respect to the midpoint of $AC$. Let $\gamma_A$ denote the circle passing through $B_1$ and tangent to line $AB$ at $A$. Similarly, let $\gamma_C$ denote the circle passing through $B_1$ and tangent to line $BC$ at $C$. Let the circles $\gamma_A$ and $\gamma_C$ intersect again at point $B'$ ($B' \neq B_1$). Prove that $\angle ABB' = \angle CBB_2$.
3 replies
BR1F1SZ
Mar 26, 2025
X.Luser
36 minutes ago
IMO Shortlist 2010 - Problem G1
Amir Hossein   130
N an hour ago by LeYohan
Let $ABC$ be an acute triangle with $D, E, F$ the feet of the altitudes lying on $BC, CA, AB$ respectively. One of the intersection points of the line $EF$ and the circumcircle is $P.$ The lines $BP$ and $DF$ meet at point $Q.$ Prove that $AP = AQ.$

Proposed by Christopher Bradley, United Kingdom
130 replies
Amir Hossein
Jul 17, 2011
LeYohan
an hour ago
Nordic 2025 P3
anirbanbz   7
N an hour ago by anirbanbz
Source: Nordic 2025
Let $ABC$ be an acute triangle with orthocenter $H$ and circumcenter $O$. Let $E$ and $F$ be points on the line segments $AC$ and $AB$ respectively such that $AEHF$ is a parallelogram. Prove that $\vert OE \vert = \vert OF \vert$.
7 replies
anirbanbz
Mar 25, 2025
anirbanbz
an hour ago
CGMO6: Airline companies and cities
v_Enhance   13
N an hour ago by Marcus_Zhang
Source: 2012 China Girl's Mathematical Olympiad
There are $n$ cities, $2$ airline companies in a country. Between any two cities, there is exactly one $2$-way flight connecting them which is operated by one of the two companies. A female mathematician plans a travel route, so that it starts and ends at the same city, passes through at least two other cities, and each city in the route is visited once. She finds out that wherever she starts and whatever route she chooses, she must take flights of both companies. Find the maximum value of $n$.
13 replies
v_Enhance
Aug 13, 2012
Marcus_Zhang
an hour ago
nice problem
hanzo.ei   0
an hour ago
Source: I forgot
Let triangle $ABC$ be inscribed in the circumcircle $(O)$ and circumscribed about the incircle $(I)$, with $AB < AC$. The incircle $(I)$ touches the sides $BC$, $CA$, and $AB$ at $D$, $E$, and $F$, respectively. A line through $I$, perpendicular to $AI$, intersects $BC$, $CA$, and $AB$ at $X$, $Y$, and $Z$, respectively. The line $AI$ meets $(O)$ at $M$ (distinct from $A$). The circumcircle of triangle $AYZ$ intersects $(O)$ at $N$ (distinct from $A$). Let $P$ be the midpoint of the arc $BAC$ of $(O)$. The line $AI$ cuts segments $DF$ and $DE$ at $K$ and $L$, respectively, and the tangents to the circle $(DKL)$ at $K$ and $L$ intersect at $T$. Prove that $AT \perp BC$.
0 replies
hanzo.ei
an hour ago
0 replies
Find a given number of divisors of ab
proglote   9
N 2 hours ago by zuat.e
Source: Brazil MO 2013, problem #2
Arnaldo and Bernaldo play the following game: given a fixed finite set of positive integers $A$ known by both players, Arnaldo picks a number $a \in A$ but doesn't tell it to anyone. Bernaldo thens pick an arbitrary positive integer $b$ (not necessarily in $A$). Then Arnaldo tells the number of divisors of $ab$. Show that Bernaldo can choose $b$ in a way that he can find out the number $a$ chosen by Arnaldo.
9 replies
proglote
Oct 24, 2013
zuat.e
2 hours ago
2025 TST 22
EthanWYX2009   1
N 2 hours ago by hukilau17
Source: 2025 TST 22
Let \( A \) be a set of 2025 positive real numbers. For a subset \( T \subseteq A \), define \( M_T \) as the median of \( T \) when all elements of \( T \) are arranged in increasing order, with the convention that \( M_\emptyset = 0 \). Define
\[
P(A) = \sum_{\substack{T \subseteq A \\ |T| \text{ odd}}} M_T, \quad Q(A) = \sum_{\substack{T \subseteq A \\ |T| \text{ even}}} M_T.
\]Find the smallest real number \( C \) such that for any set \( A \) of 2025 positive real numbers, the following inequality holds:
\[
P(A) - Q(A) \leq C \cdot \max(A),
\]where \(\max(A)\) denotes the largest element in \( A \).
1 reply
EthanWYX2009
4 hours ago
hukilau17
2 hours ago
Deriving Van der Waerden Theorem
Didier2   0
2 hours ago
Source: Khamovniki 2023-2024 (group 10-1)
Suppose we have already proved that for any coloring of $\Large \mathbb{N}$ in $r$ colors, there exists an arithmetic progression of size $k$. How can we derive Van der Waerden's theorem for $W(r, k)$ from this?
0 replies
Didier2
2 hours ago
0 replies
Not so classic orthocenter problem
m4thbl3nd3r   6
N 2 hours ago by maths_enthusiast_0001
Source: own?
Let $O$ be circumcenter of a non-isosceles triangle $ABC$ and $H$ be a point in the interior of $\triangle ABC$. Let $E,F$ be foots of perpendicular lines from $H$ to $AC,AB$. Suppose that $BCEF$ is cyclic and $M$ is the circumcenter of $BCEF$, $HM\cap AB=K,AO\cap BE=T$. Prove that $KT$ bisects $EF$
6 replies
m4thbl3nd3r
Yesterday at 4:59 PM
maths_enthusiast_0001
2 hours ago
Functional equations
hanzo.ei   1
N 2 hours ago by GreekIdiot
Source: Greekldiot
Find all $f: \mathbb R_+ \rightarrow \mathbb R_+$ such that $f(xf(y)+f(x))=yf(x+yf(x)) \: \forall \: x,y \in \mathbb R_+$
1 reply
hanzo.ei
3 hours ago
GreekIdiot
2 hours ago
CHKMO 2017 Q3
noobatron3000   7
N 3 hours ago by Entei
Source: CHKMO
Let ABC be an acute-angled triangle. Let D be a point on the segment BC, I the incentre of ABC. The circumcircle of ABD meets BI at P and the circumcircle of ACD meets CI at Q. If the area of PID and the area of QID are equal, prove that PI*QD=QI*PD.
7 replies
noobatron3000
Dec 31, 2016
Entei
3 hours ago
Flee Jumping on Number Line
utkarshgupta   23
N Mar 26, 2025 by Ilikeminecraft
Source: All Russian Olympiad 2015 11.5
An immortal flea jumps on whole points of the number line, beginning with $0$. The length of the first jump is $3$, the second $5$, the third $9$, and so on. The length of $k^{\text{th}}$ jump is equal to $2^k + 1$. The flea decides whether to jump left or right on its own. Is it possible that sooner or later the flee will have been on every natural point, perhaps having visited some of the points more than once?
23 replies
utkarshgupta
Dec 11, 2015
Ilikeminecraft
Mar 26, 2025
Flee Jumping on Number Line
G H J
G H BBookmark kLocked kLocked NReply
Source: All Russian Olympiad 2015 11.5
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
utkarshgupta
2280 posts
#1 • 2 Y
Y by Adventure10, Mango247
An immortal flea jumps on whole points of the number line, beginning with $0$. The length of the first jump is $3$, the second $5$, the third $9$, and so on. The length of $k^{\text{th}}$ jump is equal to $2^k + 1$. The flea decides whether to jump left or right on its own. Is it possible that sooner or later the flee will have been on every natural point, perhaps having visited some of the points more than once?
This post has been edited 2 times. Last edited by djmathman, Apr 15, 2016, 5:59 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dgrozev
2459 posts
#2 • 5 Y
Y by Pluto1708, Assassino9931, Adventure10, Mango247, kiyoras_2001
It's enough to prove that being at the point $x$ at its $k$-th move, the flea can make some jumps and after that to reach $x\pm 1$.
Indeed, let it jumps $m+1$ times to the right and the last $m+2$-th jump be to the left. Thus it would be at the point:
\[x+(2^{k}+1)+(2^{k+1}+1)+\dots +(2^{k+m}+1) - (2^{k+m+1}+1)=x-2^{k}+m.\]Now, choosing $m=2^k\pm 1$, we prove the claim.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
kreegyt
10 posts
#3 • 2 Y
Y by Adventure10, Mango247
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
pad
1671 posts
#4 • 1 Y
Y by Adventure10
I claim it is possible.

Lemma: Given any $k\in \mathbb{N}$, there exists some $n>k$ such that
\[ (2^k+1)+(2^{k+1}+1)+\cdots+(2^{n-1}+1) - (2^n+1) = 1.\]Proof: Let $f(n)$ be the above expression. We know $f(k+1) = (2^k+1)-(2^{k+1}+1) = -2^k$. We claim $f(n+1)-f(n)=1$ for all $n>k$. Indeed,
\begin{align*}
    f(n+1)&= (2^k+1)+\cdots+(2^{n-1}+1)+(2^n+1) - (2^{n+1}-1),\\
    f(n)&=(2^k+1)+\cdots+(2^{n-1}+1) - (2^n+1) \\
    \implies f(n+1)-f(n) &= (2^n+1)-(2^{n-1}-1) + (2^n+1) = 1. 
\end{align*}Therefore, $f(k+1 + 2^k+1)=1$, so setting $n=2^k+k+2$ works. $\blacksquare$

Now it is easy to see by induction on $n\in \mathbb{N}$ that we can reach all $n$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mathlogician
1051 posts
#5 • 1 Y
Y by Chiaquinha
Note that this following claim essentially implies the problem.

Claim: For any $n$, we can go from $n$ to $n+1$ in a finite number of moves.

Proof: Suppose that the move made from $n$ is the $k$th total move Kelvin has made. Now for each $k \leq i \leq 2^k + k - 1$, send Kelvin $2^i +1$ to the left, and finally send Kelvin $2^{2^k+k}+1$ to the right. I claim that this shifts Kelvin's position right by exactly $1$. Indeed, one can check that $$\sum _{i = k} ^{2^k+k-1} 2^i + 1 = \sum _{i=k} ^ {2^k+k-1} 2^i + 2^k = (2^{2^k+k} - 1) - (2^k-1) + 2^k = 2^{2^k+k} $$which is exactly $1$ less than $2^{2^k+k} + 1$, as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Pluto1708
1107 posts
#6
Y by
utkarshgupta wrote:
An immortal flea jumps on whole points of the number line, beginning with $0$. The length of the first jump is $3$, the second $5$, the third $9$, and so on. The length of $k^{\text{th}}$ jump is equal to $2^k + 1$. The flea decides whether to jump left or right on its own. Is it possible that sooner or later the flee will have been on every natural point, perhaps having visited some of the points more than once?
Plain Old Russian Beauty!
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
nprime06
187 posts
#7 • 1 Y
Y by fukano_2
Solution with fukano_2.

We prove the statement with induction, with the base case (jumping on $n=0$) is trivial.

Claim. if we achieve $n$, we can get to $n+1$.
Proof. We show that there exists a choice of $b$ such that \[(2^a+1)+(2^{a+1}+1)+\cdots +(2^{b-1}+1)-(2^b+1)=1,\]which obviously proves the claim. Simply select $b=2^a+a+2$; the sum evaluates to
\begin{align*}
S&=(2^a+1)+(2^{a+1}+1)+\cdots +(2^{b-1}+1)-(2^b+1)\\&= 2^a(2^0+2^1+\cdots + 2^{b-a-1})+(b-a)-(2^b+1)\\&= 2^a(2^{b-a}-1)+(b-a)-(2^b+1)=2^b-2^a+b-a-2^b-1\\&=b-2^a-a-1=2^a+a+2-2^a-a-1=1,
\end{align*}as needed.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Enderman_1010
1786 posts
#8
Y by
utkarshgupta wrote:
An immortal flea jumps on whole points of the number line, beginning with $0$. The length of the first jump is $3$, the second $5$, the third $9$, and so on. The length of $k^{\text{th}}$ jump is equal to $2^k + 1$. The flea decides whether to jump left or right on its own. Is it possible that sooner or later the flee will have been on every natural point, perhaps having visited some of the points more than once?

You spelled "flea" as "flee" on the title and the OP
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MrOreoJuice
594 posts
#10 • 1 Y
Y by SatisfiedMagma
The answer is yes. Assume it is possible to reach $n$ at the $k^{\text{th}}$ jump. Now assume the flea jumps to the right till the next $r$ jumps.
Position after $r$ jumps would be
$$n + 2^{k+1} + 1 + \cdots + 2^{k+r} + 1 = n + 2^{k+r+1} - 2^{k+1} + r$$Again assume at the $k+r+1^{\text{th}}$ jump the flea jumps to it's left. So then position at the $k+r+1^{\text{th}}$ jump will be $$=n + 2^{k+r+1} - 2^{k+1} + r - 2^{k+r+1} - 1 = n - 2^{k+1} + r - 1$$Setting $r = 2^{k+1} + 2$ we get that the position at the $k+r+1^{\text{th}}$ jump would be $n+1$. This shows it is possible to reach from the number $n$ to the number $n+1$. To show that it is possible to reach $1$, jump left $2$ times and at the $3^{\text{rd}}$ jump, jump to the right.

Edit: Did I misread the problem? (If so, I might edit it later).
This post has been edited 2 times. Last edited by MrOreoJuice, Dec 4, 2021, 3:34 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
rafaello
1079 posts
#11
Y by
Claim. There exists $n$ such that the following is true for any $x$,
$$(2^{n+1}+1)-(2^{n}+1)-\ldots-(2^{x}+1)=1.$$Proof. Indeed, this is equivalent to $2^{x}+x=n+1.$ $\square$

Now, define $\{a_n\}$ as $a_{i+1}=2^{a_i}+a_i+1$ and $a_1=1$. Now in $k$th jump if $k=a_i-1$ the flea moves right and otherwise it moves left. We achieve every natural, done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
TheProblemIsSolved
20 posts
#12
Y by
We claim that it is possible to reach every positive integer. Suppose we want to reach a positive integer $n$. We go $n+3$ steps to the right and $1$ step to the left.
The position of the flea is,
\begin{align*}
            & \left(\sum_{i=1}^{n+3}2^i + 1\right) - 2^{n+4} - 1 \\
            =&\ 2^{n+4} - 2 + n+3 - 2^{n+4} - 1\\
            =&\ n
        \end{align*}edit: oops misread the problem
This post has been edited 1 time. Last edited by TheProblemIsSolved, Oct 6, 2021, 8:02 AM
Reason: sadge
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ilikemath40
500 posts
#14
Y by
Any OTISer? :pilot:

We will claim that it is possible that Kelvin reaches all the positive integer coordinates at least once.

First, lets define a sequence where $a_1=1$ and $\forall n\ge 2, a_n=a_{n-1}+2^{a_{n-1}}+1$. The first few terms of this sequence are $1, 4, 21$. Then lets now make some sets of numbers.

\begin{align*}
    &\{ -(2^1+1), -(2^2+1), 2^3+1 \} \\
    &\{ -(2^4+1), -(2^5+1), \dots, -(2^{19}+1), 2^{20}+1 \} \\
    \vdots \\
    &\{ -(2^{a_k}+1), -(2^{a_k+1}+1), \dots, -(2^{a_{k+1}-2}+1), 2^{a_{k+1}-1}+1 \}
\end{align*}
Now we can see that the sum of all the numbers in each of these sets is equal to 1. Thus if we add together all of these sets we will reach every natural number. $\blacksquare$
This post has been edited 1 time. Last edited by ilikemath40, Dec 27, 2021, 2:57 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mogmog8
1080 posts
#15 • 3 Y
Y by centslordm, Mango247, Mango247
Define $$S_{k,\ell}=-2^{\ell+k+1}-1+\sum_{i=\ell}^{\ell+k}(2^i+1)=-2^{\ell+k+1}-1+(k+1)+2^{\ell}(2^{k+1}-1)=k-2^{\ell}.$$If we choose $k=2^{\ell}+1,$ this sum becomes $1.$ Hence, choosing $(k_1,\ell_1)=(1,2^1+1)$ and $(k_i,\ell_i)=(\ell_{i-1}+k_{i-1}+2,2^{\ell_{i-1}+k_{i-1}+2}-1)$ for $i\ge 2,$ we obtain disjoint sums that all have sum one. We claim by induction that the flea can visit all natural numbers. For the base case, the flea can get to one by $S_{k_1,\ell_1}.$ For the inductive step, from $m,$ the flea can use $S_{k_{m+1},\ell_{m+1}}$ to get to $m+1.$ $\square$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Msn05
39 posts
#16
Y by
The answer is yes.

We define $a_k$ the number of steps needed to go from $0$ to $k$. Note that
$1=-(2^1+1)-(2^2+1)+(2^3+1)$
$2=1-(2^4+1)-(2^5+1)-\cdots-(2^{4+2^4-1}+1)+(2^{4+2^4}+1)$
$3=2-(2^{4+2^4+1}+1)-(2^{4+2^4+2}+1)-\cdots-(2^{4+2^4+2^{4+2^4}-1}+1)+(2^{4+2^4+2^{4+2^4}}+1)$
$k=(k-1)-(2^{a_{k-1}+1}+1)-(2^{a_{k-1}+2}+1)-\cdots-(2^{a_{k-1}+2^{a_{k-1}-1}}+1)+(2^{a_{k-1}+2^{a_{k-1}}}+1)$
$k+1=k-(2^{a_{k}+1}+1)-(2^{a_{k}+2}+1)-\cdots-(2^{a_{k}+2^{a_{k}-1}}+1)+(2^{a_{k}+2^{a_{k}}}+1)$
So by induction we get that
$n=(n-1)-(2^{a_{n-1}+1}+1)-(2^{a_{n-1}+2}+1)-\cdots-(2^{a_{n-1}+2^{a_{n-1}-1}}+1)+(2^{a_{n-1}+2^{a_{n-1}}}+1)$
Thus the flea can visit all points with positive integer coordinates.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
HamstPan38825
8857 posts
#17
Y by
It is possible. It suffices to show that from any point $n$ on the number line, Kelvin can get to $n+1$.

Suppose that Kelvin has already jumped $k$ times. Then, we may jump the next $2^{k+1}+1$ jumps in the negative direction, and then the next jump in the positive direction: this yields a net difference of $$-\left(2^{k+1} + 2^{k+2} + \cdots + 2^{k+2^{k+1}} + 2^{k+1}\right) + 2^{k+1+2^{k+1}} + 1 = 1,$$which means that Kelvin can reach $n+1$, as required.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
JAnatolGT_00
559 posts
#18 • 3 Y
Y by Mango247, Mango247, Mango247
We claim that the answer is positive. It's suffice to prove, that from point $n$ flea can jump to $n+1;$ if flea reached point $n$ on $k-$th move, let it makes $2^{k+1}$ jumps to left and one jump to right - it works, since the new coordinate is $$n+2^{k+2^{k+1}+1}+1-\sum_{i=1}^{2^{k+1}} (2^{k+i}+1)=n+1.$$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
john0512
4175 posts
#19
Y by
Lemma 1: For any positive integer $n$, $$(2^{2^n+n}+1)-((2^n+1)+(2^{n+1}+1)\cdots +(2^{2^n+n-1}+1))=1.$$This is because $$(2^{2^n+n}+1)-((2^n+1)+(2^{n+1}+1)\cdots +(2^{2^n+n-1}+1))$$$$=2^{2^n+n}-2^{2^n+n-1}\cdots -2^n-(2^n-1)=1.$$
Now, define the sequence $a_n$ recursively as $$a_1=1,a_n=2^{a_{n-1}}+a_{n-1}+1,$$so for example the first 4 terms are $1,4,21,2097174.$

Now, by Lemma 1, observe that $$(2^{a_2-1}+1)-\sum_{i=a_1}^{a_2-2} 2^i+1=1$$$$(2^{a_3-1}+1)-\sum_{i=a_2}^{a_3-2} 2^i+1=1,$$and so on so in general $$(2^{a_{n+1}-1}+1)-\sum_{i=a_n}^{a_{n+1}-2} 2^i+1=1,$$so we can employ an algorithm where we move forwards if the move number is of the form $a_n-1$ for some $n$, and move backwards otherwise. This allows us to reach $n-1$ on move $a_n-1$ due to the prefix sums, 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.
Danielzh
480 posts
#20
Y by
We claim that it is possible.

The flea can simply jump right for the first $k$ moves, and then jump left on the $k+1$th move. Representing the jumps as numerical values, we can write the expression as

\begin{align*}
\sum _{n = 1} ^{k} (2^n + 1) - (2^{k+1}+1) = k + 2^{k+1} - 1 - 2^{k+1} = k - 1
\end{align*}
Since $1 \le k \le + \infty$, we are done. $\blacksquare{}$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
gracemoon124
872 posts
#21
Y by
Notice how $2^{n+1}-1=2^n+2^{n-1}+\dots +2+1$, so we can write
\[2^{n+1}+1=(2^n+1)+(2^{n-1}+1)+\dots (2+1)-(n-3).\]Rearranging, we get
\[(2^n+1)+(2^{n-1}+1)+\dots +(2+1)-(2^{n+1}+1)=n-3\]so take $n=k+1$, where $k$ is the value we want to get. Therefore, it is possible.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
HoRI_DA_GRe8
588 posts
#22
Y by
$$2^k+1+2^{k+1}+1+\cdots+2^{k+2^k-1}+1-(2^{k+2^k}+1)=2^k(2^{2^k}-1)+2^k-(2^{k+2^k}+1)=-1$$
So randomly move to a very very big number,then come back with this algorithm,then repeat $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
pinkpig
3761 posts
#23
Y by
WLOG, assume the immortal flea is tricking us and is actually a frog. Now, call the frog Kelvin.

Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
blueprimes
315 posts
#24
Y by
At any point, if the flea makes right jumps $2^a + 1, 2^{a + 1} + 1, \dots, 2^{a + n - 1} + 1$ then does a left jump of $2^{a + n} + 1$, its net change in distance is
$$\sum_{i = a}^{a + n - 1} (2^i + 1) - (2^{a + n} + 1) = 2^a(2^n - 1) + n - (2^{a + n} + 1) = n + 1 - 2^a.$$From here, simply choose $n = 2^a$ which in total moves the flea to the next integer. Then repeat this process starting at $0$ and we are guaranteed to have visited every nonnegative integer at least once.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Basu_Dev
17 posts
#25
Y by
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ilikeminecraft
328 posts
#26
Y by
Claim: For any $k,$ there exists a $n$ such that \[2^k + 1 + 2^{k + 1} + 1+ \dots + 2^n + 1 - (2^{n + 1} + 1)= 1\]Proof: Take $n = 2^{k} + k.$

This trivializes!
Z K Y
N Quick Reply
G
H
=
a