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

G
Topic
First Poster
Last Poster
k a May Highlights and 2025 AoPS Online Class Information
jlacosta   0
May 1, 2025
May is an exciting month! National MATHCOUNTS is the second week of May in Washington D.C. and our Founder, Richard Rusczyk will be presenting a seminar, Preparing Strong Math Students for College and Careers, on May 11th.

Are you interested in working towards MATHCOUNTS and don’t know where to start? We have you covered! If you have taken Prealgebra, then you are ready for MATHCOUNTS/AMC 8 Basics. Already aiming for State or National MATHCOUNTS and harder AMC 8 problems? Then our MATHCOUNTS/AMC 8 Advanced course is for you.

Summer camps are starting next month at the Virtual Campus in math and language arts that are 2 - to 4 - weeks in duration. Spaces are still available - don’t miss your chance to have an enriching summer experience. 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 upcoming events:
[list][*]May 9th, 4:30pm PT/7:30pm ET, Casework 2: Overwhelming Evidence — A Text Adventure, a game where participants will work together to navigate the map, solve puzzles, and win! All are welcome.
[*]May 19th, 4:30pm PT/7:30pm ET, What's Next After Beast Academy?, designed for students finishing Beast Academy and ready for Prealgebra 1.
[*]May 20th, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 1 Math Jam, Problems 1 to 4, join the Canada/USA Mathcamp staff for this exciting Math Jam, where they discuss solutions to Problems 1 to 4 of the 2025 Mathcamp Qualifying Quiz!
[*]May 21st, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 2 Math Jam, Problems 5 and 6, Canada/USA Mathcamp staff will discuss solutions to Problems 5 and 6 of the 2025 Mathcamp Qualifying Quiz![/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
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
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, 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
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
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
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
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

Paradoxes and Infinity
Mon, Tue, Wed, & Thurs, Jul 14 - Jul 16 (meets every day of the week!)

Intermediate: Grades 8-12

Intermediate Algebra
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
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
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
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
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

AIME Problem Series A
Thursday, May 22 - Jul 31

AIME Problem Series B
Sunday, Jun 22 - Sep 21

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
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
May 1, 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
Drawing excircle on circular paper with very strange ruler
Miquel-point   0
a few seconds ago
Source: KoMaL A. 906
Let $\mathcal{V}_c$ denote the infinite parallel ruler with the parallel edges being at distance $c$ from each other. The following construction steps are allowed using ruler $\mathcal V_c$:
[list]
[*] the line through two given points;
[*] line $\ell'$ parallel to a given line $\ell $at distance $c$ (there are two such lines, both of which can be constructed using this step);
[*] for given points $A$ and $B$ with $|AB|\ge c$ two parallel lines at distance $c$ such that one of them passes through $A$, and the other one passes through $B$ (if $|AB|>c$, there exists two such pairs of parallel lines, and both can be constructed using this step).
[/list]
On the perimeter of a circular piece of paper three points are given that form a scalene triangle. Let $n$ be a given positive integer. Prove that based on the three points and $n$ there exists $C>0$ such that for any $0<c\le C$ it is possible to construct $n$ points using only $\mathcal V_c$ on one of the excircles of the triangle.
We are not allowed to draw anything outside our circular paper. We can construct on the boundary of the paper; it is allowed to take the intersection point of a line with the boundary of the paper.

Proposed by Áron Bán-Szabó
0 replies
Miquel-point
a few seconds ago
0 replies
hard inequality omg
tokitaohma   5
N 5 minutes ago by math90
1. Given $a, b, c > 0$ and $abc=1$
Prove that: $ \sqrt{a^2+1} + \sqrt{b^2+1} + \sqrt{c^2+1} \leq \sqrt{2}(a+b+c) $

2. Given $a, b, c > 0$ and $a+b+c=1 $
Prove that: $ \dfrac{\sqrt{a^2+2ab}}{\sqrt{b^2+2c^2}} + \dfrac{\sqrt{b^2+2bc}}{\sqrt{c^2+2a^2}} + \dfrac{\sqrt{c^2+2ca}}{\sqrt{a^2+2b^2}} \geq \dfrac{1}{a^2+b^2+c^2} $
5 replies
2 viewing
tokitaohma
May 11, 2025
math90
5 minutes ago
Non-decelarating sequence is convergence-inducing
Miquel-point   0
6 minutes ago
Source: KoMaL A. 905
We say that a strictly increasing sequence of positive integers $n_1, n_2,\ldots$ is non-decelerating if $n_{k+1}-n_k\le n_{k+2}-n_{k+1}$ holds for all positive integers $k$. We say that a strictly increasing sequence $n_1, n_2, \ldots$ is convergence-inducing, if the following statement is true for all real sequences $a_1, a_2, \ldots$: if subsequence $a_{m+n_1}, a_{m+n_2}, \ldots$ is convergent and tends to $0$ for all positive integers $m$, then sequence $a_1, a_2, \ldots$ is also convergent and tends to $0$. Prove that a non-decelerating sequence $n_1, n_2,\ldots$ is convergence-inducing if and only if sequence $n_2-n_1$, $n_3-n_2$, $\ldots$ is bounded from above.

Proposed by András Imolay
0 replies
Miquel-point
6 minutes ago
0 replies
Changing the states of light bulbs
Lukaluce   1
N 8 minutes ago by sarjinius
Source: 2025 Macedonian Balkan Math Olympiad TST Problem 1
A set of $n \ge 2$ light bulbs are arranged around a circle, and are consecutively numbered with
$1, 2, . . . , n$. Each bulb can be in one of two states: either it is on or off. In the initial configuration,
at least one bulb is turned on. On each one of $n$ days we change the current on/off configuration as
follows: for $1 \le k \le n$, on the $k$-th day we start from the $k$-th bulb and moving in clockwise direction
along the circle, we change the state of every traversed bulb until we switch on a bulb which was
previously off.
Prove that the final configuration, reached on the $n$-th day, coincides with the initial one.
1 reply
Lukaluce
Apr 14, 2025
sarjinius
8 minutes ago
Proving radical axis through orthocenter
azzam2912   0
23 minutes ago
In acute triangle $ABC$ let $D, E$ and $F$ denote the feet of the altitudes from $A, B$ and $C$, respectively. Let line $DE$ intersect circumcircle $ABC$ at points $G, H$. Similarly, let line $DF$ intersect circumcircle $ABC$ at points $I, J$. Prove that the radical axis of circles $EIJ$ and $FGH$ passes through the orthocenter of triangle $ABC$
0 replies
azzam2912
23 minutes ago
0 replies
Ez induction to start it off
alexanderhamilton124   22
N 29 minutes ago by Adywastaken
Source: Inmo 2025 p1
Consider the sequence defined by \(a_1 = 2\), \(a_2 = 3\), and
\[
a_{2k+1} = 2 + 2a_k, \quad a_{2k+2} = 2 + a_k + a_{k+1},
\]for all integers \(k \geq 1\). Determine all positive integers \(n\) such that
\[
\frac{a_n}{n}
\]is an integer.

Proposed by Niranjan Balachandran, SS Krishnan, and Prithwijit De.
22 replies
alexanderhamilton124
Jan 19, 2025
Adywastaken
29 minutes ago
Weird Algebra?
JARP091   0
31 minutes ago
Source: Art and Craft of Problem Solving 2.2.16
For each positive integer \( n \), find positive integer solutions \( x_1, x_2, \ldots, x_n \) to the equation

\[
\frac{1}{x_1} + \frac{1}{x_2} + \cdots + \frac{1}{x_n} + \frac{1}{x_1 x_2 \cdots x_n} = 1
\]
0 replies
JARP091
31 minutes ago
0 replies
Parallel lines in incircle configuration
GeorgeRP   2
N 34 minutes ago by bin_sherlo
Source: Bulgaria IMO TST 2025 P1
Let $I$ be the incenter of triangle $\triangle ABC$. Let $H_A$, $H_B$, and $H_C$ be the orthocenters of triangles $\triangle BCI$, $\triangle ACI$, and $\triangle ABI$, respectively. Prove that the lines through $H_A$, $H_B$, and $H_C$, parallel to $AI$, $BI$, and $CI$, respectively, are concurrent.
2 replies
GeorgeRP
5 hours ago
bin_sherlo
34 minutes ago
Transposition?
EeEeRUT   1
N 35 minutes ago by ItzsleepyXD
Source: Thailand MO 2025 P8
For each integer sequence $a_1, a_2, a_3, \dots, a_n$, a single parity swapping is to choose $2$ terms in this sequence, say $a_i$ and $a_j$, such that $a_i + a_j$ is odd, then switch their placement, while the other terms stay in place. This creates a new sequence.

Find the minimal number of single parity swapping to transform the sequence $1,2,3, \dots, 2025$ to $2025, \dots, 3, 2, 1$, using only single parity swapping.
1 reply
EeEeRUT
5 hours ago
ItzsleepyXD
35 minutes ago
Zero-Player Card Game
pieater314159   15
N an hour ago by N3bula
Source: ELMO 2019 Problem 3, 2019 ELMO Shortlist C4
Let $n \ge 3$ be a fixed integer. A game is played by $n$ players sitting in a circle. Initially, each player draws three cards from a shuffled deck of $3n$ cards numbered $1, 2, \dots, 3n$. Then, on each turn, every player simultaneously passes the smallest-numbered card in their hand one place clockwise and the largest-numbered card in their hand one place counterclockwise, while keeping the middle card.

Let $T_r$ denote the configuration after $r$ turns (so $T_0$ is the initial configuration). Show that $T_r$ is eventually periodic with period $n$, and find the smallest integer $m$ for which, regardless of the initial configuration, $T_m=T_{m+n}$.

Proposed by Carl Schildkraut and Colin Tang
15 replies
pieater314159
Jun 19, 2019
N3bula
an hour ago
Replace a,b by a+b/2
mathscrazy   16
N an hour ago by Adywastaken
Source: INMO 2025/2
Let $n\ge 2$ be a positive integer. The integers $1,2,\cdots,n$ are written on a board. In a move, Alice can pick two integers written on the board $a\neq b$ such that $a+b$ is an even number, erase both $a$ and $b$ from the board and write the number $\frac{a+b}{2}$ on the board instead. Find all $n$ for which Alice can make a sequence of moves so that she ends up with only one number remaining on the board.
Note. When $n=3$, Alice changes $(1,2,3)$ to $(2,2)$ and can't make any further moves.

Proposed by Rohan Goyal
16 replies
mathscrazy
Jan 19, 2025
Adywastaken
an hour ago
Graph theory
VicKmath7   5
N an hour ago by CBMaster
Source: St Petersburg 2007 MO
Find the maximal number of edges a connected graph $G$ with $n$ vertices may have, so that after deleting an arbitrary cycle, $G$ is not connected anymore.
5 replies
VicKmath7
Aug 30, 2021
CBMaster
an hour ago
solve this problem by use invariant
illybest   1
N an hour ago by GreekIdiot
Define a "hook" to be a figure made up of six unit squares as shown below in the picture, or any of the figures obtained by applying rotations and reflections to this figure.
Determine all mxn rectangles that can be covered without gaps and without overlaps with hooks such that

- the rectangle is covered without gaps and without overlaps
- no part of a hook covers area outside the rectangle.
1 reply
illybest
May 5, 2024
GreekIdiot
an hour ago
ISI UGB 2025 P7
SomeonecoolLovesMaths   12
N an hour ago by ohiorizzler1434
Source: ISI UGB 2025 P7
Consider a ball that moves inside an acute-angled triangle along a straight line, unit it hits the boundary, which is when it changes direction according to the mirror law, just like a ray of light (angle of incidence = angle of reflection). Prove that there exists a triangular periodic path for the ball, as pictured below.

IMAGE
12 replies
SomeonecoolLovesMaths
May 11, 2025
ohiorizzler1434
an hour ago
Identical or Periodic?
L567   12
N Apr 25, 2025 by Ilikeminecraft
Source: India EGMO TST 2023/4
Let $f, g$ be functions $\mathbb{R} \rightarrow \mathbb{R}$ such that for all reals $x,y$, $$f(g(x) + y) = g(x + y)$$Prove that either $f$ is the identity function or $g$ is periodic.

Proposed by Pranjal Srivastava
12 replies
L567
Dec 10, 2022
Ilikeminecraft
Apr 25, 2025
Identical or Periodic?
G H J
G H BBookmark kLocked kLocked NReply
Source: India EGMO TST 2023/4
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
L567
1184 posts
#1 • 2 Y
Y by dangerousliri, ItsBesi
Let $f, g$ be functions $\mathbb{R} \rightarrow \mathbb{R}$ such that for all reals $x,y$, $$f(g(x) + y) = g(x + y)$$Prove that either $f$ is the identity function or $g$ is periodic.

Proposed by Pranjal Srivastava
This post has been edited 1 time. Last edited by L567, Dec 10, 2022, 7:00 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
L567
1184 posts
#2
Y by
If $g(x) = x+c$ for some constant $c$, then $f(x+y+c) = x+y+c$ so it is the identity, so ignore this case.

Then, there exists some $k$ such that $p = g(k)-k-g(0) \neq 0$. Then we have that $f(g(k) + y) = f(k+y) = f(g(0) + k+y)$ so $f$ is periodic with period $p$.

Then $g(y+p) = f(g(0)+y+p) = f(g(0)+y) = g(y)$ so $g$ is also periodic, as desired. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
megarnie
5608 posts
#4
Y by
Let $P(x,y)$ denote the given assertion.

Notice that by $P(x,0)$, $f(g(x)) = g(x)$, so if $g$ is surjective, then $f$ is the identity function. Now we assume $g$ is not surjective.

$P(0,x): f(x+g(0)) = g(x)$.

Case 1: $g$ is injective.
Then if $f(a)   = f(b)$, then $P(0,a-g(0))$ compared with $P(0,b-g(0))$ gives $g(a-g(0)) = g(b-g(0))$, so $a=b$.

The original FE can be rewritten as $f(g(x) + y)= f(x +y+g(0))$, so using $f$ injective, we get $g(x) = x + g(0)$, which is surjective, contradiction.

Case 2: $g$ is not injective.
Then $g(a) = g(b)$ for some $a\ne b$. Comparing $P(a,x)$ and $P(b,x)$ gives $g(a+x) = g(b+x)$ for all reals $x$, so $g(x) = g(x + (b-a))$, which implies $g$ is periodic.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SatisfiedMagma
460 posts
#5 • 1 Y
Y by dangerousliri
Solution: The solution will be a casework whether $g$ is injective or not. We shall prove for all injective $g$, $f$ must be the identity and $g$ must be periodic if $g$ is non-injective. Let $P(x,y)$ be the assertion to the Functional Equation.

Case 1: $g$ is an injective function.

$P(x,-g(x))$ gives $f(0) = g(x-g(x))$. The final trick is to consider $P(0,-g(0))$ which gives you $f(0) = g(-g(0))$. By injectivity you get $g(x) = x + g(0)$. Putting this back into the original equation, we yield $f(x+y+g(0)) = x+y+g(0)$ which gives $f \equiv \text{id}$ as desired.

Case 2: $g$ is a non-injective function.

By assumption, there exists distinct $a,b$ in $\mathbb{R}$ such that $g(a) = g(b)$. Consider $P(x,a)$ and $P(x,b)$. This would give
\[f(g(a) + y) = f(g(b) + y) = g(a+ y) = g(b+ y)\]This nicely rearranges to $g(y) = g(y+a-b)$ which shows $g$ is periodic function.

We have exhausted all cases so the solution 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.
jasperE3
11334 posts
#6
Y by
Let $P(x,y)$ be the given assertion.
$P(0,x-g(0))\implies f(x)=g(x-g(0))$
$P(x,y-x)\implies g(g(x)-x-g(0)+y)=g(y)$
Now either $g$ is periodic, or $g(x)=x+g(0)$ in which case $f(x+y+g(0))=x+y+g(0)$ and $f$ is the identity.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Leo890
64 posts
#7
Y by
Observe that $f(g(x))= g(x)$ and $f(g(0)+y)=f(g(y))$.
Suppose that for each pair of real numbers $(x,p)$ we have $$g(x) \neq f(g(x)+p) = g(x+p)$$.
Thus $f$ must be injective by below, so $g(y)= g(0)+y \implies f(g(0)+y)=f(g(y))= g(y) = g(0) + y$, hence $f$ is the identity function.
If there exists such pair, then $$g(x+p) = g(x) \implies g(x)+a = g(x+p)+a \implies f(g(x)+a) = f(g(x+p)+a) \implies g(a+x) = g(x+a+p)$$for any arbitrary real $a$. Hence $g$ is periodic.
This post has been edited 4 times. Last edited by Leo890, Dec 11, 2022, 12:17 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
AshAuktober
1007 posts
#8
Y by
Let us assume that g is not periodic. We have to prove that in this case, f is the identity function.
Let $P(x, y)$ denote the given assertion.
$P(0, y)$ gives us $f(y+g(0)) = g(y) \implies f(y) = g(y-g(0))$.
Substituting this in the original equation,
$g(y + g(x) - g(0)) = g(y+x)$.
Note that if for some $r$, if $g(r) - g(0) \ne r$, then $|g(r) - g(0) - r|$ is a multiple of the period of $g$, so $g$ becomes periodic.
Therefore for all r, $g(r) - g(0) = r \implies g(r) = r + g(0)$. Now $f(r) = g(r-g(0)) = r - g(0) + g(0) = r$, which yields that $f$ is indeed the identity function.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Jndd
1416 posts
#9
Y by
Plug in $y=0$ to get $f(g(x))=g(x)$, which gives \[f(g(x)+y)=g(x+y)=f(g(x+y)).\]We will do cases on whether $f$ is injective. If it is, then we have $g(x)+y=g(x+y)$, and plugging in $x=0$ gives us $g(0)+y=g(y)$. Thus, $g(x)=x+f(0)$ for all $x$, which gives \[f(g(x)+y)=f(x+y+f(0))=g(x+y)=x+y+f(0).\]Thus, $f$ must be the identity.

If $f$ is not injective, then $f$ clearly cannot be the identity. There must be some $a\neq b$ such that $f(a)=f(b)$. For each $x$, there is some $y_1$ and $y_2$ such that $g(x)+y_1=a$ and $g(x)+y_2=b$, so \[g(x+y_1)=f(a)=f(b)=g(x+y_2),\]giving $g(x)=g(x+(y_2-y_1)) = g(x+(b-a))$ for all $x$. Thus, $g$ is periodic.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MathLuis
1526 posts
#10
Y by
Suppose that $g$ is not periodic then let $P(x,y)$ the assertion of the F.E.
$P(x,y-g(x))$ gives $f(y)=g(y+x-g(x))$, now let $x$ vary among all reals to get that $g(x)-x$ is constant therefore $g(x)=x+c$ which by replacing means $f(x+y+c)=x+y+c$ or $f= \text{id}$ thus we are done :cool:.
This post has been edited 1 time. Last edited by MathLuis, Jul 26, 2024, 10:20 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cosdealfa
27 posts
#11 • 2 Y
Y by pb_ana, Kaus_sgr
Nice and easy FE :)
We will treat two cases: $g$ is injective and $g$ is not injective.

Case 1: $g$ is injective
plugging in $y=-g(x)$ we get: $f(0)=g(x-g(x))$, so, by the injectivity of $g$, $x-g(x)$ is equal to a constant $c$, $\forall x \in \mathbb{R}$.
Therefore $g$ is also surjective, so setting $y=0$ we get $f(g(x))=g(x)$, therefore $f$ is the identity function.

Case 2: $g$ is not injective
Then, there exist some $a, b \in \mathbb{R}$ such that $a \neq b$ but $f(a)=f(b)$.
Therefore, setting $x=a$ and then $x=b$ we get that $g(a+y)=g(b+y)$, $\forall y \in \mathbb{R}$. Therefore, $g$ is periodic with period $(a-b)$, as desired
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Marcus_Zhang
980 posts
#12
Y by
Storage
This post has been edited 2 times. Last edited by Marcus_Zhang, Mar 14, 2025, 12:54 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Maximilian113
575 posts
#13
Y by
First, suppose that $g(x)$ is not injective. Then there is some $a, a+T$ such that $g(a)=g(a+T)$ where $T \neq 0.$ Then $$g(a+T+y)=f(g(a+T)+y)=f(g(a)+y)=g(a+y).$$Therefore since $y$ can vary $g(x)$ is periodic.

Now, suppose that $g(x)$ is injective. Then $$y=-g(x) \implies f(0)=g(x-g(x)).$$Hence $x-g(x)=c$ for all real $x$ and a constant $c,$ therefore $f(x+y+c)=x+y+c$ so $f(x)$ is the identity function. QED
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ilikeminecraft
643 posts
#14
Y by
We will do casework on if $g$ is injective or not.

If $g$ is injective, we plug in $y = -g(x)$ to see that $f(0) = g(x-g(x)),$ and by plugging in $x = 0$ to that, we have that $f(0) = g(x - g(x)) = g(- g(0)),$ and hence $g(x) = x + g(0).$ Thus, we have that $f$ is identity.

If $g$ is not injective, let $a, b$ be values such that $g(a) = g(b).$ By plugging in $x = a, x = b,$ we see that $g(a + y) = f(g(a) + y) = f(g(a) + y) = g(b + y).$ Thus, we see that $g$ is periodic, with frequ3ence of $|a - b|.$
Z K Y
N Quick Reply
G
H
=
a