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
Every popular person is the best friend of a popular person?
yunxiu   8
N 22 minutes ago by HHGB
Source: 2012 European Girls’ Mathematical Olympiad P6
There are infinitely many people registered on the social network Mugbook. Some pairs of (different) users are registered as friends, but each person has only finitely many friends. Every user has at least one friend. (Friendship is symmetric; that is, if $A$ is a friend of $B$, then $B$ is a friend of $A$.)
Each person is required to designate one of their friends as their best friend. If $A$ designates $B$ as her best friend, then (unfortunately) it does not follow that $B$ necessarily designates $A$ as her best friend. Someone designated as a best friend is called a $1$-best friend. More generally, if $n> 1$ is a positive integer, then a user is an $n$-best friend provided that they have been designated the best friend of someone who is an $(n-1)$-best friend. Someone who is a $k$-best friend for every positive integer $k$ is called popular.
(a) Prove that every popular person is the best friend of a popular person.
(b) Show that if people can have infinitely many friends, then it is possible that a popular person is not the best friend of a popular person.

Romania (Dan Schwarz)
8 replies
yunxiu
Apr 13, 2012
HHGB
22 minutes ago
2021 EGMO P2: f(xf(x)+y) = f(y) + x^2 for rational x, y
anser   80
N 30 minutes ago by math-olympiad-clown
Source: 2021 EGMO P2
Find all functions $f:\mathbb{Q}\to\mathbb{Q}$ such that the equation
\[f(xf(x)+y) = f(y) + x^2\]holds for all rational numbers $x$ and $y$.

Here, $\mathbb{Q}$ denotes the set of rational numbers.
80 replies
anser
Apr 13, 2021
math-olympiad-clown
30 minutes ago
D1033 : A problem of probability for dominoes 3*1
Dattier   1
N 30 minutes ago by Dattier
Source: les dattes à Dattier
Let $G$ a grid of 9*9, we choose a little square in $G$ of this grid three times, we can choose three times the same.

What the probability of cover with 3*1 dominoes this grid removed by theses little squares (one, two or three) ?
1 reply
Dattier
May 15, 2025
Dattier
30 minutes ago
2010 Japan MO Finals
parkjungmin   4
N 38 minutes ago by parkjungmin
Is there anyone who can solve question problem 5?
4 replies
parkjungmin
May 15, 2025
parkjungmin
38 minutes ago
No more topics!
Why can't we just write down an FE?
TheUltimate123   5
N Apr 13, 2025 by jasperE3
Source: CAMO 2022/2 (https://aops.com/community/c594864h2791269p24548889)
Find all functions \(f:\mathbb Z\to\mathbb Z\) such that \[f(f(x)f(y))=f(xf(y))+f(y)\]for all integers \(x\) and \(y\).

Proposed by nukelauncher and TheUltimate123
5 replies
TheUltimate123
Mar 20, 2022
jasperE3
Apr 13, 2025
Why can't we just write down an FE?
G H J
G H BBookmark kLocked kLocked NReply
Source: CAMO 2022/2 (https://aops.com/community/c594864h2791269p24548889)
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
TheUltimate123
1740 posts
#1 • 3 Y
Y by goodbear, jasperE3, cubres
Find all functions \(f:\mathbb Z\to\mathbb Z\) such that \[f(f(x)f(y))=f(xf(y))+f(y)\]for all integers \(x\) and \(y\).

Proposed by nukelauncher and TheUltimate123
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Orestis_Lignos
558 posts
#2 • 3 Y
Y by lazizbek42, PRMOisTheHardestExam, cubres
Note that by switching the variables $x,y$ we infer $f(xf(y))+f(y)=f(yf(x))+f(x)$ and so by taking $y=0$ here we get $f(xf(0))=f(x)$. We will use this relation multiple times without any further mentioning. As a corollary, $f(f(0))=f(1)$.

Taking $x=0$ and switching $y$ to $x$ in the given we obtain $f(f(x))=f(x)+f(0)$.
Note that $$f(0)+f(1)=f(f(1))=f(f(1)f(0))=f(f(0))+f(0)=f(0)+f(0)+f(0)=3f(0),$$so $f(1)=2f(0)$.

Taking $x \rightarrow f(x)$ in $f(xf(y))+f(y)=f(yf(x))+f(x)$ and using that $f(f(x))=f(x)+f(0)$ we infer that

$$f(yf(x))+f(y)=f(y(f(x)+f(0))+f(0)$$
Take $y=1$ in the above to obtain

$$f(f(x))+f(0)=f(f(x)+f(0))$$
Now, taking $x=0$ here we have $f(2)=3f(0)$. Taking $x=1$ we have $f(3)=4f(0)$, and so we may keep going on. Thus, we have $f(k)=(k+1)f(0)$ for all $k \geq 0$.

For the negative $k$'s, we take $y=-1$ in $f(yf(x))+f(y)=f(y(f(x)+f(0))+f(0)$ to obtain

$$f(-f(x)-f(0))=f(-f(x))+f(-1)-f(0),$$
and since we know $f(k)=(k+1)f(0)$ for $k \geq 0$ we may successively take $x$ to be any positive integer, and so we have $f(-k)=kf(-1)-(k-1)f(0)$ for all $k \leq 0$.

To sum up what we already have, if we let $f(0)=a$ and $f(-1)=b$, we have $f(x)=\begin{cases}a(x+1)&x\geq 0\\a(x+1)-bx&x <0 \end{cases}$

Now, we will take cases regarding the values of $a,b$.

If $a \geq 0$, then $$a(a+1)=f(a)=f(f(0))=2f(0)=2a,$$and so $a \in \{0,1 \}$

If $a=0$ then $f(x)=f(xf(0))=f(0)=0$ and so $f$ is the zero function, which evidently works.
If $a=1$ then $f(x)=\begin{cases}x+1&x\geq 0\\x+1-bx&x <0 \end{cases}$.

If $b \leq 0$ then $x+1-bx<0$ for all $x<0$, and so taking $x,y<0$ we have

$$f((x+1-xb)(y+1-yb))=f(x(y+1-yb))+(y+1-yb),$$
and so

$$(x+1-xb)(y+1-yb)+1=x(y+1-yb)+1+(y+1-yb),$$
hence

$$bx(y+1-yb)=0$$
for all $x,y<0$, thus $b=0$, which in turn gives $f(x)=x+1$ for all $x$, which works.

If $b>0$ then $x+1-xb>0$ for $x<0$, hence if we take $x,y<0$ we have

$$f((y+1-yb)(x+1-xb))=f(x(y+1-yb))+(y+1-yb),$$
and so

$$(y+1-yb)(x+1-xb)+1=(1-b)x(y+1-yb)+1+(y+1-yb),$$
which is always true.

If we take $x,y>0$ we can easily check that we are okay. If now $x>0>y$, then we have

$$f((x+1)(y+1-yb))=f(x(y+1-yb))+(y+1-yb),$$
and so

$$(x+1)(y+1-yb)+1=x(y+1-yb)+1+(y+1-yb),$$
which is always true.

Lastly, if $y>0>x$, then we have

$$f((y+1)(x+1-xb))=f(x(y+1))+(y+1),$$
and so

$$(y+1)(x+1-xb)+1=(1-b)(xy+x)+1+(y+1),$$
which is also always true.

Thus, we have the solution $f(x)=\begin{cases}x+1&x\geq 0\\x+1-bx&x <0 \end{cases}$, where $b  \geq 0$.

On the other hand, if $a<0$, then $$2a=f(a)=a^2+a-ab$$and so $a=0$ or $b=a-1$. As we saw before the former implies $f$ is the zero function. If $b=a-1$, then $f(x)=\begin{cases}(x+1)a&x\geq 0\\x+a&x <0 \end{cases}$.

We now take $x,y>0$ and we have

$$f((x+1)(y+1)a^2)=f(x(y+1)a)+(y+1)a$$
and so

$$((x+1)(y+1)a^2+1)a=x(y+1)a+a+(y+1)a,$$
hence


$$(x+1)(y+1)(a-1)(a+1)=0,$$
and so $a=-1$. It is easy to verify that $f(x)=\begin{cases}-x-1&x\geq 0\\x-1&x <0 \end{cases}$ works.

Therefore, we have four solutions, namely the zero function, $f(x)=x+1$, $f(x)=\begin{cases}x+1&x\geq 0\\x+1-bx&x <0 \end{cases}$, where $b  \geq 0$ and $f(x)=\begin{cases}-x-1&x\geq 0\\x-1&x <0 \end{cases}$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
rama1728
800 posts
#3 • 2 Y
Y by PRMOisTheHardestExam, cubres
CAMO P2

19 pages, 10 to 15 MOHS?
This post has been edited 1 time. Last edited by rama1728, Mar 20, 2022, 8:24 AM
Reason: O
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Master_of_Aops
71 posts
#4 • 2 Y
Y by PRMOisTheHardestExam, cubres
Let $P(x, y) $ denote the assertion: $f(f(x)f(y))=f(xf(y))+f(y)$

$P(0, x): f(f(0)f(x)) = f(x) + f(0)$
$P(x, 0): f(f(0)f(x)) = f(xf(0)) + f(0)$

The above two equations give us $f(xf(0)) =  f(x)... (\spadesuit)$ which in turn transforms the first equation to: $f(f(x)) = f(x) + f(0)...(\clubsuit)$
Using this and inducting, we get $f(nf(0)) = (n+1)f(0)$ for all $n \ge 0 \implies \boxed{f(n) = f(nf(0)) = (n+1)f(0)}$ for all $n \ge 0$.

Now for a nonnegative $n$, $P(-1, n):$ $$ f(f(n)f(-1)) = f(-f(n)) + f(n) \implies f((n+1)f(0)f(-1)) = f(-(n+1)f(0)) + (n+1)f(0)$$.
By $(\spadesuit)$, $f((n+1)f(-1)) = f(-(n+1)) + (n+1)f(0)$. So for a positive $n$, $f(nf(-1)) = f(-n) + nf(0)$

Similarly, $P(n, -1):$ $$ f(f(n)f(-1)) = f(nf(-1)) + f(-1) \implies f((n+1)f(-1))  = f(nf(-1)) + f(-1)$$which by induction yields: $f(nf(-1)) = nf(-1) + f(0)$ due to the base case $f(f(-1)) = f(-1) + f(0)...(\clubsuit)$

Combining the last two results, we get $$f(-n) + nf(0) = nf(-1) + f(0) \implies f(-n) = nf(-1) + (1-n)f(0)$$

For the finish, we take two cases: $f(0) > 0$ or $f(0) < 0$.

$\text{CASE 1: } f(0)>0$

By $(\spadesuit)$, we have that $f(f(0)) = f(1) = 2f(0)$ but $f(f(0)) = [f(0) + 1]f(0)$. Putting these together, $f(0)^2 + f(0) = 2f(0) \implies f(0) = 0, 1$

If $f(0) = 0$, $P(0, x)$ gives us $f(x) = 0$ for all integers $x$.
If $f(0) = 1$, $f(n) = n+1$ for all positive $n$ and $f(-n) = nf(-1) + 1-n$ for all positive $n$. If $f(-1) < 0$, $P(-1, -1)$ gives $$f(f(-1)^2) = f(-1) + f(-f(-1))$$$$\implies f(-1)^2 + 1 = f(-1) + (-f(-1) + 1)$$$$\implies f(-1)^2 = 0$$CONTRADICTION!

Therefore, $f(-1) \ge 0$ and it can be easily verified that all such functions $f(x)=\begin{cases}x+1&x\geq 0\\x+1-cx&{x <0, c \ge 0} \end{cases}$ work.


$\text{CASE 2: } f(0)<0$

Note that $(\spadesuit) \implies f(f(0)) = f(1) = 2f(0) \implies -f(0)f(-1) + (1+f(0))f(0) = 2f(0)$ as $f(0)$ is negative. This means $f(0) - f(-1) = 1 \implies f(-n) = f(0)-n[f(0)-f(-1)] = f(0)-n$. Putting this back in $P(x, y)$ and doing some manipulations gives $f(0) = -1$.
Thus we get another class of functions: $f(x)=\begin{cases}-x-1&x\geq 0\\x-1&x <0 \end{cases}$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ZETA_in_olympiad
2211 posts
#5 • 1 Y
Y by cubres
Let $P(x,y)$ denote the equation $f(f(x)f(y))=f(xf(y))+f(y)$ for all integers $x,y.$

$P(x,0)-P(0,x)$ yields $f(xf(0))=f(x).$ Subtracting $f(f(x)f(0))=f(f(x))$ from $P(0,x)$ yields $f(f(x))=f(x)+f(0).$ Setting $x=0,f(0),f(f(0))$ etc. here imply, $f(xf(0))=(x+1)f(0)$ for $x\geq 0.$ Hence $f(x)=(x+1)f(0)$ for all $x\geq 0.$ Then $P(f(x),-1)-P(-1,f(x))$ implies $f(-x)=xf(-1)-(x-1)f(0).$

Subtracting $f(f(0)^2)=(f(0)^2+1)f(0)$ from $P(0,0)$ yields $f(0)\in{\pm 1,0}.$ If $f(0)=0,$ then $P(x,0)$ gives $f(x)=0$ for all $x$; it obviously works.

If $f(0)=1,$ then $f(-1)=2$ and so $f(x)=f(-x)=-x-1$ for $x\geq 0$; it is easy to see it works as well.

If $f(0)=-1,$ then $f(x)=x+1$ for $x\geq 0$ which works; and $f(-x)=-x-1+xf(-1).$ If $f(-1)\leq 0$ then $P(-x,-y)$ gives $f(-1)=0.$ Conversely, it is easy to check all such functions with $f(-1)\geq 0$ work.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jasperE3
11352 posts
#6 • 1 Y
Y by cubres
TheUltimate123 wrote:
Find all functions \(f:\mathbb Z\to\mathbb Z\) such that \[f(f(x)f(y))=f(xf(y))+f(y)\]for all integers \(x\) and \(y\).

Proposed by nukelauncher and TheUltimate123

nice

We claim that the solutions are $0$, $-|x|-1$, and $\begin{cases}x+1&\text{if }x\ge0\\cx+1&\text{if }x<0\end{cases}$ for any constant $c\le1$ (in particular, $c=1$ gives the solution $f(x)=x+1$).
To test that these work, $f\equiv0$ is routine, and $f\equiv-|x|-1$ is routine using the rules governing $|x|$. To show that $\begin{cases}x+1&\text{if }x\ge0\\cx+1&\text{if }x<0\end{cases}$ works, we test $c=1$ and $c\le0$ separately. If $c=1$ then $f(x)=x+1$ fits. If $c\le0$, then $cx+1\ge0$ for $x<0$, so $f(x)\ge0$ for all $x$. Then we have:
$$f(f(x)f(y))=f(x)f(y)+1$$so if $x\ge0$ we have $xf(y)\ge0$ and so:
$$f(f(x)f(y))=(x+1)f(y)+1=xf(y)+1+f(y)=f(xf(y))+f(y)$$and if $x<0$ we have $xf(y)<0$ and so:
$$f(f(x)f(y))=(cx+1)f(y)+1=cxf(y)+1+f(y)=f(xf(y))+f(y).$$


Now we prove that these are the only solutions.
First we find $f$ for positive values, a brief detour to calculate $f(0)$, then we pin down the negative values.



Claim: $f(n)=(n+1)f(0)$ for all $n\ge0$
From setting $x=0$ and $y=0$ we have the following:
$$f(f(y)f(0))=f(y)+f(0)$$and
$$f(f(x)f(0))=f(xf(0))+f(0),$$and so (comparing) we get $f(xf(0))=f(x)$. Then these equations each reduce to $f(f(x))=f(x)+f(0)$.
If $f(n)=(n+1)f(0)$ for some $n\ge0$ (it obviously holds for the base case $n=0$) we have:
$$f(n+1)=f((n+1)f(0))=f(f(n))=f(n)+f(0)=(n+1)f(0)+f(0)=(n+2)f(0).$$
Claim: $f(0)=1$ (if $f$ is not one of the aforementioned functions)
For $x\ge0$ we have $xf(0)^2\ge0$, so:
$$\left(xf(0)^2+1\right)f(0)=f\left(xf(0)^2\right)=f(xf(0))=f(x)=(x+1)f(0)$$which gives $f(0)\in\{-1,0,1\}$.
If $f(0)=0$, from $f(x)=f(xf(0))$ we have $\boxed{f(x)=0}$ for all $x\in\mathbb Z$.
If $f(0)=-1$, we have $f(x)=f(-x)$ so $f(n)=f(-n)=-n-1$ for all $n\ge0$, that is, $\boxed{f(x)=-|x|-1}$.
Otherwise, $f(0)=1$, which gives $f(f(x))=f(x)+1$.

Claim: $f(n)=n(1-f(-1))+1$ for all $n<0$
From $P(y,x-1)$ for $x\ge1$ we have:
$$f(xf(y))=f(xy)+x.$$Now we can show by induction that $f(xf(y)+nx)=f(xy)+(n+1)x$ for all $n\ge0$: it's obviously true for $n=0$ and if it's true for some $n$ we have:
$$f(x(f(y)+1)+nx)=f(xf(f(y))+nx)=f(xf(y))+(n+1)x=f(xy)+(n+2)x$$so $f(xf(y)+(n+1)x)=f(xy)+(n+2)x$.
Now for any $y$, choose some large $n\gg|f(y)|$ such that $xf(y)+nx\ge0$, we have:
$$f(xy)+(n+1)x=f(xf(y)+nx)=xf(y)+nx+1,$$taking $y=-1$ this gives $f(-x)=xf(-1)-x+1$ for all $x\ge1$ which rearranges into what we wanted.

Finish: $f(-1)\ge0$
Suppose $f(-1)<0$, then $xf(-1)-x+1<0$ for all $x\ge1$, so using $f(f(x))=f(x)+1$ we have:
$$xf(-1)-x+2=1+f(-x)=f(f(-x))=f(xf(-1)-x+1)=xf(-1)-x+2-f(-1)(xf(-1)-x+1),$$and (simplifying) we get $xf(-1)-x+1=0$ for all $x\ge1$, impossible (for instance take $x=2$).
So if we let $c=1-f(-1)$ we get $\boxed{f(x)=\begin{cases}x+1&\text{if }x\ge0\\cx+1&\text{if }x<0\end{cases}}$ where $c\le1$ is any constant.
This post has been edited 1 time. Last edited by jasperE3, Apr 13, 2025, 3:49 PM
Z K Y
N Quick Reply
G
H
=
a