Giải phương trình hàm bằng cách xây dựng hàm từ một tập đặc biệt

Giải phương trình hàm bằng cách xây dựng hàm từ một tập đặc biệt Nguyễn Thế Sinh, THPT chuyên Nguyễn Trãi, Hải Dương Tư tưởng chính của phương pháp này gồm 2 ý.. Thứ nhất là lợi dụng mộ

Giải phương trình hàm bằng cách xây dựng hàm từ một tập đặc biệt

Nguyễn Thế Sinh, THPT chuyên Nguyễn Trãi, Hải Dương

Tư tưởng chính của phương pháp này gồm 2 ý Thứ nhất là lợi dụng một số tính chất đặc biệt của hàm số như tính tuần hoàn, tính nhân tính hoặc tính chất tương tự như

f m k+ = f m +k để làm cho tập nguồn hẹp lại Như vậy thay vì phải tìm hàm f trên toàn bộ tập ban đầu, ta chỉ cần tìm f trên một tập hữu hạn, mà trên tập này ta có thể

tính được một cách cụ thể, thậm chí là rất thủ công, khi ấy bài toán trở nên tương đối đơn giản Thứ hai là quan tâm đến các tập hợp đặc biệt với hàm f như tập giá trị, tập các điểm bất động, …để từ đó xây dựng nên hàm cần tìm Các vấn đề nói trên sẽ được trình bày ở đây thông qua các bài tập cụ thể

Bài 1 Tìm tất cả các hàm : f ¥ →¥ thỏa mãn

( ( )) (1)

f f n = + ∀ ∈n b n ¥

trong đó b là số nguyên dương chẵn.

Lời giải:

+) Giả sử f thỏa mãn đề bài Dễ thấy f đơn ánh

+) Trong (1) thay n bởi ( ) f n ta được [ ( ( ))] f f f n = f n( )+b

Suy ra (f n b+ =) f n( )+ ∀ ∈b n ¥

Vậy nếu m qb r= + ,0≤ ≤ −r b 1 thì ( )f m = f qb r( + =) f q(( −1)b r+ + =) b f r( )+qb Bây giờ ta chỉ cần xác định hàm f trên tập A={0,1,2, ,b−1}

+) Xét x A∈ , đặt ( )f x = y thì ( )f y = +x b

Giả sử y qb r= + thì ( )f y = f r( )+qb suy ra x b+ = f r( )+qb⇒qb x b< + <2b nên 0

q= hoặc q=1.Do đó nếu x A∈ thì

i) ( )f x = +r b r A f r, ∈ , ( )=x

ii) ( )f x =r r A f r, ∈ , ( )= +x b

Vậy hàm f được xác định như sau

( ) ( )

f qb r qb f r

f a b

f b a b







với { } { }a i ∩ b i =A

Nhận xét: Trong bài toán trên, tập nguồn ban đầu của hàm f là ¥ đã được đưa về tập

A hữu hạn nhờ tính chất ( f n b+ =) f n( )+ ∀ ∈b n ¥

* Chú ý: Ta còn có thể đặt ra vài câu hỏi cho bài toán như sau:

a) Nếu chỉ cho b nguyên dương, thì với giá trị b thế nào mới tồn tại hàm f

b) Tìm số hàm f ứng với mỗi giá trị b

c) Tìm tất cả các hàm tăng thực sự thỏa mãn

Sau đây là một bài toán tương tự:

Bài 2 Cho p là số nguyên tố Tìm tất cả các hàm : f ¥ →¥ sao cho

( ( ))

f f n = pn n∀ ∈¥

Lời giải:

+) Dễ thấy f đơn ánh

+) Giả sử ( )f n =m thì ( )f m = pn nên (f pn)= f f m( ( ))= pm hay (f pn)= pf n( ) suy ra (0)f = pf(0)⇒ f(0) 0= Vậy ta được

i) f đơn ánh

ii) (0) 0f =

iii) ( k ) k ( )

f p n = p f n

Vậy hàm f hoàn toàn xác định trên tập các bội của p , chỉ còn xác định f trên tập X các số không chia hết cho p (vì n∀ ∈¥ thì tồn tại x X∈ để n= p x k )

+) Đặt k ,

n= p a a X∈ thì ( ) k ( )

f n = p f a

Đặt ( )f a = p b b X m , ∈ thì ( )f n = p k m+ b suy ra ( ( ))f f n = f p( k m+ )b

hay pn= p k m+ ( )f b suy ra p k+ 1.a= p k m+ ( )f b

Do đó p k+1.a chia hết cho p k m+

Mà a X∈ nên k+ ≥ +1 k m suy ra m=0 hoặc m=1

i) m=0 thì ( )f a =b f b, ( )= pa

ii) m=1 thì ( )f a = pb, ( )f b =a

Mà ,a b X∈ , ( )f a = ⇔b f b( )= pa nên không tồn tại a X∈ sao cho ( )f a =a hoặc ( )

f a = pa

Vậy hàm f xác định trên X như sau:

1 2, 1 2 , 1 { , , },1 2 2 { , , }1 2

X =X ∪X X ∩X = ∅ X = a a X = b b

thì ( )f a i = pb f b i; ( )i =a i Từ đây kết hợp ( k ) k ( ), (0) 0

f p n = p f n f = để suy ra f trên

toàn bộ tập ¥

Thử lại là việc dễ dàng

Với một phương trình hàm mà tập nguồn là tập số nguyên hoặc tập số tự nhiên, ta có thể lợi dụng tính chất: “Mọi số tự nhiên lớn hơn 1 đều phân tích được thành tích các thừa số nguyên tố” xây dựng hàm trên tập các số nguyên tố Hãy xét các bài toán sau:

Bài 3 [IMO shortlisted 1996] Chứng minh rằng tồn tại song ánh : f ¢ + →Z+ sao cho

(3 ) 4 ( ) ( ) ( ) ( ) ,

f mn m n+ + = f m f n + f m + f n ∀m n∈¢ +

Lời giải:

Xét : 3g ¢ + + →1 4¢ + +1 thỏa mãn: ( ) 4 ( 1) 1

3

x

g x = f − +

thì ta có g là song ánh và

((3 1)(3 1)) (3 1) (3 1) ,

g m+ n+ =g m+ g n+ ∀m n∈¢ + Thật vậy

g m+ n+ =g mn m n+ + + = f mn m n+ + +

4(4 ( ) ( )f m f n f m( ) f n( )) 1 (4 ( ) 1)(4 ( ) 1)f m f n g m(3 1) (3g n 1)

Vậy với mọi ,x y∈3¢ + +1, ta có: ( )g xy =g x g y( ) ( )

Như thế, ta chỉ cần chỉ ra một song ánh g là đủ, vì khi đó ( ) (3 1) 1

4

g x

f x = + −

thỏa mãn

đề bài

Xét P P là tập các số nguyên tố dạng 31, 2 k+1,3k+2 tương ứng và Q Q là tập các số 1, 2

nguyên tố dạng 4k+1,4k+3 tương ứng, ta xét song ánh h P: 1∪ →P2 Q1∪Q2

Sao cho h P( )1 =Q h P1, ( )2 =Q2 và xác định g như sau:

+) (1) 1g =

+) ∀ ∈n 3¢ ++1,n>1,n=∏p p i, i nguyên tố thì ( )g n =∏h p( )i

Rõ rang song ánh g như vậy thỏa mãn đề bài

Bài 4 Tìm một hàm f :¥*→¥* khác đồng nhất thỏa mãn:

*

( ( )) ( ) ,

f mf n =nf m ∀m n∈¥ (1)

Lời giải:

+) Đặt (1)f =a Cho m=1 trong (1), ta có: *

( ( ))

f f n =an n∀ ∈¥ Cho n=1 trong (1) được f am( )= f m( ) ∀ ∈m ¥*

Từ đó a an = f f an( ( ))= f f n( ( ))=an n N ∀ ∈ * nên a= →1 f(1) 1=

Vậy f f n( ( ))= ∀ ∈n n N * nên f đơn ánh.

+) Ta chứng minh hàm f là hàm nhân tính Thật vậy:

( ( ) ( )) ( ( )) ( ( ))

f f m f n =nf f m =mn= f f mn Do f đơn ánh nên ( ) ( ) f m f n = f mn( )

+) Còn lại, do tính nhân tính của f nên ta chỉ cần xây dựng f trên tập các số nguyên tố

Giả sử p nguyên tố và ( )f p =mn, ta có p= f f p( ( ))= f m f n( ) ( ) Suy ra có thể giả sử ( ) 1 (1), ( )

f m = = f f n = p , do f đơn ánh nên m=1 Từ đó f(p) là số nguyên tố

Nếu ( )f p =q nguyên tố thì ( )f q = f f p( ( ))= p

Vậy hàm f được xây dựng như sau:

Gọi p là số nguyên tố thứ i , hàm f được cho bởi: i

(1) 1, ( ) k ; ( k ) k

f = f p k = p + f p + = p , f nhân tính

Dễ thấy hàm f như vậy thỏa mãn đề bài

Tuy nhiên, không phải lúc nào việc xem xét hàm trên tập các số nguyên tố cũng đơn giản như vậy, bởi lẽ tập số nguyên tố cũng còn có các tính chất khá phức tạp Chẳng hạn khi quan tâm đến việc phân tích một số tự nhiên thành tổng hai bình phương, ta phải để tâm đến tập các số nguyên tố dạng 4k+3 và tập các số nguyên tố dạng 4k+1, nên cần để ý đến các tính chất sau:

i) p nguyên tố dạng 4 k+1 thì tồn tại n∈¥ mà p \* n2+1

ii) p nguyên tố dạng 4 k+3 mà p \ a2+b2 thì p \ a và p \b

iii) Mọi số a nguyên dương, không có ước nguyên tố dạng 4 k+1 thì tồn tại n

nguyên dương mà a \ 2

1

n + Xét các bài toán sau:

Bài 5 Tìm số nguyên dương n nhỏ nhất sao cho tồn tại hàm khác hằng : f ¢ →(0,+∞)

thỏa mãn:

i) f xy( )= f x f y( ) ( )

ii) 2 (f x2+y2)− f x( )− f y( ) {0,1, , } ,∈ … n ∀x y∈¢

Với n tìm được, tìm tất cả các hàm thỏa mãn

Lời giải:

+) Trước hết, ta chứng minh n=1 là số thỏa mãn đề bài

Đặt A là tập các số nguyên tố dạng 4 k+1 và B là tập các số nguyên tố dạng 4 k+3

Với p B∈ , xét f p:¢ →¢ , ( ) 0( )

1( )

p

x B

f x

x B

∉





Dễ dàng chứng minh được f thỏa mãn đề bài p

+) Tiếp theo ta chứng minh nếu tồn tại hàm f thỏa mãn thì (0) 0 f = và n>0

Có f 2(0)= f(0) nên (0) 0f = hoặc (0) 1f = Nếu (0) 1f = thì

(0) ( 0) ( ) (0) ( ) 1

f = f x = f x f ∀ ∈ →x ¢ f x = ∀ ∈x ¢ Mâu thuẫn với việc f khác hằng

Vậy (0) 0f =

Giả sử n=0 thỏa mãn Ta có 2 (f x2+y2)− f x( )− f y( ) 0 ,= ∀x y∈¢

Suy ra 2f x2( ) 2 ( )= f x2 = f x( )+ f(0) ∀ ∈x ¢

Ta được: 2f x2( )= f x( ) hay ( ) {0, } 1

2

f x ∈ ∀ ∈x ¢ (1)

Nếu 0

1 ( )

2

f x = thì 02 2 0

1

4

f x = f x = Mâu thuẫn (1)

Vậy ( ) 0 f x = ∀ ∈x ¢ , lại mâu thuẫn với f khác hằng

Tóm lại, điều giả sử là sai nên n > 0

Vậy n=1 là giá trị nhỏ nhất cần tìm

+) Với n=1, ta sẽ tìm tất cả các hàm f thỏa mãn đề bài

- Ta có (0) 0f = Có: 2

(1) (1)

f = f và f khác hằng nên f(1)=1 ( nếu (1) 0f = thì ( ) 0

f x = ∀ ∈x Z)

- Do 2f x2( )− f x( ) 2 (= f x2+0 )2 − f x( )− f(0) {0,1} ∈ ∀ ∈x ¢ nên

( ) {0,1}

f x ∈ ∀ ∈x ¢ (*)

- Do ( 1)f − = f(1) 1= và ( 1) 0f − > nên ( 1) 1f − = Vậy (f − =x) f x( ) ∀ ∈x ¢

- Vì tính chất i) nên chỉ cần xét hàm f trên tập các số nguyên tố p

Ta chứng minh tồn tại duy nhất 1 số nguyên tố p sao cho ( ) 0 f p =

Rõ ràng f khác hằng nên luôn tồn tại số nguyên tố p sao cho f(p)=0 ( nếu không

( ) 1

f p = ∀p nguyên tố, suy ra ( ) 1 f x = ∀ ∈x ¢ )

Giả sử có số nguyên tố q khác p mà ( ) 0f q = Ta có 2 (f p2+q2) {0,1}∈ mà do (*),

( ) {0,1}

f p +q ∈ nên f p( 2+q2) 0=

Với mọi ,a b∈¢ , ta có 2 2 2 2 2 2

(a +b )(p +q ) (= ap bq+ ) +(aq bp− ) nên

f ap bq+ + aq bp− = f a +b p +q = f a +b f p +q =

Mà 2 (f x2+y2)− f x( )− f y( ) 0≥ nên

0 2 ((= f ap bq+ ) +(aq bp− ) )≥ f ap bq( + )+ f aq bp( − ) Do

f ap bq f aq bp+ − ≥ nên ta được (f aq bp− ) 0=

Lại có, ( , ) 1p q = nên tồn tại ,a b∈¢ sao cho aq bp− =1, ta được (1) 0f = Mâu thuẫn

Vậy có duy nhất số nguyên tố p mà ( ) 0 f p =

Cuối cùng, ta chứng minh p phải là số nguyên tố dạng 4k+3

Thật vậy

- Nếu p=4k+1 thì tồn tại y∈¥ sao cho p \ y2+1 Do ( ) 0f p = nên

2

( 1) 0

f y + = , suy ra 2

2 (f y + −1) f y( )− f(1) {0,1}∉ Mâu thuấn

- Nếu p=2 thì − =2 2 (2) 2 (1) 2 (1f − f = f 2+1 )2 − f(1)− f(1) {0,1}∈ Mâu thuẫn Vậy p=4k+3 Khi đó, hàm f được cho như phần đầu của bài toán.

Bài 6 Tìm : f ¥ →¢ thỏa mãn:

i) Nếu a \b thì ( ) f a ≥ f b( )

ii) f ab( )+ f a( 2+b2)= f a( )+ f b( ) ,∀a b∈¥

Lời giải:

+) Trước hết, do n \ 0 và 1\ n ∀ ∈n ¥,n=/0 nên (0)f ≥ f n( )≥ f(1) ∀ ∈n N n, =/0 +) Cho b=0 trong ii), có: f a( )2 = f a( ) ∀ ∈a ¥ , suy ra

2

( ) ( i) , 0,

f a = f a ∀ ∈i ¥ i = ∀ ∈/ a N

Mà , : 2∀ ∃k i i− 1≤ ≤k 2i nên 2i1

a − \a \ k 2i

a

Suy ra: f a( )= f a( 2i−1 ≥ f a( )k ≥ f a( 2i)= f a( )

Vậy ( )f a = f a( ) ,k ∀a k∈¥ \{ 0 }

+) Cho b=1 trong ii), ta có 2

( 1) (1)

f a + = f ∀ ∈a ¥ +) Ta chứng minh ( )f a = f(1) với mọi a không có ước nguyên tố dạng 4 k+3

Thật vậy, nếu a chỉ có ước nguyên tố dạng 4 k+1 thì tồn tại X sao cho a \ X2+1

Ta được: (1)f ≤ f a( ) và 2

( ) ( 1) (1)

f a ≥ f X + = f Vậy ( )f a = f(1) +) Tiếp theo, ta chứng minh: ( )f ab = f b( ) b∀ ∈¥ (*1) nếu a không có ước dạng

4k+3

Với mọi b∈¥ , a2+b2 không có ước dạng 4k+3, (vì nếu có p \ a2+b2, p=4k+3

thì p \ a - mâu thuẫn) Ta được f a( 2+b2)= f(1)

f ab + f a +b = f a + f b f a = f a +b = f nên ( )f ab = f b( )

+) Với n∈¥,n=/0 bất kỳ, ta có i

i

n=∏pα Khi đó: ( )f n = f(∏p i)(*2)

Ta có: ∏p i \ n \ ( )M

i

p

∏ với M =max{ }αi

f ∏p ≥ f n ≥ f ∏p = f ∏p

Vậy ( )f n = f(∏p i)

+) Giả sử i

i

n=∏pα j

j

qβ

∏ với p là số nguyên tố dạng 4 i k+3 và q là các số nguyên j

tố dạng 4k+1 Theo (*1) và (*2) thì ( )f n = f(∏p i)

+) Cuối cùng, nếu p1=/ p2 là các số nguyên tố dạng 4k+3 thì 2 2

p + p không có ước nguyên tố dạng 4k+3 ( vì nếu có q \ 2 2

p + p thì q \ p và q \1 p Mâu thuẫn) Suy ra 2

f p + p =

Do đó f p p( 1 2)= f p( )1 + f p( ) 12 −

f p p + p = nên từ f p p p( 1 2 3)+ f p p(( 1 2)2+ p32)= f p p( 1 2)+ f p( )3 suy ra

f p p p = f p p + f p − = f p + f p + f p −

Tương tự: 1 2

1

( k) k ( ) (i 1)

i

f p p p f p k

=

Vậy hàm f hoàn toàn được xác định khi biết ( ) f p với p là số nguyên tố dạng 4 k+3

Khi đó, hàm f được xây dựng như sau:

i) f(0), (1)f tùy ý thỏa mãn: (0)f ≥ f(1)

ii) f p( )=q p thỏa mãn: (1)f ≤q p ≤ f(0) với p là số nguyên tố dạng 4 k+3 iii) Nếu

1

i

k

α

=

j

qβ

∏ với p là số nguyên tố dạng 4 i m+3 và q là các số j

nguyên tố dạng 4m+1 thì

1

k i i

f n f p

=

= ∏ k1 ( ) (i 1)

i

f p k

=

Việc cuối cùng chỉ còn là thử lại Sau đây là một vài ví dụ:

1) f(0)= f(1) 1, ( ) 1 = f p = ∀p nguyên tố dạng 4k+3 Suy ra ( ) 1 f x = ∀x

2) f(0) 2, (1) 1= f = , (3) 2f = , ( ) 1 f p = ∀p nguyên tố dạng 4k+3 Khi đó

với n bất kỳ,

1

i

k m

i

α

=

= ∏ =/ ≥ thì ( )f n = f(3)+ − =k k f(3) 2= , hay ( ) 1

f x = ∀x không chia hết cho 3, ( ) 2f x = nếu x chia hết cho 3

Ý tưởng tiếp theo là xây dựng hàm dựa vào các tập hợp đặc biết với hàm đó Đầu tiên là tập các điểm bất động của hàm, với các bài toán sau:

Bài 7 [IMO 1983] Tìm : f ¡ + →¡ thỏa mãn: +

i) f xf y( ( ))= yf x( ) ,∀x y∈¡ (1)+

ii) xlim ( ) 0→+∞ f x =

Lời giải:

Gọi A là tập các điểm bất động của f Ta sẽ nghiên cứu tập A để từ đó xây dựng hàm f

Cho x y= trong (1), ta được: ( ( ))f x f x =x f x ( ) ∀ ∈x ¡ +

Suy ra xf x( )∈ ∀A x

Cho x=1 trong (1), ta được ( ( ))f f y = yf(1) (2)→ f đơn ánh

Cho y=1 suy ra (1) 1f = nên 1 A∈

Giả sử a A∈

Nếu a >1, bằng quy nạp dễ chứng minh ( ) f a n =a n, suy ra lim ( )x→+∞ f x = +∞

Mâu thuẫn với ii)

Nếu 0 < a <1, xét b 1

a

= , f(1) f a( 1) f(1 f a( )) af( )1

= = = , suy ra ( )f b = >b 1 Tương

tự trên có mâu thuẫn

Vậy A={1} nên xf x( ) 1 = ∀ ∈x ¡ +

Vậy f x( ) 1

x

= Thử lại thấy đúng

Thử lại thấy ( ) 1 1 2

2

f x = − x thỏa mãn

Bài 8 Cho S = − +∞( 1, ) Tìm : f S →S thỏa mãn:

i) f x( + f y( )+xf y( ))= +y f x( )+yf x( ) ,∀x y S∈

ii) f x( )

x tăng trên ( 1,0)− và (0,+∞)

Lời giải:

+) Cho y x= trong i) thì: (f x+ f x( )+xf x( ))= +x f x( )+xf x( ) ∀ ∈x S

Giả sử A là tập các điểm bất động của f Xét a A∈ , có 2 2

f a + a =a + a

+) Nếu 1− < <a 0 thì − <1 a2+2a<0 Do f x( )

x tăng trên ( 1,0)− nên tồn tại duy nhất

0

x sao cho f x( )0 =x0 Vậy a2 +2a a= → =a 0 hoặc a= −1 Mâu thuẫn

+) Nếu a > 0 thì 2

a + a> Tương tự có mâu thuẫn

Vậy A={0} nên ( )

1

x

x

+ Thử lại thấy đúng.

Bài 9.[IMO shortlist 1996] Tìm tất cả các hàm khác hằng : f ¥ →¥ thỏa mãn:

( ( )) ( ( )) ( ) ,

f m+ f n = f f m + f n ∀m n∈¥

Lời giải:

+) Cho m n= =0, ta được: ( (0))f f = f f( (0))+ f(0)→ f(0) 0= → f f( (0)) 0=

+) Cho m=0 được ( ( ))f f n = f n( ), ta được: (f m+ f n( ))= f m( )+ f f n( ( )) ∀m n, ∈¥ Vậy ( )f n là điểm bất động của hàm f với mọi n nguyên dương

Gọi A là tập các điểm bất động của hàm f và k là điểm bất động nhỏ nhất khác 0 (tồn tại k vì nếu không tồn tại k thì ( ) 0 f n = ∀n, không thỏa mãn)

Nếu tồn tại k , ta dễ dàng thu được ( ) f qk =qk với mọi q nguyên không âm, nếu n là một điểm bất động khác, ta chứng minh được: n mk=

Thật vậy, giả sử n mk r o r k= + , ≤ < thì

f n = f r+ f mk = f r + f mk =mk+ f r

Vậy ( )f r =r nên r là điểm bất động thỏa mãn: 0 r k≤ < Vậy r=0 hay n mk=

Đến đây, do (f mk r+ =) mk+ f r( ) nên ta thấy việc cơ bản còn lại là tìm ( )f r với

0 r k≤ < Tập cần làm việc chỉ còn là {0,1,2, ,… −k 1}

Nhưng ( )f n là điểm bất động với mọi n nên ( ) f n luôn là bội của k Ta được:

( ) i

f i =n k với i =0,1,2, ,k−1 và n n1, , ,2 … n k−1 là các số nguyên không âm bất kỳ,

n =

Khi đó hàm f được cho bởi công thức: ( f qk r+ =) qk n k+ r với 0 r k≤ <

Kiểm tra:

Đặt m ak r n bk s= + , = + ,0≤r s k, < thì ( ( ))f f m = f m( )=ak n k f n+ r , ( )=bk n k+ s

Suy ra (f m+ f n( ))=ak bk n k n k f f m+ + r + s ; ( ( ))+ f n( )=ak bk n k n k+ + r + s

Vậy hàm f thỏa mãn đề bài

Nhận xét: Trong lời giải trên, ta có thể xem xét tập A theo khía cạnh:

i) 0 A∈

ii) u v A, ∈ thì u v u v A+ , − ∈

Với các tính chất như vậy và A⊂¥ thì A={km m, ∈¥} với k là phần tử nhỏ nhất của A

Có thể chứng minh tính chất ii) như sau:

,

u v A∈ thì ( f u v+ =) f u( + f v( ))= f f u( ( ))+ f v( )= f u( )+ f v( )= +u v nên u v A+ ∈

u A∈ thì ( ) f u = f u v v( − + =) f u v( − + f v( ))= f f u v( ( − ))+ f v( )

f f u v f v f u v v

Suy ra ( f u v− = −) u v nên u v A− ∈

Việc xét các tập có tính chất như vừa đề cập ở trên cũng có tác đụng khá lớn trong việc giải quyết các bài phương trình hàm, cho dù đó không phải là tập các điểm bất động

Bài 10 Cho n là số nguyên Tìm : f ¢ →¢ sao cho

f x y+ + f y = f x +ny x y∀ ∈¢

Lời giải:

Ký hiệu (f x y+ + f y( ))= f x( )+ny (1) ,∀x y∈¢

+) Nếu n=/0, ta chứng minh f đơn ánh Thật vậy

Trong (1) thay x bởi −f y( ), ta có ( )f y = −f( f y( ))+ny y Z ∀ ∈ (2)

Giả sử f y( )1 = f y( )2 , ta có ny1=ny2 Do n=/0 nên y1=y2

+) Trong (2) cho y=0 được (0)f = −f( f(0))→ f(0) 0=

+) Đặt A={ / (y f x y+ )= f x( )+ f y( ) ∀ ∈x ¢ Ta sẽ xây dựng hàm f dựa vào tập A }

Trước hết, ta xét các tính chất của tập A

Trong (1) cho x=0, được: (f y+ f y( ))=ny y ∀ ∈¢(*)

Suy ra: (f x y+ + f y( ))= f x( )+ f y( + f y( )) ,∀x y∈¢ → +y f y( )∈ ∀ ∈A y ¢ (**)

Ngoài ra, tập A có các tính chất sau: