有理数FE

$P(x,a)$より$f(x+f(a))=f(x-f(a))+\dfrac{f(2ax)}{x}$

$P(x,b)$より$f(x+f(b))=f(x-f(b))+\dfrac{f(2bx)}{x}$

$\therefore f(a)=f(b)$のとき$\dfrac{f(2ax)}{x}=\dfrac{f(2bx)}{x}$なので

$f(a)=f(b)\Longrightarrow f(2ax)=f(2bx)(\forall x\in\mathbb{Q}_{\neq0})$

$\exists a\neq0,f(a)=0$と仮定する
$P(x,a)$より$f(x)=f(x)+\dfrac{f(2ax)}{x}$

$\therefore f(2ax)=0(\forall x\in\mathbb{Q}_{\neq0})$より$f(x)=0(\forall x\in\mathbb{Q}_{\neq0})$

$P(x,0)$より$f(x+f(0))=f(x-f(0))+\dfrac{f(0)}{x}$

$x\neq\pm f(0)$なる$x$に対して$\dfrac{f(0)}{x}=0$より$f(0)=0$

$\therefore f(x)\equiv 0$となるが,これは$f$が定数関数でないことに矛盾する
$\therefore x\neq0\Longrightarrow f(x)\neq0$

$f(0)=c$とし$c\neq0$と仮定する

$P(c,0)$より$f(2c)=f(0)+\dfrac{f(0)}{c}=c+1\quad\cdots①$

$P(-c,0)$より$f(-2c)=f(0)+\dfrac{f(0)}{c}=c+1$

$f(2c)=f(-2c),$補題1より
$f(4cx)=f(-4cx)(\forall x\in\mathbb{Q}_{\neq0})$,$c\neq0$より$f(-x)=f(x)(\forall x\in\mathbb{Q}_{\neq0})\quad\cdots②$

$P(c,x)$より$f(c+f(x))=f(c-f(x))+\dfrac{f(2cx)}{c}$

$P(f(x),0)$より$f(c+f(x))=f(f(x)-c)+\dfrac{c}{f(x)}=f(c-f(x))+\dfrac{c}{f(x)}(\because ②)$

$\therefore\dfrac{f(2cx)}{c}=\dfrac{c}{f(x)}\Leftrightarrow f(2cx)=\dfrac{c^2}{f(x)}\quad\cdots③$

$①,③$より$f(2c)=\dfrac{c^2}{f(1)}\Leftrightarrow c+1=\dfrac{c^2}{f(1)},c\neq0$より$c+1\neq0$なので$f(1)=\dfrac{c^2}{c+1}$

$③$より$f(4c^2)=\dfrac{c^2}{f(2c)}=\dfrac{c^2}{c+1}$

$P(c,2c)$より$f(c+f(2c))=f(c-f(2c))+\dfrac{f(4c^2)}{c}$

$①,②$より$f(2c+1)=f(-1)+\dfrac{c}{c+1}=f(1)+\dfrac{c}{c+1}=c=f(0)$

$\therefore f((4c+2)x)=f(0)(\forall x\in\mathbb{Q}_{\neq0})\quad\cdots④$

$(Ⅰ)c\neq-\frac{1}{2}$のとき
$\quad④$より$f(x)=c(\forall x\in\mathbb{Q}_{\neq0}),f(0)=c$より$f(x)\equiv c$

$(Ⅱ)c=-\frac{1}{2}$のとき
$\quad②,③$より$f(-x)f(x)=\dfrac{1}{4}\Leftrightarrow f(x)=\pm\dfrac{1}{2}(\forall x\in\mathbb{Q}_{\neq0})$

$\quad P(1,y)$の(左辺)$=\pm\dfrac{1}{2},$(右辺)=$0,\pm1$より与式が成り立たず不適
$\therefore(Ⅰ)(Ⅱ)$より$f(x)\equiv c$となるが,これは$f$が定数関数でないことに矛盾する
$\therefore f(0)=0$

$P(f(1),1)$より$f(2f(1))=\dfrac{f(2f(1))}{f(1)}\Leftrightarrow f(1)=1(\because$補題2より$f(1)\neq0,f(2f(1))\neq0)$

$P(f(-1).-1)$より$f(2f(-1))=\dfrac{f(-2f(-1))}{f(-1)}$

$P(-f(-1),-1)$より$f(-2f(-1))=\dfrac{f(2f(-1))}{f(-1)}$

$\therefore f(2f(-1))=\dfrac{f(2f(-1))}{(f(-1))^2}\Leftrightarrow (f(-1))^2=1\Leftrightarrow f(-1)=\pm1(\because$補題2より$f(2f(-1))\neq0)$

$P(x,1)$より$f(x+1)=f(x-1)+\dfrac{f(2x)}{x}$

$P(x,-1)$より$f(x+1)=f(x-1)+\dfrac{f(-2x)}{x}$

$\therefore f(-x)=f(x)\quad\cdots⑤$
$P(f(x),y)$より$f(f(x)+f(y))=f(f(x)-f(y))+\dfrac{f(2yf(x))}{f(x)}$

$P(f(y),x)$より$f(f(x)+f(y))=f(f(y)-f(x))+\dfrac{f(2xf(y))}{f(y)}$

$\therefore \dfrac{f(2yf(x))}{f(x)}=\dfrac{f(2xf(y))}{f(y)}(\forall x,y\in\mathbb{Q}_{\neq0})\quad\cdots⑥$

$f\bigg(\dfrac{1}{2}\bigg)=k$とする
$⑥$で$x=1,y=\dfrac{1}{2}$とすると

$\dfrac{f(f(1))}{f(1)}=\dfrac{f(2f(\frac{1}{2}))}{f(\frac{1}{2})}\Leftrightarrow f(2k)=f(\frac{1}{2})$

補題1より$f(4kx)=f(x)(\forall x\in\mathbb{Q}_{\neq0})\quad\cdots⑦$

$P(4k,\frac{1}{2})$より$f(5k)=f(3k)+\dfrac{f(4k)}{4k}=f(3k)+\dfrac{1}{4k}(\because⑦$より$f(4k)=f(1)=1)\quad\cdots⑧$

$P(\frac{1}{4},1),⑤$より$f\bigg(\dfrac{5}{4}\bigg)=f\bigg(-\dfrac{3}{4}\bigg)+4k=f\bigg(\dfrac{3}{4}\bigg)+4k$

$⑦$より$f(5k)=f\bigg(\dfrac{5}{4}\bigg),f(3k)=f\bigg(\dfrac{3}{4}\bigg)$なので

$f(5k)=f(3k)+4k$

$⑧$より$4k=\dfrac{1}{4k}\Leftrightarrow k=\pm\dfrac{1}{4}$

$k=-\dfrac{1}{4}$と仮定すると

$P(x,\frac{1}{2})$より$f\bigg(x-\dfrac{1}{4}\bigg)=f\bigg(x+\dfrac{1}{4}\bigg)+\dfrac{f(x)}{x}\quad\cdots⑨$

$⑨$で$x=\dfrac{1}{4}$とすると$f\bigg(\dfrac{1}{2}\bigg)+4f\bigg(\dfrac{1}{4}\bigg)=0\Leftrightarrow f\bigg(\dfrac{1}{4}\bigg)=\dfrac{1}{16}$

$⑨$で$x=\dfrac{1}{2}$とすると$f\bigg(\dfrac{1}{4}\bigg)=f\bigg(\dfrac{3}{4}\bigg)+2f\bigg(\dfrac{1}{2}\bigg)=0\Leftrightarrow f\bigg(\dfrac{3}{4}\bigg)=\dfrac{9}{16}$

$⑨$で$x=\dfrac{3}{4}$とすると$f\bigg(\dfrac{1}{2}\bigg)=f(1)+\dfrac{4}{3}f\bigg(\dfrac{3}{4}\bigg)=0\Leftrightarrow f(1)=-1$となり$f(1)=1$に矛盾する

$\therefore f\bigg(\dfrac{1}{2}\bigg)=\dfrac{1}{4}$

$P(x,\frac{1}{2})$より$f\bigg(x+\dfrac{1}{4}\bigg)=f\bigg(x-\dfrac{1}{4}\bigg)+\dfrac{f(x)}{x}\quad\cdots⑩$

$⑩$で$x=\dfrac{1}{4}$とすると$f\bigg(\dfrac{1}{4}\bigg)=\dfrac{1}{4}f\bigg(\dfrac{1}{2}\bigg)=\dfrac{1}{16}$

$\therefore ⑩,f\bigg(\dfrac{1}{4}\bigg)=\dfrac{1}{16},f\bigg(\dfrac{1}{2}\bigg)=\dfrac{1}{4}$より帰納的に$f\bigg(\dfrac{n}{4}\bigg)=\dfrac{n^2}{16}(\forall n\in\mathbb{N})$

$⑤,f(0)=0$より$f\bigg(\dfrac{n}{4}\bigg)=\dfrac{n^2}{16}(\forall n\in\mathbb{Z})$

$⑥$で$x=n,y=\dfrac{1}{2n}(n\in\mathbb{Z}_{\neq0})$とすると$\dfrac{f(\frac{1}{n}f(n))}{f(n)}=\dfrac{f(2nf(\frac{1}{2n}))}{f(\frac{1}{2n})}\Leftrightarrow f\bigg(2nf\bigg(\dfrac{1}{2n}\bigg)\bigg)=f\bigg(\dfrac{1}{2n}\bigg)$

$s=f\bigg(\dfrac{1}{2n}\bigg)$とすると$f(2ns)=f\bigg(\dfrac{1}{2n}\bigg)$

補題1より$f(4nsx)=f\bigg(\dfrac{x}{n}\bigg)$つまり$f(4n^2sx)=f(x)(x\in\mathbb{Q}_{\neq0})\quad\cdots⑪$

$P(4n^4s,\frac{1}{2n})$より$f((4n^4+1)s)=f((4n^4-1)s)+\dfrac{f(4n^3s)}{4n^4s}\quad\cdots⑫$

$P(\frac{1}{4n^2},n)$より$f\bigg(\dfrac{1}{4n^2}+n^2\bigg)=f\bigg(\dfrac{1}{4n^2}-n^2\bigg)+4n^2f\bigg(\dfrac{1}{2n}\bigg)=f\bigg(\dfrac{1}{4n^2}-n^2\bigg)+4n^2s$

$⑤,⑪$より$f\bigg(\dfrac{1}{4n^2}+n^2\bigg)=f((4n^4+1)s),f\bigg(\dfrac{1}{4n^2}-n^2\bigg)=f((4n^4-1)s),f(4n^3s)=f(n)=n^2$なので$⑫$より

$\dfrac{n^2}{4n^4s}=4n^2s\Leftrightarrow s=\pm\dfrac{1}{4n^2}$

$s=-\dfrac{1}{4n^2}$と仮定する
$⑥$で$x=\dfrac{1}{2n},y=2mn(m\in\mathbb{Z}_{\neq0})$とすると

$\dfrac{f(4mnf(\frac{1}{2n}))}{f(\frac{1}{2n})}=\dfrac{f(\frac{1}{n}f(2mn))}{f(2mn)}\Leftrightarrow -4n^2f\bigg(-\dfrac{m}{n}\bigg)=\dfrac{f(4m^2n)}{4m^2n^2}\Leftrightarrow f\bigg(-\dfrac{m}{n}\bigg)=-\dfrac{m^2}{n^2}$となるが
$m=-n$のとき$f(1)=-1$となり不適

$\therefore f\bigg(\dfrac{1}{2n}\bigg)=\dfrac{1}{4n^2}$

$⑥$で$x=\dfrac{1}{2n},y=2mn(m,n\in\mathbb{Z}_{\neq0})$とすると

$\dfrac{f(4mnf(\frac{1}{2n}))}{f(\frac{1}{2n})}=\dfrac{f(\frac{1}{n}f(2mn))}{f(2mn)}\Leftrightarrow 4n^2f\bigg(\dfrac{m}{n}\bigg)=\dfrac{f(4m^2n)}{4m^2n^2}\Leftrightarrow f\bigg(\dfrac{m}{n}\bigg)=\dfrac{m^2}{n^2}$

$\therefore f(0)=0$より$f(x)\equiv x^2$
これは与式をみたす