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.