Rasyonel sayılardan rasyonel sayılar tanımlı bir $f$ fonksiyonu her $x,y$ rasyonel sayısı için $f(x+y)=f(x)+f(y)$ koşulunu sağlıyor olsun.
$y$' yerine $x,2x,3x,4x,...,nx$ değerlerini yazalım.
$y=x$ için $f(2x)=2f(x)$
$y=2x$ için $f(3x)=f(x)+f(2x)=3f(x)$
$y=3x$ için $f(4x)=f(x)+f(3x)=4f(x)$ olduğunu ve
...
$y=nx$ için $f(nx)=nf(x)$ Buradan $f(x)=mx$ şeklinde olduğunu söyleyebiliriz. Gerçekten de $f(nx)=m(nx)=n.(mx)=n.f(x)$ olur. $f(x)=m.x$ şeklinde tanımlı fonksiyonun daima $f(x+y)=m(x+y)=mx+my=f(x)+f(y)$ olduğunu görmek kolaydır.