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

G
Topic
First Poster
Last Poster
k a April Highlights and 2025 AoPS Online Class Information
jlacosta   0
Apr 2, 2025
Spring is in full swing and summer is right around the corner, what are your plans? At AoPS Online our schedule has new classes starting now through July, so be sure to keep your skills sharp and be prepared for the Fall school year! Check out the schedule of upcoming classes below.

WOOT early bird pricing is in effect, don’t miss out! If you took MathWOOT Level 2 last year, no worries, it is all new problems this year! Our Worldwide Online Olympiad Training program is for high school level competitors. AoPS designed these courses to help our top students get the deep focus they need to succeed in their specific competition goals. Check out the details at this link for all our WOOT programs in math, computer science, chemistry, and physics.

Looking for summer camps in math and language arts? Be sure to check out the video-based summer camps offered at the Virtual Campus that are 2- to 4-weeks in duration. There are middle and high school competition math camps as well as Math Beasts camps that review key topics coupled with fun explorations covering areas such as graph theory (Math Beasts Camp 6), cryptography (Math Beasts Camp 7-8), and topology (Math Beasts Camp 8-9)!

Be sure to mark your calendars for the following events:
[list][*]April 3rd (Webinar), 4pm PT/7:00pm ET, Learning with AoPS: Perspectives from a Parent, Math Camp Instructor, and University Professor
[*]April 8th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MATHCOUNTS State Discussion
April 9th (Webinar), 4:00pm PT/7:00pm ET, Learn about Video-based Summer Camps at the Virtual Campus
[*]April 10th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MathILy and MathILy-Er Math Jam: Multibackwards Numbers
[*]April 22nd (Webinar), 4:00pm PT/7:00pm ET, Competitive Programming at AoPS (USACO).[/list]
Our full course list for upcoming classes is below:
All classes run 7:30pm-8:45pm ET/4:30pm - 5:45pm PT unless otherwise noted.

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

Prealgebra 1
Sunday, Apr 13 - Aug 10
Tuesday, May 13 - Aug 26
Thursday, May 29 - Sep 11
Sunday, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29

Prealgebra 2 Self-Paced

Prealgebra 2
Sunday, Apr 13 - Aug 10
Wednesday, May 7 - Aug 20
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Monday, Apr 7 - Jul 28
Sunday, May 11 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, May 14 - Aug 27
Friday, May 30 - Sep 26
Monday, Jun 2 - Sep 22
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Wednesday, Apr 16 - Jul 2
Thursday, May 15 - Jul 31
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 9 - Sep 24
Sunday, Jul 27 - Oct 19

Introduction to Number Theory
Thursday, Apr 17 - Jul 3
Friday, May 9 - Aug 1
Wednesday, May 21 - Aug 6
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Wednesday, Apr 16 - Jul 30
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
Wednesday, Apr 23 - Oct 1
Sunday, May 11 - Nov 9
Tuesday, May 20 - Oct 28
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19

Intermediate: Grades 8-12

Intermediate Algebra
Monday, Apr 21 - Oct 13
Sunday, Jun 1 - Nov 23
Tuesday, Jun 10 - Nov 18
Wednesday, Jun 25 - Dec 10
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22

Intermediate Counting & Probability
Wednesday, May 21 - Sep 17
Sunday, Jun 22 - Nov 2

Intermediate Number Theory
Friday, Apr 11 - Jun 27
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
Wednesday, Apr 9 - Sep 3
Friday, May 16 - Oct 24
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Tuesday, May 27 - Nov 11
Wednesday, Jun 25 - Dec 17

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
Wednesday, Apr 16 - Jul 2
Friday, May 23 - Aug 15
Monday, Jun 2 - Aug 18
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

MATHCOUNTS/AMC 8 Advanced
Friday, Apr 11 - Jun 27
Sunday, May 11 - Aug 10
Tuesday, May 27 - Aug 12
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Problem Series
Friday, May 9 - Aug 1
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Tuesday, Jun 17 - Sep 2
Sunday, Jun 22 - Sep 21 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Jun 23 - Sep 15
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Final Fives
Sunday, May 11 - Jun 8
Tuesday, May 27 - Jun 17
Monday, Jun 30 - Jul 21

AMC 12 Problem Series
Tuesday, May 27 - Aug 12
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22

AMC 12 Final Fives
Sunday, May 18 - Jun 15

F=ma Problem Series
Wednesday, Jun 11 - Aug 27

WOOT Programs
Visit the pages linked for full schedule details for each of these programs!


MathWOOT Level 1
MathWOOT Level 2
ChemWOOT
CodeWOOT
PhysicsWOOT

Programming

Introduction to Programming with Python
Thursday, May 22 - Aug 7
Sunday, Jun 15 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Tuesday, Jun 17 - Sep 2
Monday, Jun 30 - Sep 22

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22

USACO Bronze Problem Series
Tuesday, May 13 - Jul 29
Sunday, Jun 22 - Sep 1

Physics

Introduction to Physics
Wednesday, May 21 - Aug 6
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15

Physics 1: Mechanics
Thursday, May 22 - Oct 30
Monday, Jun 23 - Dec 15

Relativity
Sat & Sun, Apr 26 - Apr 27 (4:00 - 7:00 pm ET/1:00 - 4:00pm PT)
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
Apr 2, 2025
0 replies
hard problem
Cobedangiu   4
N 15 minutes ago by Cobedangiu
Let $a,b,c>0$ and $a+b+c=3$. Prove that:
$\dfrac{4}{a+b}+\dfrac{4}{b+c}+\dfrac{4}{c+a} \le \dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}+3$
4 replies
Cobedangiu
2 hours ago
Cobedangiu
15 minutes ago
An easy FE
oVlad   1
N 22 minutes ago by pco
Source: Romania EGMO TST 2017 Day 1 P3
Determine all functions $f:\mathbb R\to\mathbb R$ such that \[f(xy-1)+f(x)f(y)=2xy-1,\]for any real numbers $x{}$ and $y{}.$
1 reply
1 viewing
oVlad
3 hours ago
pco
22 minutes ago
Fractions and reciprocals
adihaya   34
N 23 minutes ago by de-Kirschbaum
Source: 2013 BAMO-8 #4
For a positive integer $n>2$, consider the $n-1$ fractions $$\dfrac21, \dfrac32, \cdots, \dfrac{n}{n-1}$$The product of these fractions equals $n$, but if you reciprocate (i.e. turn upside down) some of the fractions, the product will change. Can you make the product equal 1? Find all values of $n$ for which this is possible and prove that you have found them all.
34 replies
adihaya
Feb 27, 2016
de-Kirschbaum
23 minutes ago
GCD Functional Equation
pinetree1   60
N 24 minutes ago by cursed_tangent1434
Source: USA TSTST 2019 Problem 7
Let $f: \mathbb Z\to \{1, 2, \dots, 10^{100}\}$ be a function satisfying
$$\gcd(f(x), f(y)) = \gcd(f(x), x-y)$$for all integers $x$ and $y$. Show that there exist positive integers $m$ and $n$ such that $f(x) = \gcd(m+x, n)$ for all integers $x$.

Ankan Bhattacharya
60 replies
+1 w
pinetree1
Jun 25, 2019
cursed_tangent1434
24 minutes ago
No more topics!
Find the function!
Johann Peter Dirichlet   13
N Apr 5, 2025 by bin_sherlo
Source: Problem 3, Brazilian Olympic Revenge 2005
Find all functions $f: R \rightarrow R$ such that
\[f(x+yf(x))+f(xf(y)-y)=f(x)-f(y)+2xy\]
for all $x,y \in R$
13 replies
Johann Peter Dirichlet
Jun 1, 2005
bin_sherlo
Apr 5, 2025
Find the function!
G H J
G H BBookmark kLocked kLocked NReply
Source: Problem 3, Brazilian Olympic Revenge 2005
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Johann Peter Dirichlet
376 posts
#1 • 2 Y
Y by Adventure10, Mango247
Find all functions $f: R \rightarrow R$ such that
\[f(x+yf(x))+f(xf(y)-y)=f(x)-f(y)+2xy\]
for all $x,y \in R$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
lomos_lupin
708 posts
#2 • 3 Y
Y by Adventure10, Adventure10, Mango247
at least i have found these things maybe helfull

we define this:$A:$$x \longrightarrow y$ means in$A$ put $y$ beside of $x$.
we name $f(yf(x)+x)+f(xf(y)-y)=f(x)-f(y)+2xy$(we name this $A$)

1.$f(0)=0$
2.$f(-x)=-f(x)$
3.$f(xf(x)+x)+f(xf(x)-x)=2x^2$
4.$f(xf(x)+x)=f(x)+x^2$
5.$f(xf(x)-x)=x^2-f(x)$

and these are the proves of the steps
$1$.

$A$:$x,y \longrightarrow 0 $ and $f(0)=0$

$2$.

$A$:$x \longrightarrow y, y \longrightarrow x$ and adding what we will have to $A$ we will have
$f(yf(x)+x)+f(yf(x)-x)+f(xf(y)+y)+f(xf(y)-y)=4xy$
now $y \longrightarrow0$ and using $f(0)=0$ we will have $f(-x)=-f(x)$

$3$

$A$ : $y \longrightarrow x $ and we will have
$f(xf(x)+x)+f(xf(x)-x)=2x^2$

$4$

$A$ : $x \longrightarrow -x$ and using $f(-x)=-f(x)$ we will have $f(yf(x)+x)+f(xf(y)+y)=f(x)+f(y)+2xy$($B$)
now $B$:$y \longrightarrow x$ we will have $f(xf(x)+x)=f(x)+x^2$

$5$

from $4$ we have reach $B:(yf(x)+x)+f(xf(y)+y)=f(x)+f(y)+2xy$ now we have
$C: A+B=2f(yf(x)+x)+f(xf(y)+y)+f(xf(y)-y)=2f(x)+4xy$ and $C: y \longrightarrow x$ we will have
$3f(xf(x)+x)+f(xf(x)-x)=2f(x)+4x^2$
but from $4$ we have that $f(xf(x)+x)=f(x)+x^2$ so $3f(xf(x)+x)+f(xf(x)-x)=3f(x)+3x^2+f(xf(x)-x)=2f(x)+4x^2$
that will lead us to $f(xf(x)-x)=x^2-f(x)$
This post has been edited 6 times. Last edited by lomos_lupin, Jun 2, 2005, 5:00 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
galeos
98 posts
#3 • 1 Y
Y by Adventure10
you have made a mistake. In 3) you should have a $2$ on the RHS. Moreover, $f(x)=x$ is clearly a solution.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
lomos_lupin
708 posts
#4 • 2 Y
Y by Adventure10, Mango247
you are right then the whole thing is useless :surrender: :stretcher: :wallbash:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Saul
99 posts
#5 • 2 Y
Y by Adventure10, Mango247
Here's my partial solution.

$f(x+yf(x))+f(-y+xf(y))=f(x)-f(y)+2xy$ (1)

Putting $x=y=0$, we get $f(0)=0$ easily.
Now putting only $x=0$, we have
$f(0) + f(-y) = f(0) - f(y)$
so that
$f(-x) = -f(x)$.

Next, we prove that $0$ is the only $x$ for which $f(x)=0$. Suppose $z$ is such that $z \neq 0$, $f(z)=0$. Put $x=y=z$. Then we get $2z^2=0$ out of (1), a contradiction.

Now, we prove that $f(x)$ satisfies the Cauchy equation.

Substitute $-y$ for $y$ in (1). Because $f(y)=-f(-y)$, we get

$f(x-yf(x))+f(y-xf(y))=f(x)+f(y)-2xy$

Adding this to (1) gives

$f(x+yf(x))+f(x-yf(x))+(-f(y-xf(y)))+f(y-xf(y))=f(x)+f(x)+f(y)-f(y)+2xy-2xy$

so that

$f(x+yf(x))+f(x-yf(x))=2f(x)$

If $f(x) \neq 0$ (that is iff $x \neq 0$) we can fix $x$ and vary $y$ so this becomes

$f(x+a)+f(x-a)=2f(x)$ (2)

for $a \in R$, $x \neq 0$. But it works for $x=0$ as well, as we have proved above. Putting $x=a$ in (2) gives $f(2x) = 2f(x)$. Putting $x=\frac{x+y}2$ and $a=\frac{x-y}2$ gives

$f(x)+f(y)=2f(\frac{x+y}2)=f(x+y)$.

If $f(x)=kx$, then $2k^2=2$ from (1) so $k=1$ or $-1$. $f(x)=x$ works and $f(x)=-x$ also works.

But I don't know how to eliminate the wild solutions... bijectivity doesn't do it, does it?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
lomos_lupin
708 posts
#6 • 1 Y
Y by Adventure10
nice piece of work
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ali
268 posts
#7 • 1 Y
Y by Adventure10
The problem is just getting started after we get:
f(x+y)=f(x)+f(y) and f(xf(x))=x^2
Anyone? ;)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ali
268 posts
#8 • 1 Y
Y by Adventure10
In fact note that since f(xf(x))=x^2 (*)
we get that 2yx = f(xf(y)) + f(yf(x))
Also so replacing y by 1 we obtain that
2x= f(f(x)) + f(bx) where b=f(1)
But since f(xf(x))=x^2 we get that f(b)=1.
f(xf(x))=x^2 and f(x+y)=f(x)+f(y) imply that f(x) is rational only if x is rational.
(proof. if f(x) rational then f(xf(x)) = f(x)^2 =x^2 so x is rational)
so since b=1, f(1)^2 = 1 and so f(1)=1/-1.
Case1.
f(1)=1
hence f(Q) = Q
Also f(f(x)) + f(x) =2x.
so f is bijective and therefore: xf(1/x) +1/x f(x) =2
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ali
268 posts
#9 • 1 Y
Y by Adventure10
Well, no one is interested in finishing this problem :(
So I will do it :P :P

Observe that f(1)=1 or -1.
I will only solve for the case when f(1)=1, the other case is exactly the same.
f(f(x)) + f(x) =2x and additivity of f(x) imply that f(x) +x is one to one.
So Now replace in equation f(xf(x))=x^2 , x with f(x)
to observe together with injectivity of f(x)+x that f(x^2) = f(x)^2
This implies that f(x) is increasing. So f(x)=x...

-Ali
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Omid Hatami
1275 posts
#10 • 2 Y
Y by Adventure10, Mango247
I almost understood nothng how you finished your solution. (I think you supposed that $f$ is continious). But this is my solution

First if $x=y=0$ then $f(0)=0$. Now if $x=0$ then $f(-y)=-f(y)$. So $f$ is odd. Now replace $x$ with $-x$ in the problem, then: \[f(x+yf(x))+f(y+xf(y))=f(x)+f(y)+2xy \ \ \ \ \ \ (*)\]
Suppose $f(c)=0$ and $c\in\mathbb R$. Then in relation $(*)$ if $x=y=c$ then $c^2=0$ and $c=0$. Now in relation $(*)$ replace $y$ with $-y$ then: \[f(x-yf(x))-f(y+xf(y)=f(x)-f(y)-2xy\]
Adding the 2 last relations we obtain: $f(x+yf(x))+f(x-f(x))=2f(x)$. Then if we suppose $a=x+yf(x),\ b=x-yf(x)$ then \[\forall a,b \in\mathbb R \ \ f(a)+f(b)=2f(\frac{a+b}{2})\]
If $b=0$ then $\displaystyle f(\frac{a}2)=\frac{f(a)}2$. So \[\forall a,b \in\mathbb R\ \ f(a)+f(b)=f(a+b) \ \ (**)\]
Now noticing relations $(*)$ and $(**)$:\[f(x)+f(xf(y))+f(y)+f(yf(x))=f(x)+f(y)+2xy\]
So \[f(xf(y))+f(yf(x))=2xy\ \ (1)\]
Also because if $f(a)=f(b)\Rightarrow f(a-b)=0\Rightarrow a=b$ so $f$ is injective.
Now we prove that, there exist $t\in\mathbb R\backslash\{0\}$ that $f(t)=t$ or there exist $t\in\mathbb R\backslash\{0\}$ that $f(t)=-t$. For this in relation $(*)$ if $x=y=1$ and $x=-y=1$ then: \[f(f(1)+1)=f(1)+1\mbox{ and } f(1-f(1))=f(1)-1\]
And at least one of the numbers $f(1)+1$ and $1-f(1)$ is nonzero. WLOG Suppose there exist $t$ that $f(t)=t$ (for the other case the calculations are similiar)

Now we prove that $f(1)=1$. In relation (1) if $x=1,y=t$ then $t+f(tf(1))=f(t)+f(tf(1))=2t$. So $f(tf(1))=t=f(t)\Rightarrow t=tf(1)\Rightarrow f(1)=1$

Now if $y=1$ then $f(f(x)+x)=2x$. So $f(f(x)-x)=f(f(x)+x)-2f(x)=2x-2f(x)$. Now if $f(x)\neq x$ then if $u=f(x)-x$ then $u\neq0$ and $f(u)=-2u$. So $=f(-2u^2)=f(uf(u))=u^2$. So $f(2u^2)=-u^2$. Now suppose $x=1$ and $y=2u^2$ then $f(f(2u^2)+2u^2)=4u^2=f(2u.f(2u))=f(4uf(u))$. So $f(2u^2)=2u^2=4u.f(u)$. So $-u^2+2u^2=4u.(-2u)=-8u^2$. Therefore $u=0$ and $f(x)=x$ for each $u\in\mathbb R$.
Also if there exist $t$ that $f(t)=-t$ then with similiar calculations $f(x)=-x$ for each $x$ and solutions are $f(x)=x$ and $f(x)=-x$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ali
268 posts
#11 • 2 Y
Y by Adventure10, Mango247
My solution is perfectly valid...No extra assumption, such as continuty
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ali
268 posts
#12 • 2 Y
Y by Adventure10, Mango247
:mad: :mad: :!:
BE ALWAYS SPECIFIC..
JUST DON'T WRITE A CRAP FOR ME...
IF IT IS WRONG, SHOW WHY?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Omid Hatami
1275 posts
#13 • 1 Y
Y by Adventure10
First I didn't say your solution is wrong :D :D
Second Why do you get impatient?

I just didn't understood how you proved $f(x)$ is increasing and how you said $f(x)=x$

I'll be pleased if you explain more.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bin_sherlo
705 posts
#14 • 1 Y
Y by Primeniyazidayi
\[f(x+yf(x))+f(xf(y)-y)=f(x)-f(y)+2xy\]Answers are $f(x)=x$ and $f(x)=-x$ which clearly work. Let $P(x,y)$ be the assertion.
Claim: $f(0)=0$.
Proof: $P(0,0)$ gives $2f(0)=0$ or $f(0)=0$.
Claim: $f$ is odd.
Proof: $P(0,y)$ implies $f(-y)=-f(y)$.
Claim: $f(a)=0\iff a=0$.
Proof: If $f(a)=0$, then $f(-a)=0$ and $P(a,a)$ yields $0=2a^2$ so $a=0$. The other direction has been proven.
Claim: $f$ is additive.
Proof: Summing $P(x,y)$ and $P(-x,y)$ up gives $f(xf(y)+y)+f(y-xf(y))=2f(y)$ or $f(x+y)+f(y-x)=2f(y)$ or $f(a)+f(b)=2f(\frac{a+b}{2})$. Since $b=0$ implies $f(a)=2f(\frac{a}{2})$, we get $f(a)+f(b)=2f(\frac{a+b}{2})=f(a+b)$ hence $f$ is additive.
Claim: $f$ is injective.
Proof: If $f(p)=f(q)$, then $f(p-q)=0$ but this is impossible for $p\neq q$.
Claim: $f(x)=x$ for all reals or $f(x)=-x$ for all reals.
Proof: The main equation gives $f(xf(y)+yf(x))=f(yf(x))+f(xf(y))=2xy$ by additivity. Replace $\frac{x}{y}$ with $x$ to get $f(x.\frac{f(y)}{y}+yf(\frac{x}{y}))=2x=f(x.\frac{f(z)}{z}+zf(\frac{x}{z}))$ thus, $\frac{xf(y)}{y}+yf(\frac{x}{y})=\frac{xf(z)}{z}+zf(\frac{x}{z})$ or $\frac{f(y)}{y}+\frac{y}{x}f(\frac{x}{y})=\frac{f(z)}{z}+\frac{z}{x}f(\frac{x}{z})$ and if $f(x)=xg(x)$, then $g(y)+g(\frac{x}{y})=g(z)+g(\frac{x}{z})$ or $g(x)+g(y)=g(z)+g(\frac{xy}{z})$. Thus, $ab=cd$ implies $g(a)+g(b)=g(c)+g(d)$.
Note that $f(2xf(x))=2x^2$ or $f(xf(x))=x^2$. We have $\frac{f(x)}{x}+\frac{f(y)}{y}=\frac{f(xy)}{xy}+f(1)$ and $x,yf(y)$ gives
\[\frac{f(x)}{x}+\frac{y}{f(y)}=\frac{f(x)}{x}+\frac{f(yf(y))}{yf(y)}=\frac{f(xyf(y))}{xyf(y)}+f(1)\]\[\frac{f(x)}{x}+\frac{f(y)}{y}=\frac{f(xy)}{xy}+f(1)\]Hence by their difference, we see that $\frac{f(y)}{y}-\frac{y}{f(y)}=\frac{f(xy)}{xy}-\frac{f(xyf(y))}{xyf(y)}$ or $\frac{f(y)}{y}-\frac{y}{f(y)}=\frac{f(x)}{x}-\frac{f(xf(y))}{xf(y)}$. Now replace $yf(y)$ with $y$ to get $\frac{y}{f(y)}-\frac{f(y)}{y}=\frac{f(x)}{x}-\frac{f(xy^2)}{xy^2}$. If $y=1$, then $f(1)^2=1$ so $f(1)=\pm 1$. Pick $x=\frac{1}{y}$ which implies $\frac{y}{f(y)}=\frac{f(\frac{1}{y})}{\frac{1}{y}}$ or $f(y)f(\frac{1}{y})=1$ or $g(x)g(\frac{1}{x})=1$. If $g(1)=1$, then $g(x)+g(\frac{1}{x})=2$ and $g(x)g(\frac{1}{x})=1$ so $(g(x)-1)^2=0$ or $g\equiv 1$ or $f(x)=x$ for all reals. If $g(1)=-1$, then $g(x)+g(\frac{1}{x})=-2$ and $g(x)g(\frac{1}{x})=1$ thus, $(g(x)+1)^2=0$ or $g\equiv -1$ or $f(x)=-x$ for all reals as desired.$\blacksquare$
Z K Y
N Quick Reply
G
H
=
a