Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
Ấn vào cái nút khác sau đó ấn lại tin nhắn chưa đọc là được mà.
Trong toán học, định lý Pytago (còn gọi là Pythagorean theorem theo tiếng Anh) là một liên hệ căn bản trong hình học Euclid giữa ba cạnh của một tam giác vuông. Định lý phát biểu rằng bình phương cạnh huyền (cạnh đối diện với góc vuông) bằng tổng bình phương của hai cạnh còn lại. Định lý có thể viết thành một phương trình liên hệ độ dài của các cạnh là a, b và c, thường gọi là "công thức Pytago":[1]
{\displaystyle a^{2}+b^{2}=c^{2},}
với c là độ dài cạnh huyền và a và b là độ dài hai cạnh góc vuông hay còn gọi là cạnh kề.
Mặc dù những hiểu biết về mối liên hệ này đã được biết trước thời của ông,[2][3] định lý được đặt tên theo nhà toán học Hy Lạp cổ đại Pythagoras (k. 570–495 BC) khi - với những tư liệu lịch sử đã ghi lại - ông được coi là người đầu tiên chứng minh được định lý này.[4][5][6] Có một số chứng cứ cho thấy các nhà toán học Babylon đã hiểu về công thức này, mặc dù có ít tư liệu cho thấy họ đã sử dụng nó trong khuôn khổ của toán học.[7][8] Các nhà toán học khu vực Lưỡng Hà, Ấn Độ và Trung Quốc cũng đều tự khám phá ra định lý này và trong một số nơi, họ đã đưa ra chứng minh cho một vài trường hợp đặc biệt.
x4 - x3 + 3x2 - 2x + 2
= x4 - x3 + x2 + 2x2 - 2x + 2
= x2(x2 - x + 1) + 2(x2 - x + 1)
= (x2 + 2)(x2 - x + 1)
= (x2 + 2)(x2 - x + 1/4 + 3/4)
= (x2 + 2)[(x - 1/2)2 + 3/4]
x2 + 2 lớn hơn hoặc bằng 2
(x - 1/2)2 + 3/4 lớn hoăn hoặc bằng 3/4
(x2 + 2)[(x - 1/2)2 + 3/4] lớn hơn hoặc bằng 3/2 > 0 (đpcm)
Còn về Pythagoras Triples, có những bộ số nguyên dương được gọi là bộ ba Pythagoras sẽ luôn đúng khi áp dụng vào công thức của Pythagoras như : 3^2 4^2 = 5^2; 8^2 15^2 = 17^2. Chúng được gọi là Bộ Ba Số Nguyên Dương Pythagoras.
Và bạn hãy tưởng tượng rằng mọi số nguyên dương trong bảng chữ số sẽ được tô màu hoặc đỏ hoặc xanh. Graham đã đưa ra bài toán rằng: liệu có khả thi không khi thực hiện việc tô màu mọi số nguyên hoặc xanh hoặc đỏ, để cho không có Bộ Ba Pythagoras nào có cùng màu. Và 100 USD sẽ được thưởng cho bất cứ người nào giải được bài toán ấy (Chà, với 100 USD thì ta có thể chi trả cho tận 1 cái ổ có dung lượng 1 terabyte).
Vấn đề toán học này khó ở chỗ: một số nguyên dương có thể nằm trong nhiều Bộ Ba Pythagoras khác nhau. Ví dụ như số 5, ta có dãy 3-4-5 là Bộ Ba Pythagoras, nhưng dãy 5-12-13 cũng vậy. Áp dụng điều kiện của Graham, nếu số 5 của dãy đầu tiên tô màu xanh, thì trong dãy thứ hai nó cũng phải là màu xanh, vì thế số 12 và 13 phải mang màu đỏ.
Càng tiến xa hơn với điều kiện mà Graham đề ra, các con số càng lớn và vấn đề bắt đầu nảy sinh. Nếu như số 12 phải mang màu đỏ trong dãy 5-12-13, những dãy số sau này chứa số 12 sẽ bắt buộc mang một màu nhất định.
Các nhà toán học Marijn Heule từ Đại học Texas, Victor Marek từ Đại học Kentucky, và Oliver Kullmann từ Đại học Swansea tại Anh đã cùng nhau giải quyết vấn đề này. Họ đã cài đặt một số phép thử và kĩ thuật tính toán vào trong siêu máy tính Stampede tại Đại học Texas, để cho nó có thể thu hẹp phạm vi “tô màu” xuống còn 102,300 tỷ tỷ khả năng (trăm nghìn tỷ tỷ, từng đó là có tổng cộng 25 số “0” đó các bạn).
Bộ siêu máy tính gồm 800 vi xử lý mạnh mẽ đã phải mất tới 2 ngày để “nhằn” hết đống phép thử kia, và nó chỉ có thể khả thi cho tới số 7.824. Bắt đầu từ 7.825 trở đi là không thể thỏa mãn điều kiện đặt ra của Graham.
Vậy là 3 nhà toán học (kèm một cái siêu máy tính) đã giải quyết được vấn đề toán học đã tồn tại cả thập kỉ này, và cụ Ronald Graham cũng đã giữ lời hứa của mình, thưởng “hậu hĩnh” món tiền 100 USD cho 3 anh.
“Bộ ba nguyên tử” của 3 nhà toán học này đã tạo ra một bản nén 68 gigabyte cho bất kì bạn trẻ nào có một bộ vi xử lý tốt cùng với 30.000 giờ rảnh rỗi để tải về, tái dựng và xác minh vấn đề. Nhưng nếu bạn có 30.000 giờ rảnh thật thì cũng còn một vấn đề khác nữa, con người không thể đọc được những dòng thuật toán đó.
Thực tế, bộ ba đã phải “nhờ” một chương trình máy tính khác để xác minh lại kết quả của họ, và cuối cùng thì 7.824 là con số chính xác. Ronald Graham cũng hài lòng với việc xác minh được con số này.
Nhưng nhiều người cho rằng, con người không đọc nổi kết quả nên nó không đủ thuyết phục. Dù không chứng minh được là nó sai, nhưng việc đó cũng không giải quyết vấn đề đến tận cùng. Tại sao bắt đầu từ số 7.825 trở đi thì việc “tô màu” là bất khả thi? Chúng ta không giải thích được, mà chỉ được dàn siêu máy tính kia cho biết vậy thôi.
Làm sau mà con người có thể hiểu được ý nghĩa của các con số với chúng ta cũng như với cả Vũ trụ nếu như mọi vấn đề toán học được giải quyết bằng máy như vậy. Sự thực là vấn đề này quá khó giải quyết, có lẽ cũng lại phải nhờ một bộ siêu máy tính nào đó vào cuộc thôi.
