Phương pháp chứng minh Trần Vĩnh Đức HUST Ngày 6 tháng 9 năm 2018 1 / 37CuuDuongThanCong com https //fb com/tailieudientucntt http //cuuduongthancong com?src=pdf https //fb com/tailieudientucntt Bài t[.]
CuuDuongThanCong.com Phương pháp chứng minh Trần Vĩnh Đức HUST Ngày tháng năm 2018 https://fb.com/tailieudientucntt / 37 Bài tập ▶ GS Mc Brain vợ bà April tới bữa tiệc có đơi vợ chồng khác ▶ Có vài cặp bắt tay khơng bắt tay với vợ chồng ▶ GS hỏi người khác xem họ bắt tay người ông nhận số khác ▶ Hỏi có người bắt tay April? CuuDuongThanCong.com https://fb.com/tailieudientucntt / 37 Tài liệu tham khảo ▶ Eric Lehman, F Thomson Leighton & Albert R Meyer, Mathematics for Computer Science, 2013 (Miễn phí) ▶ K Rosen, Toán học rời rạc ứng dụng tin học (Bản dịch Tiếng Việt) CuuDuongThanCong.com https://fb.com/tailieudientucntt / 37 Định nghĩa Chứng minh toán học mệnh đề dãy suy luận logic dẫn đến mệnh đề từ tập tiên đề CuuDuongThanCong.com https://fb.com/tailieudientucntt / 37 Nội dung Mệnh đề, tiên đề, suy luận logic Phương pháp chứng minh Nguyên lý thứ tự tốt CuuDuongThanCong.com https://fb.com/tailieudientucntt Định nghĩa Mệnh đề khẳng định hoặc sai ▶ Mệnh đề 2+3=5 ▶ Mệnh đề 1+1=3 CuuDuongThanCong.com https://fb.com/tailieudientucntt / 37 Khẳng định mệnh đề ▶ “Đưa bánh!” ▶ “Bây giờ” CuuDuongThanCong.com https://fb.com/tailieudientucntt / 37 Mệnh đề Với số nguyên dương n, giá trị p(n) ::= n2 + n + 41 số nguyên tố ▶ p(0) = 41 ▶ p(1) = 43 ▶ p(2) = 47 ✓ ✓ ✓ p(3) = 53 ▶ ··· ▶ p(39) = 1601 CuuDuongThanCong.com ✓ ▶ p(40) = 402 + 40 + 41 = 41 × 41 https://fb.com/tailieudientucntt ✓ / 37 Mệnh đề (Giả thuyết Euler, 1769) Phương trình a4 + b4 + c4 = d4 khơng có nghiệm a, b, c, d số nguyên dương Năm 1988, Noam Eikies chứng minh sai với phản ví dụ CuuDuongThanCong.com a = 95800, b = 217519, c = 414560, d = 422481 https://fb.com/tailieudientucntt / 37 Mệnh đề Phương trình 313(x3 + y3 ) = z3 khơng có nghiệm ngun dương Mệnh đề sai phản ví dụ nhỏ có nhiều 1000 chữ số CuuDuongThanCong.com https://fb.com/tailieudientucntt 10 / 37 ... 2013 (Miễn phí) ▶ K Rosen, Toán học rời rạc ứng dụng tin học (Bản dịch Tiếng Việt) CuuDuongThanCong.com https://fb.com/tailieudientucntt / 37 Định nghĩa Chứng minh toán học mệnh đề dãy suy luận... CuuDuongThanCong.com https://fb.com/tailieudientucntt / 37 Nội dung Mệnh đề, tiên đề, suy luận logic Phương pháp chứng minh Nguyên lý thứ tự tốt CuuDuongThanCong.com https://fb.com/tailieudientucntt Định nghĩa... https://fb.com/tailieudientucntt ✓ / 37 Mệnh đề (Giả thuyết Euler, 1769) Phương trình a4 + b4 + c4 = d4 khơng có nghiệm a, b, c, d số nguyên dương Năm 1988, Noam Eikies chứng minh sai với phản ví dụ CuuDuongThanCong.com