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 Wednesday at 11:40 PM 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
Wednesday at 11:40 PM
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
Inequality
Tendo_Jakarta   3
N 7 minutes ago by Grotex
Let \(a,b,c\) be positive numbers such that \(a+b+c = 3\). Find the maximum value of
\[T = \dfrac{bc}{\sqrt{a}+3}+\dfrac{ca}{\sqrt{b}+3}+\dfrac{ab}{\sqrt{c}+3}  \]
3 replies
2 viewing
Tendo_Jakarta
Yesterday at 7:24 AM
Grotex
7 minutes ago
Euler Line Madness
raxu   74
N 24 minutes ago by Ilikeminecraft
Source: TSTST 2015 Problem 2
Let ABC be a scalene triangle. Let $K_a$, $L_a$ and $M_a$ be the respective intersections with BC of the internal angle bisector, external angle bisector, and the median from A. The circumcircle of $AK_aL_a$ intersects $AM_a$ a second time at point $X_a$ different from A. Define $X_b$ and $X_c$ analogously. Prove that the circumcenter of $X_aX_bX_c$ lies on the Euler line of ABC.
(The Euler line of ABC is the line passing through the circumcenter, centroid, and orthocenter of ABC.)

Proposed by Ivan Borsenco
74 replies
raxu
Jun 26, 2015
Ilikeminecraft
24 minutes ago
reseach a formula
jayme   7
N 27 minutes ago by jayme
Dear Mathlinkers,

1.ABCD a square
2. m the lengh of AB
3. M a point on the segment CD
4. 1, 2, 3 the incircles of the triangles MAB, AMD, BMC
5. r1, r2, r3, the radius of 1, 2, 3.

Question : is there a formula with r1, r2, r3 and m?

Sincerely
Jean-Louis
7 replies
1 viewing
jayme
Yesterday at 8:41 AM
jayme
27 minutes ago
Cyclic quadrilateral geometry in the style of V. Thebault
darij grinberg   91
N an hour ago by mathwiz_1207
Source: IMO Shortlist 2004 geometry problem G8
Given a cyclic quadrilateral $ABCD$, let $M$ be the midpoint of the side $CD$, and let $N$ be a point on the circumcircle of triangle $ABM$. Assume that the point $N$ is different from the point $M$ and satisfies $\frac{AN}{BN}=\frac{AM}{BM}$. Prove that the points $E$, $F$, $N$ are collinear, where $E=AC\cap BD$ and $F=BC\cap DA$.

Proposed by Dusan Dukic, Serbia and Montenegro
91 replies
1 viewing
darij grinberg
May 27, 2005
mathwiz_1207
an hour ago
Thanks u!
Ruji2018252   6
N an hour ago by jasperE3
Find all $f:\mathbb{R}\to\mathbb{R}$ and
\[f(x)+f(x^2+2x)=x^2+3x+4046,\forall x\in\mathbb{R}\]
6 replies
Ruji2018252
3 hours ago
jasperE3
an hour ago
A_1, M,Q,P lie on a circle
ts0_9   19
N an hour ago by Ilikeminecraft
Source: Kazakhstan 2011 grade 9
Given a non-degenerate triangle $ABC$, let $A_{1}, B_{1}, C_{1}$ be the point of tangency of the incircle with the sides $BC, AC, AB$. Let $Q$ and $L$ be the intersection of the segment $AA_{1}$ with the incircle and the segment $B_{1}C_{1}$ respectively. Let $M$ be the midpoint of $B_{1}C_{1}$. Let $T$ be the point of intersection of $BC$ and $B_{1}C_{1}$. Let $P$ be the foot of the perpendicular from the point $L$ on the line $AT$. Prove that the points $A_{1}, M, Q, P$ lie on a circle.
19 replies
ts0_9
May 25, 2012
Ilikeminecraft
an hour ago
Iranian tough nut: AA', BN, CM concur in Gergonne picture
grobber   68
N an hour ago by Ilikeminecraft
Source: Iranian olympiad/round 3/2002
Let $ABC$ be a triangle. The incircle of triangle $ABC$ touches the side $BC$ at $A^{\prime}$, and the line $AA^{\prime}$ meets the incircle again at a point $P$. Let the lines $CP$ and $BP$ meet the incircle of triangle $ABC$ again at $N$ and $M$, respectively. Prove that the lines $AA^{\prime}$, $BN$ and $CM$ are concurrent.
68 replies
grobber
Dec 29, 2003
Ilikeminecraft
an hour ago
EGMO Genre Predictions
ohiorizzler1434   1
N an hour ago by sixoneeight
Everybody, with EGMO upcoming, what are you predictions for the problem genres?


Personally I predict: predict
1 reply
ohiorizzler1434
2 hours ago
sixoneeight
an hour ago
inequality with natural parameters
jasperE3   4
N 2 hours ago by ohiorizzler1434
Source: S&M 2002 3&4th Grade P1
For any positive numbers $a,b,c$ and natural numbers $n,k$ prove the inequality
$$\frac{a^{n+k}}{b^n}+\frac{b^{n+k}}{c^n}+\frac{c^{n+k}}{a^n}\ge a^k+b^k+c^k.$$
4 replies
jasperE3
May 15, 2021
ohiorizzler1434
2 hours ago
3 var inquality
sqing   2
N 2 hours ago by sqing
Source: Own
Let $ a,b,c  $ be reals . Prove that
$$ a^2+ b^2 +c^2+ab+\frac{1}{2}bc+ca+\frac{5}{4}\geq  \sqrt{3} (a+b+c)$$$$ a^2+ b^2 +c^2+ab+\frac{3}{2}bc+ca+\frac{7}{10}\geq  \sqrt{2} (a+b+c)$$$$ a^2+ b^2 +c^2+ab+2bc+ca+1\geq  \sqrt{3} (a+b+c)$$
2 replies
sqing
2 hours ago
sqing
2 hours ago
hard problem
Cobedangiu   12
N 3 hours ago by sqing
problem
12 replies
Cobedangiu
Yesterday at 2:54 PM
sqing
3 hours ago
Rational numbers
steven_zhang123   2
N 3 hours ago by internationalnick123456
Source: G635
Find all positive real numbers \( \alpha \) such that there exist infinitely many rational numbers \( \frac{p}{q} (p, q \in \mathbb{Z}, p > 0, \gcd(p, q) = 1 ) \) satisfying

\[
\left| \frac{q}{p} - \frac{\sqrt{5} - 1}{2} \right| < \frac{\alpha}{p^2}.
\]
2 replies
steven_zhang123
Yesterday at 1:24 PM
internationalnick123456
3 hours ago
Inspired by old results
sqing   3
N 3 hours ago by sqing
Source: Own
Let $ a,b,c > 0 $ and $ a+b+c +abc =4. $ Prove that
$$ a^2 + b^2 + c^2 + 3 \geq 2( ab+bc + ca )$$Let $ a,b,c > 0 $ and $  ab+bc+ca+abc=4. $ Prove that
$$ a^2 + b^2 + c^2 + 2abc \geq  5$$
3 replies
sqing
Yesterday at 12:35 PM
sqing
3 hours ago
Surjectivity such that f(x) = 0
KHOMNYO2   1
N 3 hours ago by internationalnick123456
Determine all integer $k$ with this property: For every non-constant function $f : \mathbb{Z} \rightarrow \mathbb{Z}$ that satisfy
$$f(f(x) + f(y)) + f(x+y) = 0$$for every integers $x,y$, there exists an integer $n$ (that depends on choice of $f$) such that $f(n) = k$

I need help/fresh approach on whether the family of the solution function is surjective such that there always exist x so f(x) = 0 or not
1 reply
KHOMNYO2
4 hours ago
internationalnick123456
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
587 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
314 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
324 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