(Luận văn) nghiệm hữu tỷ của đa thức nguyên và các đạo hàm

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC  - NGUYỄN THỊ MINH PHƯỢNG lu an va n NGHIỆM HỮU TỶ CỦA ĐA THỨC NGUYÊN VÀ CÁC ĐẠO HÀM p ie gh tn to w Chuyên ngành: Phương pháp Toán sơ cấp d oa nl Mã số: 46 01 13 va an lu ll u nf LUẬN VĂN THẠC SĨ TOÁN HỌC oi m z at nh NGƯỜI HƯỚNG DẪN KHOA HỌC z TS ĐOÀN TRUNG CƯỜNG m co l gm @ an Lu THÁI NGUYÊN - 2019 n va ac th si Mục lục Mở đầu lu an toán hộp phương trình Diophantine Bài tốn hộp Liên hệ với nghiệm phương trình Diophantine Một số ví dụ tập 3 16 Đa 2.1 2.2 2.3 2.4 2.5 thức dẫn xuất hữu tỷ Đa thức dẫn xuất hữu tỷ Đường bậc với nghiệm phân biệt Đường bậc bốn với bốn nghiệm phân biệt Đường bậc dẫn xuất hữu tỷ Bài tập đề xuất 20 20 26 29 32 37 n va Bài 1.1 1.2 1.3 p ie gh tn to d oa nl w lu 39 nf va an Kết luận Tài liệu tham khảo 40 z at nh oi lm ul z m co l gm @ an Lu n va i ac th si Mở đầu lu an n va p ie gh tn to Một câu hỏi nghiên cứu số học tìm đa thức nguyên cho đa thức đạo hàm có nghiệm hữu tỷ Các trường hợp riêng toán xuất nhiều tình khác toán học Một số phát biểu tốn sau: Cho bìa hình vng có cạnh A ∈ N, góc ta cắt bốn hình vng nhỏ Sau gấp bìa thành hình hộp với mặt hở Hỏi phải cắt hình vng để thể tích hình hộp nhận lớn nhất? Thực tế ta ta xét tốn chặt phải tìm thể tích lớn cho cạnh khối hộp số hữu tỷ Điều dẫn đến câu hỏi sau: lấy bìa hình chữ nhật với kích thước cạnh nguyên cho thể tích lớn nhất? Giả sử cạnh hình chữ nhật A ≥ B > Khi thể tích khối hộp oa nl w d B Câu hỏi dẫn đến nghiên cứu đa thức bậc ba có nhân tử phân biệt với hệ số nguyên cho đạo hàm có hai nghiệm phân biệt số hữu tỷ Mục tiêu luận văn khảo sát số trường hợp riêng tốn tìm đa thức nguyên cho đa thức đạo hàm có nghiệm hữu tỷ Cụ thể chúng tơi trình bày lại kết G Convertito D Cruz-Uribe [4] tốn tìm thể tích lớn khối hộp kết R.H Buchholz J.A MacDougall [2] phân loại số đa thức nguyên có bậc 3, dạng đặc biệt cho đa thức đạo hàm có nghiệm hữu tỷ Luận văn gồm hai chương Chương trình bày kết G Convertito D Cruz-Uribe [4] toán tìm thể tích lớn khối hộp Cụ thể tiết 1.1 giới thiệu toán hộp liên hệ đến nf va an lu V = x (2x − A) (2x − B) , < x < z at nh oi lm ul z m co l gm @ an Lu n va ac th si lu nghiệm phương trình Diophantine Tiết 1.2 trình bày số kết nghiệm phương trình Diophantine dùng để đưa câu trả lời cho toán hộp (Định lý 1.2.7) Chương trình bày kết R.H Buchholz-J.A MacDougall [2] phân loại số đa thức nguyên có dạng đặc biệt thỏa mãn đa thức đạo hàm có nghiệm hữu tỷ bậc đa thức 3, Những đa thức nguyên mà đa thức đạo hàm có nghiệm hữu tỷ gọi ngắn gọn đa thức dẫn xuất hữu tỷ Cụ thể tiết 2.1 trình bày khái niệm đa thức dẫn xuất hữu tỷ phân loại số đa thức dẫn xuất hữu tỷ Tiết 2.2 trình bày đa thức bậc có ba nghiệm phân biệt Tiết 2.3 trình bày đa thức bậc có bốn nghiệm phân biệt Tiết 2.4 trình bày đa thức bậc đa thức dẫn xuất hữu tỷ an n va p ie gh tn to 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 Chương Bài toán hộp phương trình Diophantine lu an Mục đích chương trình bày Bài tốn hộp mối liên n va hệ với nghiệm phương trình Diophantine Từ đưa câu trả gh tn to lời cho Bài toán hộp 1.1 Bài toán hộp p ie Bài toán hộp ví dụ cổ điển tìm cực trị đồ thị hàm w oa nl số xuất nhiều sách giải tích Mục đích tiết d giới thiệu toán hộp mối liên hệ đến tốn cực trị an lu hàm số nf va Bài tốn Cho bìa hình vng cạnh A ∈ N, góc lm ul ta cắt bốn hình vng nhỏ Sau gấp bìa thành z at nh oi hình hộp với mặt hở Hỏi phải cắt hình vng để thể tích hình hộp nhận lớn nhất? Thực tế ta ta xét tốn chặt phải tìm thể tích lớn z cho cạnh khối hộp số hữu tỷ Vấn đề dẫn @ l gm đến toán sau Bài toán hộp Nếu thay bìa hình vng bìa hình co m chữ nhật có cạnh A, B ∈ N phải chọn A, B để thể an Lu tích khối hộp lớn với kích thước cạnh số hữu tỷ? n va ac th si Định nghĩa 1.1.1 Với cặp số nguyên dương A, B thỏa mãn Bài toán hộp ta gọi tỷ số A/B nghiệm hữu tỷ Bài tốn hộp Xét hình chữ nhật với kích thước A, B , A ≥ B > Khi đó, việc tìm cực đại thể tích khối hộp dẫn đến tốn tìm cực trị đa thức bậc B Vì tìm cực đại V tương đương việc tìm cực đại 2V , nên ta có V = x (2x − A) (2x − B) , < x < lu thể thay x 2x Do tốn tìm cực trị hàm số an (1.1) n va y = x (x − A) (x − B) gh tn to Bài toán hộp cần giả thiết A, B dương Tuy nhiên, ta xét A, B số nguyên Tổng quát ta xét hàm p ie w y = x (xm − A) (xm − B) = x2m+1 − (A + B) xm+1 + ABx, A, B ∈ Z oa nl (1.2) d Các đa thức có dạng (1.2) gọi ngắn gọn đa thức 3-nhân tử lu an Về mặt hình học, đồ thị đa thức (1.2) tùy thuộc vào tính chẵn nf va lẻ m dấu A, B Chẳng hạn m = 2, A, B > đồ lm ul thị cắt trục hoành điểm phân biệt; B < < A đồ thị cắt trục hồnh điểm có điểm uốn liên tiếp z at nh oi Để thuận tiện cho việc trình bày ta cần khái niệm sau Định nghĩa 1.1.2 Một nghiệm phương trình gọi z gm @ nghiệm kiểu m−hữu tỷ bậc m số ngun l Vì tốn tìm cực trị đa thức nên ta cần tìm giá trị an Lu có nghiệm kiểu m−hữu tỷ m co A, B để đạo hàm bậc bậc đa thức dạng (1.2) n va ac th si Xét đa thức y = x (xm − A) (xm − B) = x2m+1 − (A + B) xm+1 + ABx, A, B ∈ Z Khi đó, ta có dy = (2m + 1)x2m − (A + B)(m + 1)xm + AB, dx d2 y = 2m(2m + 1)x2m−1 − m(A + B)xm−1 dx = xm−1 (2m(2m + 1)xm − m(A + B)) d2 y = có nghiệm x = bậc m số hữu tỷ d2 x Hơn nữa, đạo hàm bậc một đa thức bậc hai theo xm nên nghiệm lu Do an va n bậc m số hữu tỷ phương trình bậc hai tn to có nghiệm hữu tỷ p ie gh Giả sử phương trình (A + B)(m + 1) 2(2m + 1) p (m + 1)2 A2 + (2m2 − 4m − 2)AB + (m + 1)2 B ± 2(2m + 1) (1.3) d oa nl w xm = dy = có nghiệm Khi đó, ta có dx lu nf va an Do xm hữu tỷ biểu thức q (m + 1)2 A2 + (2m2 − 4m − 2)AB + (m + 1)2 B lm ul 2A 1) B z at nh oi số hữu tỷ Chia biểu thức cho B biểu thức dấu A + (m + 1)2 (1.4) B Biểu thức (1.4) bình phương số hữu tỷ tồn (m + + (2m2 − 4m − 2) z gm @ an Lu gcd(f, g) ước chung lớn f g (1.5) m A f2 + (2m − 4m − 2) + (m + 1) − = B g co (m + 2A 1) B l số nguyên dương f, g ∈ N∗ cho gcd(f, g) = và1 n va ac th si Áp dụng cơng thức nghiệm cho phương trình bậc hai ta thu A + 2m − m2 = B (m + 1)2 q (m2 − 2m − 1)2 − (m + 1)2 [(m + 1)2 − ± (m + 1)2 f2 g2 ] (1.6) Vế phải (1.6) số hữu tỷ tồn p, q ∈ N nguyên tố thỏa mãn p2 (m + 1) − 4m (2m + 1) = , g q 2f 2 lu an n va tn to hay p2 g + 4(2m + 1)m2 g q = q f (m + 1)2 Điều có nghĩa dy nghiệm phương trình = m−hữu tỷ ta có nghiệm dx phương trình Diophantine (1.7) p ie gh a2 + (2m + 1)b2 = c2 ; a, b, c ∈ N Vì việc tìm cực trị tốn dẫn đến tìm nghiệm nl w phương trình Diophantine (1.7) Vấn đề trình bày d oa mục lu Liên hệ với nghiệm phương trình Diophantine nf va an 1.2 lm ul Xét phương trình Diophantine tổng quát a2 + kb2 = c2 , k, a, b, c ∈ N z at nh oi (1.8) Phương trình nghiên cứu từ lâu có lịch sử phong z phú Ở Nhật Bản, phương trình Matunaga nghiên cứu vào @ gm nửa đầu kỷ 18 Một dạng tổng quát phương trình l nghiên cứu sớm chút Châu Âu, tầm đầu kỷ 18, nhiều m co nhà toán học bao gồm Lagrange, Euler, Minding Dirichlet an Lu Trong phần ta tìm tất nghiệm nguyên (a, b, c) phương trình (1.8) thỏa mãn a, b, c nguyên tố Để tiện cho n va ac th si việc trình bày nghiệm (a, b, c) phương trình (1.8) thỏa mãn a, b, c nguyên tố gọi ngắn gọn ba nguyên thủy Khi ta có kết quan trọng sau Định lý 1.2.1 Cho k ∈ N u, v số nguyên dương thỏa mãn v gcd (u, v) = 1, u ≥ √ Gọi r ước chung lớn ku2 − v k 2uv Khi a= 2uv ku2 + v ku2 − v , b= , c= r r r tất ba nguyên thủy phương trình (1.8) lu an Chứng minh Giả sử (a, b, c) ba nguyên thủy phương trình va n (1.8) Khi to ie gh tn a2 + kb2 = c2 , p nghĩa oa nl w c2 − a2 = kb2 d Khẳng định tương đương với (1.9) nf va an lu (c − a)(c + a) = kb2 lm ul Vì a 6= c k, b 6= nên từ phương trình (1.9) ta có z at nh oi c+a b = kb c−a Gọi u, v ∈ N, gcd(u, v) = cho: z u c+a b = = v kb c−a gm @ (1.10) m co l Từ phương trình (1.10) tính tốn đơn giản ta có    ku = c + a = c + a v b b b v c−a c a   = = − u b b b an Lu n va ac th si Do đó, c ku2 + v a ku2 − v = ; = b 2uv b 2uv v Khẳng định kéo theo u ≥ √ Bây ta đặt r ước chung lớn k ku2 − v 2uv Dễ dàng suy r = gcd(2uv; ku2 + v ) Do ta thu ku2 − v 2uv ku2 + v a= , b= , c= r r r (1.11) lu v Ngược lại, với u, v ∈ N thỏa mãn gcd(u, v) = u ≥ √ , ta định k nghĩa r công thức (1.11) Khi dễ dàng chứng minh (a, b, c) an va n ba nguyên thủy phương trình (1.8) Do biểu thức (1.11) gh tn to biểu diễn tồn số nghiệm ngun thủy phương trình (1.8) p ie Trong kết Định lý 1.2.1 ta thấy r lấy giới w hạn giá trị Khi k ≡ 1, 2, (mod 4) thu định lý sau oa nl Để tiện cho việc trình bày ta kí hiệu (a1 , a2 , , an ) ước chung lớn d a1 , a2 , , an với số nguyên dương a1 , a2 , , an n ≥ lu nf va an Định lý 1.2.2 Cho k ≡ 1, 2, (mod 4) số tự nhiên u, v Định lý 1.2.1 Khi r = (v, k) r = 2(v, k) Hơn nữa, lm ul giá trị r phụ thuộc vào tính chẵn lẻ u, v cho bảng sau k≡2 k≡3 (v, k) 2(v, k) (v, k) (v, k) (v, k) (v, k) z at nh oi k≡1 u, v lẻ 2(v, k) u lẻ, v chẵn (v, k) u chẵn, v lẻ (v, k) z @ l gm Chứng minh Trước tiên, ta cần chứng minh r có giá trị (v, k) 2(v, k) Ta định nghĩa k0 , v0 đẳng thức k = k0 (v, k) co m v = v0 (v, k) Dễ dàng chứng minh (v0 , k0 ) = Do an Lu r = (k0 (v, k)u2 − v02 (v, k)2 , 2uv0 (v, k), k0 (v, k)u2 + v02 (v, k)2 ) (1.12) n va ac th si u Do ta có điều cần chứng minh nl w d oa Tiếp theo kết khẳng định cho Bài toán hình hộp Lưu ý an lu k = 2m + nên ta cần xét trường hợp k ≡ 1, (mod4) Trước tiên kết sau nf va z at nh oi lm ul Định lý 1.2.5 Cho m ∈ N giả sử u, v số nguyên dương thỏa v mãn (u, v) = u ≥ √ Khi phương trình 2m + 1 + 2m − m2 A = B (m + 1)2 s  2 2m (2m + 1) u2 + v ± − (2m + 1) 2uv (m + 1)2 z (1.14) l gm @ A cho nghiệm đạo hàm cấp 1, cấp B m co cho ta tất tỉ số y = x (xm − A) (xm − B) an Lu đa thức n va ac th si 14 m−hữu tỷ Chứng minh Từ phương trình (1.7) ta đặt b = 2gmq c = (m + 1)f q f Nếu ta tìm tỉ số kết hợp với công thức Định lý 1.2.1 ta g có f c 2m (2m + 1)u2 + v 2m = = g bm + 2uv m+1 Do từ phương trình 1.14, ta có s lu an A = B + 2m − m2 ±   2  (m2 − 2m − 1) − (m − 1) (m + 1) − fg 2 n va (m + 1)2 tn to Theo Định lí 1.2.1, phương trình a2 + (2m + 1) b2 = c2 có nghiệm p ie gh 2uv ku2 + v ku2 − v ,b = λ ,c = λ a=λ r r r d oa nl w (u, v) = u ≥ √ v c ku2 + v Khi = b 2uv 2m + Do ta có nf va an lu f ku2 + v (2m + 1) u2 + v = = g 2uv 2uv lm ul  (2m + 1) u2 + v 2uv 2 − (2m + 1) z at nh oi 2m A + 2m − m ± = B (m + 1)2 (m + 1)2 s z l gm minh kết chương @ Định lý 1.2.5 cho ta hệ quan trọng dùng cho chứng (u, v) = m co Hệ 1.2.6 Giả sử A, B dấu Khi ta cần chọn u ≥ v an Lu n va ac th si 15 Chứng minh Vì A, B dấu, khơng tính tổng qt ta giả sử A ≥ Đặt B  2 (2m + 1) u2 + v − (2m + 1) = R 2uv Theo bất đẳng thức Cauchy, vế trái ln lớn Vì A ≥ B nên √ + 2m − m ± 2m R ≥ (m + 1)2 √ Khẳng định suy ± R ≥ m Vì m số nguyên dương nên √ R ≥ m, nghĩa R ≥ m2 Do ta có  2 (2m + 1) u2 + v − (2m + 1) ≥ m2 2uv lu an n va p ie gh tn to Bất phương trình tương đương với  2 (2m + 1) u2 + v ≥ m2 + 2m + 2uv d oa nl w Bất phương trình tương đương với  2 (2m + 1) u2 + v ≥ (m + 1)2 2uv nf va an lu Suy Do z at nh oi lm ul (2m + 1) u2 + v ≥ m + 2uv (2m + 1) u2 + v ≥ (m + 1) uv z √ v Vì u ≥ √ nên cố định a thỏa mãn ≤ a ≤ 2m + 2m + v cho u = ta viết biểu thức thành a gm @ an Lu 2m + + a2 ≥ (m + 1) a m Bất đẳng thức cho ta co l (2m + 1) u2 + u2 a2 ≥ (m + 1) au2 n va ac th si 16 Suy a2 − (m + 1) a + (2m + 1) ≥ Bất đẳng thức a không nằm nghiệm a1 = 1; a2 = √ 2m + phương trình bậc hai Vì a ≤ 2m + nên ta suy v a = ≤ Do u ≥ v u Định lý sau kết chương Định lý câu trả lời khẳng định cho nghiệm Bài tốn hình hộp Định lý 1.2.7 Cho u, v số nguyên dương với u ≥ v (u, v) = lu Khi phương trình an n va 3u2 − v A = + , B 4uv tn to ie gh cho ta tất tỷ số A nghiệm Bài tốn hình hộp, A ≥ B B p Chứng minh Vì A ≥ B > theo Hệ 1.2.6 ta cần chọn u ≥ v oa nl w loại trừ trường hợp  d A + 2m − m 2m = − B (m + 1)2 (m + 1)2 s 2 − (2m + 1) nf va an lu (2m + 1) u2 + v 2uv (1.14), số âm Do đó, ta lấy m = ta có tất lm ul nghiệm (1.1) xác định z at nh oi A 3u2 − v = + B 4uv Sự thay đổi biến (1.2) không làm thay đổi tỷ số z toán gốc Một số ví dụ tập an Lu Giữ nguyên ký hiệu Định lý 1.2.7 m 1.3 co l gm @ nghiệm Vì phương trình biểu diễn tất nghiệm n va ac th si 17 Ví dụ 1.3.1 Trong Định lý 1.2.7 chọn u = v = ta có A = B Khi Bài tốn hình hộp Bài tốn 1, thể tích khối hộp V = x(A − 2x)2 với < x < A/2 Xét hàm số y = x(2x − A)2 với < x < A/2 Khi đạo hàm cấp hàm số y = (2x − A)(6x − A.) Do y = x = A/2 x = A/6 Từ bảng biến thiên hàm số ta dễ dàng suy giá trị cực đại hàm số 2A3 /27 đạt x = A/6 Do thể tích lớn mà khối hộp đạt 2A3 /27 lu chiều cao khối hộp A/6 độ dài hai cạnh đáy 2A/3 Tức an n va khối hộp có kích thước hữu tỷ tn to Ví dụ 1.3.2 Trong Định lý 1.2.7 chọn u = v = ta có p ie gh 3u2 − v A = + = B 4uv w Khi A = 8a, B = 3a với a số nguyên dương Thể tích d số oa nl khối hộp V = x(8a − 2x)(3a − 2x) với < x < 3a/2 Xét hàm lu nf va an y = x(2x − 8a)(2x − 3a) với < x < 3a/2 Khi đạo hàm cấp hàm số y = 12x2 − 44ax + 24a2 lm ul Do y = x = 2a/3 x = 3a Từ bảng biến thiên z at nh oi hàm số ta dễ dàng suy giá trị cực đại hàm số 200a3 /27 (đơn vị thể tích), đạt x = 2a/3 Do thể tích lớn mà khối hộp đạt 200a3 /27 chiều cao khối hộp 2a/3 z kích thước hữu tỷ l gm @ độ dài hai cạnh đáy 20a/3 5a/3 Rõ ràng khối hộp có m co Dưới phản ví dụ cho Định lý 1.2.7 Ví dụ A A, B không thỏa mãn Định lý 1.2.7 khơng nghiệm Bài tốn B hình hộp an Lu n va ac th si 18 Ví dụ 1.3.3 Trước tiên chọn A = 4, B = Khi thể tích khối hộp V = x(4 − 2x)(3 − 2x) với < x < 3/2 Xét hàm số y = x(2x − 4)(2x − 3) = 4x3 − 14x2 + 12x với < x < 3/2 Khi đạo hàm cấp hàm số y = 12x2 − 28x + 12 Do √ √ / Q y = tương đương với 3x2 − 7x + = Ta có ∆ = 13 ∈ nên phương trình khơng có nghiệm hữu tỷ Vì V đạt giá trị cực đại x số vơ tỉ, tức kích thước hình hộp khơng hữu tỷ Do A = 4, B = không nghiệm Bài tốn hình hộp lu Mặt khác ta khơng có giá trị ngun dương u ≥ v an n va thỏa mãn (u, v) = cho gh tn to 3u2 − v A = = + B 4uv p ie Thật vậy, giả sử ngược lại tồn số nguyên dương u ≥ v cho oa nl w 3u2 − v = + 4uv d Đẳng thức tương đương với 9u2 − 10uv − 3v = Chia hai vế nf va an lu phương trình cho v ta phương trình 9(u/v)2 − 10(u/v) − = lm ul z at nh oi Đặt u/v = t tính chất u, v ta có t số hữu tỷ không nhỏ √ √ thỏa mãn 9t2 − 10t − = Vì ∆0 = 52 ∈ / Q nên phương trình 9t2 − 10t − = khơng có nghiệm hữu tỷ Do A = 4, B = z không thỏa mãn Định lý 1.2.7 l gm @ Dưới số tập đề nghị co Bài tập Cho đa thức f (x) = a0 + a1 x + + an xn với a0 , , an ∈ Z m deg(f (x)) > Giả sử r/s nghiệm hữu tỷ phương trình an Lu f (x) = với (r, s) = Chứng minh r ước a0 s n va ac th si 19 ước an Lời giải Vì r/s nghiệm phương trình f (x) = nên ta có a0 + a1 (r/s) + + an (r/s)n = Quy đồng phân số ta r(a1 sn−1 + + an rn−1 ) = −a0 sn Do r ước a0 sn Vì (r, s) = nên (r, sn ) = Suy r ước a0 Hoàn toàn tương tự ta suy s ước an lu Bài tập Áp dụng Bài tập tìm nghiệm hữu tỷ đa thức sau an va (i)f (x) = 2x4 + 3x3 + 4x2 + 5x + n (ii)g(x) = 2x5 + 3x3 + 4x2 + 5x + gh tn to Hướng dẫn Theo Bài tập nghiệm hữu tỷ có phương trình f (x) = ±1/2, ±1 ±2 Thay giá trị vào ta dễ dàng ie p tìm nghiệm hữu tỷ −1 Tương tự cho g(x) nl w Bài tập Chứng minh hàm số f (x) = x(2x − 5)(2x − 3) khơng oa có cực trị hữu tỷ d Hướng dẫn Tính đạo hàm cấp giải phương trình f (x) = an lu Bài tập Chứng minh khơng có giá trị ngun dương u, v nf va thỏa mãn z at nh oi lm ul 3u2 − v = + 4uv Hướng dẫn Đưa phương trình bậc hai ẩn u/v Ví dụ 1.3.3 phương trình khơng có nghiệm hữu tỷ z Bài tập Chứng minh hàm số f (x) = x(2x − A)(2x − 2A) không gm @ có cực trị hữu tỷ với A ∈ Z l Hướng dẫn Ta có f (x) = 12x2 − 12Ax + 2A2 Vì ∆0 = 12A2 không an Lu tỷ với A ∈ Z m co bình phương số hữu tỷ Do hàm số khơng có cực trị hữu n va ac th si Chương Đa thức dẫn xuất hữu tỷ Bài toán hộp mở rộng có liên hệ chặt chẽ với tốn lu an nghiệm hữu tỷ đa thức đạo hàm Mục n va đích Chương trình bày kết phân loại đa thức tn to nguyên cho đa thức đạo hàm có nghiệm hữu tỷ gh bậc đa thức có bậc 3, Các đa thức p ie gọi đa thức dẫn xuất hữu tỷ Đa thức dẫn xuất hữu tỷ oa nl w 2.1 d Định nghĩa 2.1.1 Ta gọi D (n, l, k) tập tất đa thức f (x) bậc lu an n với hệ số miền nguyên1 k cho tất nghiệm nf va đạo hàm f (x) , f (x) , , f (l) (x) thuộc k, với l ∈ N∗ lm ul Ví dụ 2.1.2 Xét đa thức z at nh oi y = x3 − 33x2 + 216x với hệ số Z Khi đạo hàm cấp cấp đa thức z y = x3 − 33x2 + 216x = x (x − 9) (x − 24) y = 3x2 − 66x + 216 = (x − 4) (x − 18) y 00 = (x − 11) l gm @ an Lu y = x3 − 33x2 + 216x ∈ D (3, 2, Z) m co Rõ ràng tất nghiệm y, y , y 00 số nguyên Do Nhắc lại, miền nguyên vành giao hốn có đơn vị khơng có ước n va 20 ac th si 21 Định nghĩa 2.1.3 Một đa thức D (n, l, k) gọi đa thức (n, l, k) dẫn xuất hay đơn giản đa thức k -dẫn xuất Nếu k = Q đa thức thuộc D (n, l, Q) gọi ngắn gọn đa thức dẫn xuất hữu tỷ Chú ý 2.1.4 Cho trước đa thức p dẫn xuất, ta có phép tốn sau tác động lên đa thức p (i) Đầu tiên phép phản chiếu theo đường x = t y = t với t ∈ k, kí hiệu Rtx Rty , lu Rtx : x 7→ 2t − x, Rty : y 7→ 2t − y an n va (ii) Phép nhân vô hướng với t ∈ k ∗ = k\ {0} theo trục x hay trục y , tn to kí hiệu Stx Sty , ie gh Stx : x 7→ tx, Sty : y 7→ ty p (iii) Phép tịnh tiến song song với trục x trục y t ∈ k, kí hiệu oa nl w Ttx Tty , d Ttx : x 7→ x + t, Tty : y 7→ y + t lu nf va an Chú ý Rtx = T2tx ◦ R0x , Rty = T2ty ◦ R0y Ta ln có R0x , R0y bảo tồn tính chất k -dẫn xuất đa thức Phép tính tiến theo trục y , lm ul Sty bảo tồn tính k -dẫn xuất đa thức Nếu k trường z at nh oi Stx (p (x)) k - dẫn xuất p (x) k -dẫn xuất với t ∈ k ∗ Tuy nhiên, k miền nguyên phép biến đổi Stx với t ước ước chung lớn tất nghiệm p (x) z @ đạo hàm nó, bảo tồn tính k - dẫn xuất đa thức p(x) Hơn gm nữa, phép tịnh tiến trục x, Ttx bảo tồn tính k -dẫn xuất, m co l phép tịnh tiến trục y , Tty có bảo tồn, không Đặt [  [ y X = Stx |t ∈ k ∗ , p ∈ D → Stx (p) ∈ D {St |t ∈ k ∗ } {Ttx |t ∈ k } [ {R0x , R0y } an Lu n va ac th si 22 X∗ = X S Tty t ∈ k, p ∈ D → Tty (p) ∈ D Trong phần ta xét tập đa thức phân biệt modulo hợp thành tùy ý phép biến đổi X X ∗ Kí hiệu tương ứng tập D (n, l, k) D∗ (n, l, k) Cụ thể hơn, gọi G = hXi nhóm biến đổi sinh tập X Hai đa thức p q gọi modulo G tồn g ∈ G cho g(p) = q Quan hệ modulo G quan hệ tương đương, tập D(n, l, k) tập lớp tương đương theo quan hệ tương đương Để lu an đơn giản, ta đồng lớp tương đương tập D(n, l, k) n va với đa thức đại diện lớp Ta có mơ tả tương tự cho tập Ta có nhận xét sau ie gh tn to D∗ (n, l, k) p Tất đa thức Z [x] Q-dẫn xuất oa nl w Đa thức xn k -dẫn xuất, cho trường số k d Cho đa thức y tùy ý, tồn trường k cho y ∈ nf va an lu D (n, l, k) D (n, l, k) = D (n, n − 1, k) với l ≥ n − lm ul D (n, n − 2, k) = D (n, n − 1, k) k trường z at nh oi Số phần tử D (n, l, Z) lớn 2, với n > l ≥ z D (n, l, k) ⊆ D (n, l, K) với k ⊆ K gm @ D (n, l, Ok ) = D (n, l, k) cho trường số k l m co Để thuận tiện cho việc trình bày, ta kí hiệu D (n, k) , D (n, k) an Lu D∗ (n, k) l ≥ n − cho miền nguyên l ≥ n − cho n va ac th si 23 trường Nếu k = Q, kí hiệu đơn giản D (n) , D (n) D∗ (n) cho trường hợp tương ứng Trong phần ta xét k = Z k = Q Người ta chứng minh kết sau Định lý 2.1.5 Các phát biểu sau  (i) D (1) = {x} , D (2) = x2 , x (x − 1) S ω(ω − 2) (ii) D (3) = {x3 } {x(x−1)(x−a)}, a = , ω ∈ Q ω2 −  S {x (x − 1)(x − a)}, (iii) D (4) ⊇ x lu an a= (2ω + z − 12) (ω + 2) , (ω, z) ∈ E(Q), (z − ω − 18) (8ω + z) n va gh tn to với E đường eliptic z = ω (ω − 6) (ω + 18)  (iv) D (n) ⊇ xn , xn−1 (x − 1) với n ≥ p ie Để thuận tiện cho việc trình bày ta phân lớp đa thức w sau Đa thức p(x) có kiểu p(m1 ,m2 , ,mr ) p có r nghiệm phân biệt, oa nl mi bội nghiệm thứ i Rõ ràng, ta có m1 +m2 + +mr bậc p d Ví dụ đa thức có kiểu p(1,1,1,1) có biểu diễn x (x − 1) (x − a) (x − b) nf va đề sau an lu Khi ta có phân lớp đa thức bậc có bốn nhân tử cho mệnh lm ul Mệnh đề 2.1.6 Các phát biểu sau z at nh oi (i) Các đa thức có kiểu p(2,1,1) đa thức dẫn xuất hữu tỷ (ii) Các đa thức có kiểu p(2,2) không đa thức dẫn xuất hữu tỷ (iii) Các đa thức có kiểu p(3,1) đa thức dẫn xuất hữu tỷ z gm @ (iv) Các đa thức có kiểu p(4) đa thức dẫn xuất hữu tỷ l Chứng minh Các đa thức p(4) , p(3,1) p(2,1,1) có biểu diễn m co x4 , x3 (x − 1) x2 (x − 1)(x − a) Khi cách tính đạo hàm, an Lu ta suy x4 , x3 (x − 1) x2 (x − 1)(x − a) đa thức dẫn xuất hữu tỷ Các đa thức có kiểu p(2,2) có biểu diễn y = x2 (x − 1)2 Khi n va ac th si 24 đạo hàm bậc hai đa thức y” = 12x2 − 12x + khơng có nghiệm hữu tỷ Do đa thức p(2,2) khơng dẫn xuất hữu tỷ Đối với đa thức có kiểu p(1,1,1,1) tác giả R.H Buchholz-J MacDougall đặt giả thuyết rằng: khơng có đa thức có kiểu p(1,1,1,1) dẫn xuất hữu tỷ Tương tự ta có định lý sau Định lý 2.1.7 Khơng có đa thức có kiểu p(2,2,1) dẫn xuất hữu tỷ Chứng minh Xét đa thức thuộc dạng p(2,2,1) , có dạng y = x2 (x − 1)2 (x − a), với a hữu tỷ Khi đạo hàm đa thức lu an y = x2 (x − 1)2 (x − a) , va n y = x(x − 1)(5x2 − (4a + 3)x + 2a), to tn y 00 = 20x3 − 12(a + 2)x2 + 6(2a + 1)x − 2a, p ie gh y 000 = 6(10x2 − 4(a + 2)x + (2a + 1)) Nếu đạo hàm thứ có nghiệm hữu tỷ đa thức oa nl w 5x2 − (4a + 3)x + 2a 10x2 − 4(a + 2)x + (2a + 1) có nghiệm hữu tỷ Suy tích biệt thức hai đa thức bậc hai bình phương d an lu số hữu tỷ, nghĩa nf va 4a2 − 4a +

16a2 − 16a + = b2 , lm ul với b số hữu tỷ Theo [2, Proof of Theorem 1], phương a = 1/2 ta thấy đa thức z at nh oi trình có nghiệm hữu tỷ a = 1/2, b = ±5 Thử trước tiếp với z y = x(x − 1)(5x2 − 5x + 1) gm @ khơng có tất nghiệm hữu tỷ Định lý chứng minh l an Lu sau m co Đối với đa thức có kiểu p(1,1,1,1) p(3,1,1) ta có giả thuyết n va ac th si 25 Giả thuyết : Khơng có đa thức kiểu p(1,1,1,1) dẫn xuất hữu tỷ Giả thuyết : Khơng có đa thức kiểu p(3,1,1) dẫn xuất hữu tỷ Tương tự đa thức bậc 4, ta có bảng phân loại cho đa thức bậc sau Mệnh đề 2.1.8 Tính chất dẫn xuất hữu tỷ đa thức bậc có năm nhân tử cho bảng sau Kiểu lu an n va gh tn to Biểu diễn x (x − 1) (x − a) (x − b) (x − c) x2 (x − 1) (x − a) (x − b) x2 (x − 1)2 (x − a) x3 (x − 1) (x − a) x3 (x − 1)2 x4 (x − 1) x5 p(1,1,1,1,1) p(2,1,1,1) p(2,2,1) p(3,1,1) p(3,2) p(4,1) p(5) Q-dẫn xuất Không - Giả thuyết Không - Giả thuyết Không - Định lý 2.1.7 Không - √ Giả thuyết Không - ∈ /Q Có Có p ie Chứng minh Bằng cách tính đạo hàm đa thức kiểu p(5) w p(4,1) ta suy đa thức dẫn xuất hữu tỷ Đa thức kiểu p(3,2) oa nl có đạo hàm cấp ba y (3) = 60x2 − 48x + Do y (3) = tương đương d với 10x2 − 8x + = Vì biệt thức ∆ = nên nghiệm phương trình lu an khơng số hữu tỷ Do đa thức p(3,2) khơng dẫn xuất hữu tỷ nf va Các đường bậc cịn lại kiểu p(1,1,1,1,1) p(2,1,1,1) có đạo hàm Giả thuyết z at nh oi lm ul bậc thuộc kiểu p(1,1,1,1) Vì khơng thể dẫn xuất hữu tỷ theo Chú ý 2.1.9 Thực tế, kết liên quan đến giả thuyết chưa nhiều Theo Chris K Caldwell (1990), đa thức bậc có dạng z l khơng thể dẫn xuất hữu tỷ gm @ x(x − 1)(x − a)(x − a − 1) m co Đối với giả thuyết 2, có nhiều kết Đầu tiên, tồn cho số đường bậc an Lu hữu hạn đường bậc thỏa mãn ta đưa chặn n va ac th si