(Luận văn) bất đẳng thức và đồng nhất thức về tổng các hàm phần nguyên

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC LÊ VĂN TRƯỜNG lu an n va BẤT ĐẲNG THỨC VÀ ĐỒNG NHẤT THỨC VỀ TỔNG CÁC HÀM PHẦN NGUYÊN p ie gh tn to d oa nl w nf va an lu lm ul LUẬN VĂN THẠC SĨ TOÁN HỌC z at nh oi z m co l gm @ an Lu Thái Nguyên, năm 2015 n va ac th si ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC LÊ VĂN TRƯỜNG lu an n va p ie gh tn to BẤT ĐẲNG THỨC VÀ ĐỒNG NHẤT THỨC VỀ TỔNG CÁC HÀM PHẦN NGUYÊN d oa nl w an lu nf va Chuyên ngành: PHƯƠNG PHÁP TOÁN SƠ CẤP Mã số: 60 46 01 13 z at nh oi lm ul LUẬN VĂN THẠC SĨ TOÁN HỌC z gm @ l Người hướng dẫn khoa học: m co GS TSKH HÀ HUY KHOÁI an Lu Thái Nguyên, năm 2015 n va ac th si Mục lục Mục lục Mở đầu HÀM PHẦN NGUYÊN VÀ MỘT SỐ HÀM LIÊN QUAN lu an Khái niệm phần nguyên 1.2 Tính chất phần nguyên 1.3 Hàm trần, Hàm sàn, Hàm tròn n va 1.1 gh tn to BIỂU DIỄN MỘT SỐ HÀM QUA HÀM PHẦN NGUYÊN ie p 2.1 10 Kết 11 Các hệ 13 oa nl w 2.2 d ỨNG DỤNG HÀM PHẦN NGUYÊN VÀO VIỆC NGHIÊN 17 an lu CỨU CÁC DÃY SỐ NGUYÊN DƯƠNG Tổng lũy thừa 17 3.2 Lũy thừa số nguyên dương 28 3.3 Số Fibonacci 32 3.4 Quan sát giả thuyết 34 nf va 3.1 z at nh oi lm ul Kết luận 36 Tài liệu tham khảo 37 z m co l gm @ an Lu n va ac th si Lời cảm ơn Luận văn thực hoàn thành trường Đại học Khoa học - Đại học Thái Nguyên hướng dẫn khoa học GS TSKH Hà Huy Khoái lu an Qua đây, tác giả xin gửi lời cảm ơn sâu sắc đến thầy giáo, người hướng n va dẫn khoa học mình, GS TSKH Hà Huy Khối, người đưa đề tài Đồng thời tác giả chân thành cảm ơn thầy giáo khoa Tốn gh tn to tận tình hướng dẫn suốt trình nghiên cứu tác giả p ie - Tin trường Đại học Khoa học - Đại học Thái Nguyên, tạo điều kiện oa nl văn w cho tác giả tài liệu thủ tục hành để tác giả hồn thành luận d Tác giả gửi lời cảm ơn đến gia đình bạn lớp Cao học Toán lu nf va làm luận văn an Lớp Q khóa 2013-2015, động viên, giúp đỡ tác giả trình học tập lm ul Thái Nguyên, tháng năm 2015 Tác giả z at nh oi Lê Văn Trường z Học viên Cao học Tốn Lớp Q khóa 6/2013-6/2015, @ Trường ĐH Khoa học-ĐH Thái Nguyên m co l gm an Lu n va ac th si CÁC KÝ HIỆU Trong luận văn sử dụng ký hiệu sau: R: Tập số thực Q: Tập số hữu tỷ lu Z: Tập số nguyên an va N: Tập số tự nhiên n [x]: Số làm tròn x tn to ⌈x⌉: Trần x p ie gh ⌊x⌋: Sàn của x d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si Mở đầu Luận văn nhằm trình bày số kết nghiên cứu gần (xem Mircea Merca, Inequalities and Identities Involving Sums of Integer Functions, Journal lu an of Integer Sequences, Vol 14 (2011)) toán cổ điển liên quan đến n va công thức biểu diễn tổng hàm phần nguyên Trong báo đó, tác giả giới tn to thiệu phương pháp tạo bất đẳng thức, vài đồng thức với tổng nâng lên lũy thừa hàm sàn, hàm trần hàm tròn, đồng thời áp dụng phương pháp gh p ie vào dãy số nguyên không âm, biến chúng trở thành dãy có chu kỳ nl w Dù nghiêm túc cố gắng thực luận văn này, với trình d oa độ hạn chế nhiều lý khác, luận văn chắn không tránh khỏi an lu khiếm khuyết định Kính mong góp ý Thầy Cơ để luận văn hồn chỉnh có nhiều ý nghĩa nf va lm ul Bố cục luận văn sau: Chương 1: Hàm phần nguyên số hàm liên quan z at nh oi Chương 2: Biểu diễn hàm qua số hàm phần nguyên Chương 3: Ứng dụng nghiên cứu dãy số nguyên dương z m co l gm @ an Lu n va ac th si Chương HÀM PHẦN NGUYÊN VÀ MỘT SỐ HÀM LIÊN QUAN lu an Khái niệm phần nguyên n va 1.1 to tn Định nghĩa 1.1 : Cho số thực x ∈ R Số nguyên lớn không vượt ie gh x gọi phần nguyên x Nhiều tài liệu gọi phần nguyên x p sàn kí hiệu phần nguyên x ⌊x⌋ w oa nl Định nghĩa 1.2 : Cho số thực x ∈ R Số nguyên bé không nhỏ d x gọi trần x kí hiệu ⌈x⌉ lu nf va an Từ định nghĩa 1.1 định nghĩa 1.2 ta suy ra: ⎧ ⎧ ⎪ ⎪ ⎪ y ≤x y Tính chất 1.10 : lu a) Cả hai số x y hai số nguyên {x} + {y} = an b) Trong hai số x y có số ngun số khơng phải ngun thì: va n < {x} + {y} < gh tn to c) Hai số x y không nguyên có tổng x + y số nguyên p ie {x} + {y} = nl w Tính chất 1.11 : Với x, y ∈ R ta có: d oa {x + y} ≤ {x} + {y} ≤ {x + y} + 1; ⌊x⌋ + ⌊y⌋ ≤ ⌊x + y⌋ ≤ ⌊x⌋ + ⌊y⌋ + lu an Nhận xét: Tính chất 1.11 phát biểu dạng sau đây: nf va ⎧ ⎪ ⎪ ⌊x⌋ + ⌊y⌋ ≤ {x} + {y} < 1; a) ⌊x + y⌋ = ⎨ ⎪ ⎪ ⎩⌊x⌋ + ⌊y⌋ + ≤ {x} + {y} < z at nh oi lm ul là: z ⎧ ⎪ ⎪ ⌊x + y⌋ ≤ {x} + {y} < 1; b) ⌊x⌋ + ⌊y⌋ = ⎨ ⎪ ⎪ ⌊x + y⌋ − ≤ {x} + {y} < ⎩ gm @ Hệ 1.2 : ⌊2x⌋ ≥ 2⌊x⌋ với x ∈ R l Hệ 1.3 :⌊−x⌋ = −⌊x⌋ {−x} = {x} = x ∈ Z; m co ⌊x⌋ + ⌊−x⌋ = −1 {−x} = − {x} x ∉ Z n ac th va Tính chất 1.12 : Với x y số thực ta có: an Lu Hệ 1.4 :⌈x⌉ = −⌊−x⌋ với x ∈ R si ⌊x⌋ + ⌊2y⌋ ≥ ⌊x⌋ + ⌊y⌋ + ⌊x + y⌋ ≥ 2(⌊x⌋ + ⌊y⌋) Tính chất 1.13 : Với x ∈ R ta có: ⌊x + 21 ⌋ = ⌊2x⌋ ⌊x + ⌋ = ⌊2x⌋ − ⌊x⌋ Tính chất 1.14 : Với số ngun k ta ln có:⌊ k2 ⌋ + ⌈ k2 ⌉ = k Tính chất 1.15 : Nếu x, y số thực n số nguyên cho y − x < x ≤ n ≤ y thì: ⌈x⌉ = ⌊y⌋ = n (1) lu an Tính chất 1.16 : Mọi số nguyên m số nguyên dương n đồng thức va n sau dùng để chuyển sàn thành trần ngược lại: to ie gh tn m+n−1 ⌈m n ⌉ = ⌊ n ⌋ (2) p Tính chất 1.17 : Khi m số nguyên n số nguyên dương, thương nl w m chia cho n ⌊ m n ⌋ giá trị: d oa m mod n=m − n ⌊ m n⌋ lu nf va an số dư (hay thặng dư) phép chia z at nh oi lm ul 1.3 Hàm trần, Hàm sàn, Hàm tròn 1.3.1 Hàm trần z Định nghĩa: Hàm số f ∶ R → Z, f (x) = ⌈x⌉ cho tương ứng số x ∈ R với l gm @ trần ⌈x⌉ ∈ Z gọi hàm trần 1.3.2 Hàm sàn co m Định nghĩa: Hàm số f ∶ R → Z, f (x) = ⌊x⌋ cho tương ứng số x ∈ R với sàn an Lu ⌊x⌋ ∈ Z gọi hàm sàn 1.3.3 Hàm trịn n va ac th si lu an n va p ie gh tn to k m k m 21 3,4,7,9,36,43,49,81,196,441 5,7,13,17,29 22 5,7,13,17,49,121,343 3,4,5,7,9,11,36,52„117 23 3,4,5,11,16,47 7,17,49 24 17,31,73 3,4,11,25 25 3,4,11,25,101,125,500 5,13,17 26 5,7,13,29,53,157,169 3,4,5,11,13,16 27 3,4,5,7,9,11,16,19,27,36,37,52,81,117,171,189,324 7,17,31 28 7,43,49,113,343 3,4,7,9,11,19,27,36,171,189 29 3,4,11,17,59 10 5,7,13,25,31,49,325 30 5,13,25,29,61,325 11 3,4,5,16,23,25,37,121 31 3,4,5,13,16,25 12 32 13 3,4,11,17 33 3,4,7,9,23,36,67,81,121 14 5,7,13,29,43,49 34 5,7,13,17,49,289 15 3,4,5,9,11,16,25,31,36,52,117 35 3,4,5,11,16,25,27,71,125 16 7,23,49 36 17,53,73 17 3,4,11,27 37 3,4,11 18 5,7,13,23,37 38 5,7,13,17,23,31 19 3,4,5,11,13,16 39 3,4,5,7,9,11,16,36,52,79,117 20 7,17,31,41 40 7,17,23,31,49 oa nl w Bảng 3.2: Bảng giá trị m k cho đồng thức (23 ) d lu nf va an cho số nguyên không âm bất kỳ? Câu hỏi khẳng định, chứng minh Để chứng minh điều này, cần với số nguyên lm ul không âm k với m = 3, điều kiện (24) thỏa mãn Do 2.22k+1 ≡ z at nh oi (mod 6) 2.32k+1 ≡ (mod 6), với số nguyên không âm k ta viết Mf (3, 3, 2k + 1) = 13 (5 + + 3) = 3, z Gf (3, 1, 2k + 1) = 16 (5 − 3) = 13 , gm @ co l Gf (3, 2, 2k + 1) = 16 (5 + − 2.3) = 0, m Gf (3, 3, 2k + 1) = 16 (5 + + − 3.3) = 0, an Lu f hàm trịn Do đó, đồng thức (25) n ac th 23 va Tương tự chứng minh đồng thức sau si n n k ∑ [ i4 ] = [ 14 ∑ ik ] , k ≡ (mod 2),k > 1, i=1 i=1 n n k ∑ [ i5 ] = [ 15 ∑ ik ] , k ≡ 2, (mod 4), i=1 i=1 n n k ∑ [ i7 ] = [ 17 ∑ ik ] , k ≡ 2, 3, 4(mod 6), i=1 i=1 n n k ∑ [ i9 ] = [ 19 ∑ ik ] , k ≡ (mod 6), i=1 n i=1 n k i , ] = [ 11 ∑ [ 11 ∑ ik ] , k ≡ 3, 5, 7, (mod 10), lu i=1 i =1 an n n k va i ] = [ 13 ∑ ik ] , k ≡ (mod 4), ∑ [ 13 i=1 n i=1 tn to n n k gh i ] = [ 16 ∑ ik ] , k ≡ (mod 4),k > 3, ∑ [ 16 i=1 p ie i=1 n n k i ] = [ 17 ∑ [ 17 ∑ ik ] , k ≡ 2, 4, 6, 8, 13, 20, 22, 24, 29 (mod 32), i=1 oa nl w i=1 n n d k i=1 i=1 n nf va an lu i ] = [ 19 ∑ ik ] , k ≡ (mod 18), ∑ [ 19 n k i ] = [ 23 ∑ [ 23 ∑ ik ] , k ≡ 11, 16, 18(mod 22), n i=1 lm ul i=1 n k i=1 i=1 z at nh oi i ] = [ 25 ∑ [ 25 ∑ ik ] , k ≡ 5, 10, 11, 15(mod 20) Có câu hỏi khác đặt từ Bảng 3.2 liệu có tồn số nguyên m nào, m > z với k = 12 cho đồng thức (23) đúng? k n ∑ [ im ] = [ m1 ∑ ik ] , m > (26) i=1 i=1 m co l n gm @ Từ (16) (19) ta suy đồng thức sau an Lu n ac th 24 va Mf (m, m, k) = m, Lf (m, k) = Rf (m, k) < 1, (27) si f hàm trịn Bảng 3.3 đưa giá trị m k để đồng thức (26) Trường hợp k chẵn, người ta khơng tìm số m cho điều kiện (27) thỏa mãn Phải đồng thức (26) sai giá trị chẵn k? lu an n va p ie gh tn to k m 27 3,4,7,8,9,17,27,81,243 29 3,4,5,8,13,25,59 31 3,4,7,8,9 33 3,4,5,7,8,9,23 35 3,4,8,11,43,49,71 37 3,4,5,7,8,9 39 3,4,7,8,9,27,79 41 3,4,5,8,13,83 43 3,4,7,8,9,17 45 3,4,5,7,8,9,11,25,27,31 47 3,4,8 49 3,4,5,7,8,9,25 51 3,4,7,8,9,103 d oa nl w k m 3,5,7 3,4,7,8,8,27 3,4,5,8,11,13,25 3,4,7,8,9 3,4,5,7,8,9,25,27,81 11 3,4,8,17,23 13 3,4,5,7,8,9,169 15 3,4,7,8,9,11,31 17 3,4,5,8,13 19 3,4,7,8,9 21 3,4,5,7,8,9,27,49 23 3,4,8,47 25 3,4,5,7,8,9,11,25,31,125 nf va an lu Bảng 3.3: Bảng giá trị m k cho đồng thức (26 ) Xét chứng minh đồng thức (25) ta suy đồng thức sau: lm ul 2k+1 i=1 2k+1 ] = [ 13 ∑ ] , k ≥ i=1 z at nh oi n ∑ [i Với k > ta có 2.22k+1 ≡ (mod 8), 2.32k+1 ≡ (mod 8) 2.42k+1 ≡ (mod 8) Ta viết z @ l gm Mf (4, 4, 2k + 1) = 14 (6 + + + 4) = 4, m co Gf (4, 1, 2k + 1) = 18 (6 − 4) = 14 , an Lu Gf (4, 2, 2k + 1) = 81 (6 + − 2.4) = 14 , n va ac th 25 si Gf (4, 3, 2k + 1) = 18 (6 + + − 3.4) = 0, Gf (4, 4, 2k + 1) = 18 (6 + + + − 4.4) = 0, f hàm trịn Điều kiện (27) thỏa mãn, ta nhận đồng thức sau n 2k+1 i=1 ∑ [i 2k+1 ] = [ 14 ∑ ] , k ≥ i=1 Tương tự ta đồng thức sau: n n k ∑ [ i5 ] = ⌊ 15 ∑ ik ⌋ , k ≡ (mod 4,) lu i=1 i=1 an n n k va ∑ [ i7 ] = ⌊ 17 ∑ ik ⌋ , k ≡ 1, (mod 6), n i=1 i=1 to tn n n k ∑ [ i8 ] = ⌊ 18 ∑ ik ⌋ , k ≡ (mod 2), i=1 p ie gh i=1 n n k ∑ [ i9 ] = ⌊ 19 ∑ ik ⌋ , k ≡ 1, (mod 6), i=1 oa nl w i=1 n n k d i=1 i=1 nf va an lu i ] = ⌊ 11 ∑ [ 11 ∑ ik ⌋ , k ≡ (mod 10), n n k i ] = ⌊ 13 ∑ [ 13 ∑ ik ⌋ , k ≡ (mod 12), n k lm ul i=1 i=1 n z at nh oi i ] = ⌊ 17 ∑ [ 17 ∑ ik ⌋ , k ≡ 11 (mod 16), i=1 i=1 n n k i ] = ⌊ 23 ∑ ik ⌋ , k ≡ 11 (mod 22), ∑ [ 23 gm @ n i=1 z i=1 n k i=1 k n i =1 i=1 an Lu n ∑ [ im ] = ⌈ m1 ∑ ik ⌉, m > 1, (28) m Từ (16) (20) ta suy đồng thức sau: co i=1 l i ] = ⌊ 25 ∑ [ 25 ∑ ik ⌋ , k ≡ 5, (mod 20) n va ac th 26 si nếu: Mf (m, m, k) = m, Rf (m, k) = Lf (m, k) > −1 (29) Dùng Maple người ta tìm giá trị m k cho điều kiện (29) thực hiện, nhiên chưa tìm giá trị Phải đồng thức (28) sai số nguyên dương k số nguyên m, m>1 ? Ví dụ 3.3: Lời giải toán Khi f hàm sàn, k = m = 12 dùng Maple ta thu được: lu an M= 19 ,L −13 72 = R = 49 va n Ta có to tn (f,12) = (−1)2 B2 − M = 16 − 19 = −3 ie gh b2,1 p Các giá trị b2,2 b2,3 tính tốn Ví dụ 3.1 Theo (21) ta đẳng thức w nl n oa i S1 (n) = ∑ ⌊ 12 ⌋ = [ 36 n + 24 n − 14 n] d i=1 nf va an lu Khi f hàm tròn, k = m = 12 ta nhận : M= 43 ,L = −1 R = 29 (f,12) b2,1 z at nh oi lm ul Ta có: = (−1)2 B2 + 12−2M = 61 − 67 = −1, z Theo (21) ta được: @ n gm i S2 (n) = ∑ [ 12 ] = [ 36 n + 24 n − 12 n] , i=1 l m co đề giải an Lu n va ac th 27 si 3.2 Lũy thừa số nguyên dương Với số nguyên dương m số nguyên tố với m, ta gọi ordm (a) cấp a modulo m, tức số nguyên dương bé n cho an ≡ (mod m): ordm (a)= min{n ∈ N∗ ∣an ≡ (mod m)} Lưu ý ordm (a) chia hết ϕ(m), ϕ hàm Euler Nếu ordm (a) = ϕ(m) a gọi nguyên thủy modulo m Nếu m số nguyên tố ϕ(m) = m−1 Với số nguyên dương m, m > số nguyên k nguyên tố với lu m,k > 1, dãy (xn )n>0 , xn = k n có tính chất xn+ordm (k) ≡ xn (mod m) Quan hệ: an n va ∑ ki = n i=1 kn+1 −k k−1 (30) tn to Hệ 2.9 cho phép nhận quan hệ truy hồi tuyến tính ie gh sau: p an − (k + 1)an−1 + k.an−2 − an−ordm (k) + (k + 1)an−ordm (k)−1 − k.an−ordm (k)−2 = 0, w n i nl đó: an = ∑ f ( km ) f hàm sàn, hàm trần hàm oa i=1 d tròn Nếu m số nguyên tố k ngun thủy modulo m ta có: lu nf va an an − (k + 1)an−1 + k.an−2 − an−m+1 + (k + 1)an−m − k.an−m−1 = với m, k > dãy : z at nh oi lm ul Với số nguyên dương m, m > số nguyên k nguyên tố (f,k,m) x(f,k,m) = (xn ⎧ ⎪ f hàm sàn, ⎪ kn, =⎨ n ⎪ ⎪ ⎩2k +m, f hàm tròn, z gm @ (f,k,m) xn )n>0 , l có tính chất ⎧ (f,k,m) ⎪ (mod m), f hàm sàn, ⎪ xn ≡ ⎨ (f,k,m) ⎪ ⎪ (mod 2m), f hàm tròn, ⎩xn m co n ac th 28 va Do m k nguyên tố nên an Lu (f,k,m) xn+ordm (k) si n n ⌈ km ⌉ = ⌊ km ⌋ + 1, ta viết: n n i i ∑ ⌈ km ⌉ = n + ∑ ⌊ km ⌋ i=1 i=1 sau ý cần xem xét tổng có chứa hàm trần hàm trịn Ta kí hiệu: ⎧ ⎪ ⎪ M (m, ordm (k), x(f,k,m) ), f hàm sàn, Mf (m, k) = ⎨ (31) (f,k,m) ), f hàm tròn, ⎪ ⎪ M(2m,ord (k), x m ⎩ lu an ⎧ ⎪ ⎪ F (m, ordm (k), n, x(f,k,m) ), f hàm sàn, (32) Ff (m, n, k) = ⎨ (f,k,m) ), f hàm tròn, ⎪ ⎪ F(2m,ord (k), n, x m ⎩ n va p ie gh tn to ⎧ ⎪ ⎪ L(m, ordm (k), x(f,k,m) ), f hàm sàn, Lf (m, k) = ⎨ (f,k,m) ), f hàm tròn, ⎪ ⎪ ⎩L(2m,ordm (k), x d oa nl w ⎧ ⎪ ⎪ R(m, ordm (k), x(f,k,m) ), f hàm sàn, Rf (m, k) = ⎨ (f,k,m) ), f hàm tròn ⎪ ⎪ ⎩R(2m,ordm (k), x lu kn+1 −k m(k−1) + n m ⎧ ⎪ −Mf (m, k), f hàm sàn, ⎪ ⎨1 ⎪ ⎪ ⎩ (m − Mf (m, k)), f hàm tròn z at nh oi lm ul Ff (m, n, k) = nf va an Theo (30), (31), (32) ta nhận được: Nếu a số nguyên dương cho a ≡ k (mod m) ordm (a) = ordm (k) Do đó, a ≡ k (mod m), ta suy ra: z Mf (m, a) = Mf (m, k), Lf (m, a) = Lf (m, k) Rf (m, a) = Rf (m, k) (33) co l gm @ f hàm sàn hàm trịn m Ví dụ 3.4: Nếu k ≡ (mod m) nghĩa ordm (k) = rõ ràng là: an Lu Mf (m, k) = Lf (m, k) = Rf (m, k) = 0, n va ac th 29 si f hàm sàn Theo Định lý 2.1 ta đồng thức sau: n kn+1 −(n+1)k+n , m(k−1) i ∑ ⌊ km ⌋ = i=1 k ≡ (mod m),k > 1, (34) viết lại theo cách: n ∑⌊ i=1 (km+1)i ⌋ m = (km+1)n+1 −(n+1)km−1 ,k m2 k > Chẳng hạn từ (34) cho m = k = ta được: n 6n+1 −5n−6 25 i ∑ ⌊ 65 ⌋ = i=1 Ví dụ 3.5: Nếu m số nguyên tố k nguyên thủy modulo m lu an ta có va n Mf (m, k) = m−1 m−1 ∑ i= tn to i=1 m 2, f hàm sàn Theo Hệ 2.6 ta đồng thức sau: gh n n+1 ie n k −k ∑ ⌊ km ⌋ = [ m (k−1) − ] i p i=1 oa nl w Ví dụ 3.6: Nếu k số lẻ ta có: d ord2 (k) = 1, (2k + 2) mod 4=0,Mf (2, k) = Lf (2, k) = Rf (2, k) = 0, lu n nf va an f hàm trịn Theo Định lý 2.1, ta đồng thức sau: ∑ ⌊ k2 ⌋ = k2 kk−−11 + n2 , k ≡ (mod m),k > n lm ul i=1 i z at nh oi Ví dụ 3.7: Nếu m > k ≡ (mod m) ta được: Mf (m, k) = (2k + m) mod 2m=m + Lf (m, k) = Rf (m, k) = 0, z f hàm trịn Theo Định lý 2.1, ta đồng thức sau: k ≡ (mod m),k > 1, m > (35) Từ (34) (35), ta suy đồng thức i n m n co l i=1 kn+1 −(n+1)k+n , m(k−1) gm i @ n ∑ [ km ] = i i=1 an Lu ∑ [ km ] = ∑ ⌊ km ⌋, k ≡ (mod m),k > 1, m > i=1 n va ac th 30 si Ví dụ 3.8: Nếu k = m − k ≡ (mod m), nghĩa ordm (k) = Hơn nữa, ta có (2(m − 1) + m)mod 2m=m − (2(m − 1)2 + m) mod 2m=m + Từ suy Mf (m, m − 1) = m, Lf (m, m − 1) = −1 m , Rf (m, m − 1) = 0, f hàm trịn Bây theo (33) bất đẳng thức sau hệ trực tiếp Định lý 2.3 −1 m ≤ lu kn+1 −k m(k−1) n i − ∑ [ km ] ≤ 0, k ≡ −1 (mod m), i=1 an n+1 n va k −k k ∣m (k−1) + 2m − ∑ [ m ]∣ ≤ i n i=1 2m , k≡ −1 (mod m), gh tn to theo Hệ 2.5 Hệ 2.8, đồng thức: n n+1 ie k −k i [1 ∑ [ km ] = [ m (k−1) + 2m ] = m ( + ∑i=1 k )] i n p i=1 n+1 n nl w 1 k −k i = ⌊m (k−1) + m ⌋ = ⌊ m (1 + ∑ k )⌋ d oa i=1 n+1 n i=1 nf va an lu k −k i = ⌈m (k−1) ⌉ = ⌈ m ∑ k ⌉ n+1 n i=1 z at nh oi lm ul k −k i = [m (k−1) ] = [ m ∑ k ],k ≡ −1 (mod m) Dùng Maple để xác định giá trị ordm (k), Lf (m, k) Rf (m, k) người ta tạo nhiều bất đẳng thức số đồng thức z gm @ Ví dụ 3.9: Số nguyên m = 7, k = nguyên tố nhau, không l phải nguyên thủy modulo 7, nghĩa ϕ(7) = ord7 (2) = Khi f −1 21 R = 21 n ac th 31 va Theo Định lý 2.1 Hệ 2.1 ta bất đẳng thức an Lu M = 73 , L = m co hàm sàn ta được: si −1 21 ≤ 2n+1 n i − n3 − 27 − ∑ ⌊ 27 ⌋ ≤ i=1 n+1 n i ∣ − n3 − 14 − ∑ ⌊ 27 ⌋∣ ≤ i=1 21 , 42 , theo Hệ 2.3 Hệ 2.6 ta đồng thức n n+1 i n+1 5 ] = ⌊ − n3 − 21 ⌋ ∑ ⌊ 27 ⌋ = [ − n3 − 14 i=1 n+1 n+1 n = ⌈ − n3 − 10 21 ⌉ = [ − − ] lu an Số Fibonacci n va 3.3 to tn Theo định nghĩa, hai số Fibonacci 1, số tiếp ie gh theo tổng hai số liền trước Trong thuật ngữ toán học, dãy (Fn )n>0 số p Fibonacci định nghĩa công thức truy hồi sau: oa nl w Fn = Fn−1 + Fn−2 d với giá trị ban đầu F0 , F1 = lu an Một cách để khám phá vài tính chất đặc trưng chuỗi Fibonacci nf va xét dãy thặng dư không âm bé số Fibonacci theo số lm ul modulo Một câu hỏi lĩnh vực nghiên cứu đưa D.D.Wall [6] vào năm 1960 Chẳng hạn, ta biết F(mod m) z at nh oi tuần hoàn, chu kỳ biết chu kỳ Pisano π(m) Mặt khác người ta biết nhiều đồng thức chứa đựng tổng số Fi- z bonacci Kết hợp với Định lý 2.1, điều cho phép thiết lập nhiều bất đẳng gm @ thức, đồng thức với tổng chứa hàm nguyên số Fibonacci Các ứng dụng sau dựa đồng thức: m co i=1 l n ∑ Fi = Fn+2 − (36) an Lu mà nó, với Hệ 2.9, cho phép ta thu quan hệ sau: n va ac th 32 si n n−π (m) i=1 i=1 ∑ f ( Fmi ) − ∑ π (m) f ( Fmi ) − ∑ f ( Fmi ) = i=1 m (Fn+2 − Fn+2−π(m) − Fπ(m)+2 + 1) f hàm sàn, hàm trần hàm tròn (f,m) Đối với số nguyên dương m, dãy: x(f,m) = (xn )n>0 , ⎧ ⎪ ⎪ Fn , f hàm sàn, ⎪ ⎪ ⎪ ⎪ (f,m) xn = ⎨ Fn +m −1, f hàm trần, ⎪ ⎪ ⎪ ⎪ ⎪ 2F +m, f hàm trịn ⎪ ⎩ n có tính chất: lu (f,m) xn+Π(m) an ⎧ (f,m) ⎪ (mod m), f hàm sàn hàm trần, ⎪x n ≡⎨ (f,m) ⎪ ⎪ xn (mod 2m), f hàm trịn ⎩ n va Ta kí hiệu ie gh tn to ⎧ ⎪ ⎪M (m, π(m), x(f,m) ), f hàm sàn hàm trần, (37) Mf (m) = ⎨ (f,m) ), f hàm tròn, ⎪ ⎪ M(2m,π(m), x ⎩ p ⎧ ⎪ ⎪F (m, π(m), n, x(f,m) ), f hàm sàn hàm trần, (38) Ff (m, n) = ⎨ (f,m) ), f hàm tròn, ⎪ ⎪ F(2m,π(m), n, x ⎩ d oa nl w nf va an lu ⎧ ⎪ ⎪L(m, π(m), x(f,m) ), f hàm sàn hàm trần, Lf (m) = ⎨ ⎪ ⎪ L(2m,π(m), x(f,m) ), f hàm tròn, ⎩ lm ul z at nh oi ⎧ ⎪ ⎪R(m, π(m), x(f,m) ), f hàm sàn hàm trần, Rf (m) = ⎨ ⎪ ⎪ R(2m,π(m), x(f,m) ), f hàm tròn ⎩ Theo (36), (37) (38) ta được: z ⎧ ⎪ ⎪ −Mf (m), f hàm sàn, ⎪ ⎪ ⎪ ⎪ n Ff (m, n) = Fn+m2 −1 + m ⎨m − − Mf (m), f hàm trần, ⎪ ⎪ ⎪ ⎪ ⎪ (m − Mf (m)), f hàm tròn, ⎪ ⎩2 m co l gm @ Để tạo đồng thức người ta dùng Maple để tìm giá trị cho m cho an Lu Rf (m) − Lf (m) < Những giá trị sau tìm thấy: n va ac th 33 si ⎧ ⎪ ⎪ (2, 3, 4), f hàm sàn, ⎪ ⎪ ⎪ ⎪ m ∈ ⎨(2, 3, 4, 11), f hàm trần, ⎪ ⎪ ⎪ ⎪ ⎪ (2, 4, 11), f hàm trịn ⎪ ⎩ Ví dụ 3.10: Để ý π(4) = 6, f hàm trịn, ta có M = 4, L = R = −1 Theo Định lý 2.3, ta bất đẳng thức −1 ≤ Fn+2 −1 n − ∑ [ F4i ] ≤ 12 i=1 viết lại theo cách sau n lu ∣ Fn4+2 − 38 − ∑ [ F4i ] ∣ ≤ 38 an i=1 va n Theo Hệ 2.5, ta to n tn ∑ [ F4i ] = [ Fn4+2 − 83 ] = ⌊ Fn4+2 ⌋ = ⌈ Fn+42 −3 ⌉ p ie gh i=1 Quan sát giả thuyết nl w 3.4 oa Cho a m số nguyên dương nguyên tố Để xác định trung d bình cộng định nghĩa (31) cho hàm sàn ta phải xác định tổng lu an ordm (a) nf va ∑ (ai mod m) (39) i=1 lm ul Để ý đến quan hệ ∑ i=1 ordm (a) i =1 (mod m), gm mod m)≡ ∑ @ ∑ i=1 (ai = z ordm (a) a(aordm (a) −1) , a−1 z at nh oi ordm (a) co l ta suy a = m nguyên tố nhau, tổng (39) chia hết cho m m Dùng Maple để xác định tổng này, người ta nhận thấy quan hệ sau: a − m nguyên tố ordm (a) chẵn thì: an Lu Giả thuyết 3.1: Cho a m số nguyên dương nguyên tố Nếu n va ac th 34 si ordm (a) m.ordm (a) ∑ (ai mod m)= i=1 Dùng Maple để xác định giá trị vài tổng ordm (a) ∑ ((2ai + m)mod 2m), i=1 cần để xác định trung bình cộng (31) cho hàm tròn, người ta nhận thấy đồng thức thú vị khác Giả thuyết 3.2: Cho a m số nguyên dương nguyên tố Nếu m nguyên tố ordm (a) chẵn thì: ordm (a) lu ∑ ((2ai + m)mod 2m)=m.ordm (a) an i=1 n va Theo (36) ta suy tổng π(m) số Fibonacci liên tiếp bội m Điều tn to gợi ý cho phát biểu tổng: π (m) gh ∑ (Fi mod m) p ie i=1 w bội m Dùng Maple để xác định trung bình cộng định nghĩa (37), nl nhận thấy đồng thức sau: d oa Giả thuyết 3.3: Cho m số nguyên dương, m > Khi đó: ∑ (Fi mod m)=m.ω(m) i=1 nf va an lu π (m) z at nh oi lm ul ω(m) số vịng quay Fibonacci (xem [4]) z m co l gm @ an Lu n va ac th 35 si Kết luận Luận văn trình bày số kết nghiên cứu gần toán cổ điển liên quan đến bất đẳng thức đồng thức tổng hàm phần ngun Các kết luận văn: - Trình bày khái niệm phần nguyên tính chất phần nguyên - Trình bày khái niệm hàm phần nguyên, hàm trần, hàm sàn hàm tròn lu an - Trình bày kết nghiên cứu gần Mircea Merca, Inequalities and n va Identities Involving Sums of Integer Functions, Journal of Integer Sequences, p ie gh tn to Vol 14 (2011) d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th 36 si Tài liệu tham khảo [A] Tài liệu tiếng Việt [1] Hà Huy Khoái (2004), Số học, NXB Giáo dục lu [2] Hà Huy Khoái, Phạm Huy Điển (2003), Số học thuật toán, NXB an ĐHQGHN n va [3] Knuth D E (1993), "Johann Faulhaber and sums of powers", Math ie gh tn to [B] Tài liệu tiếng Anh p Comp 61, pp 277 - 294 nl w [4] Merca M (2011), "Inequalities and identities involving sums of integer d oa funcions", Journal of Integer Sequencees, 14(9), 11.9.1 an lu [5] Sloane N J A (2010), The On-Line Encyclopedia of Integer Sequences nf va Published electronically at http://oeis.org z at nh oi 67, pp 525 - 532 lm ul [6] Wall D D (1960), "Fibonacci series modulo m", Amer Math Monthly z m co l gm @ an Lu n va ac th 37 si