[T] Phát minh toán học

LÝ THUYẾT SỐ

Hệ đếm (thiên kỷ III trước CN)

Như các bảng bằng đất sét tìm thấy ở Sure và Uruk (hiện nay là Warka, Irac) hoặc muộn hơn nhiều, ở Nippur (Babilon, 2200-13550) cho thấy, hệ đếm đã được ghi chép lại vào thiên kỷ III trước CN. Hệ đếm Babilon thông minh là một hệ đếm cơ số 60. Cách tính thời gian của chúng ta là bắt nguồn từ đó. Không tồn tại số không, những đơn vị vắng mặt (thiếu), đơn giản được biểu thị bằng một chỗ khuyết.
Còn hệ đếm cổ của người Maya là một hệ thống cơ số 20 theo 10 ngón tay và 10 ngón chân. Hệ thống của họ đã là một hệ đếm theo vị trí và có một số không ở đầu cùng vốn không phải là một toán tử.
Vào thế kỷ V trước CN, người Hy lạp đã sử dụng các chữ trong bảng chữ cái. Đối với các số hàng nghìn người ta lấy lại chín chữ cái đầu tiên kèm theo một dấu phẩy bên trái các chữ cái đó (a có giá trị là 1 và ,a có giá trị là 1000). Hệ đếm này, vốn không có số không, đã được sử dụng suốt một thiên kỷ. Người Hêbrơ và người Arap đã làm cho hệ thống đếm này phù hợp với bảng chữ cái của họ. lúc bấy giờ các tính toán được thực hiện với các bàn tính, dụng cụ gảy bằng tay gồm nhiều hàng. Ở đó các chữ số biểu thị bằng những viên sỏi (từ “tính toán” bắt nguồn từ calculus, có nghĩa là viên sỏi).

Hệ đếm hiện nay (thế kỷ V)

Chính vào thế kỷ V sau CN, ở Ấn Độ đã xuất hiện hệ đếm thập phân, sử dụng mười chữ số từ 0 đến 9 như chúng ta đã biết hiện nay. Năm 829, nhà bác học M.ibn Musa Khwarizm’i (780-850) đã xuất bản một cuốn sách đại số, ở đó ông đã chấp nhận hệ đếm thập phân. Tu sĩ xứ Auvergne là Gorbert đã bắt đầu tìm hiểu các chữ số “Arap” trong chuyến du ngoạn (980) tới Cordoue ở Tây Ban Nha và đã có thể bắt đầu truyền bá những ký hiệu đó khi đã trở thành Giáo hoàng Sylvestre II vào tháng 4 năm 999. Nhưng phải chờ tới L. Fibonacci, còn gọi là Léonard de Pise, mà nhờ có tác phẩm Liber Abaci của ông viết năm 1202, thì khoa học Arập mới được truyền bá ở châu Âu. Vào năm 1440, với ự phát minh ra nghề in thì mười chữ số mới có được hình dạng cố định cuối cùng.

Số không (thế kỷ IV trước CN)

Hệ đếm Babilon được hoàn thiện vào thế kỷ IV trước CN bở sự xuất hiện của số không trong các văn bản toán học, hoặc ở đầu một con số, hoặc ở giữa, nhưng không bao giờ ở cuối. Từ số không (zero) bắt nguồn từ từ Synya, có nghĩa là “không có gì” trong tiếng Phạn; nó trở thành sifr trong tiếng Arap và được L. Fibonacci La tinh hoa thành zephirum. Nó được gọi là số không (zero) vào năm 1491 trong một khảo luận ở Florence.

Số nguyên tố (thế kỷ II trước CN)

Sau Euclide, vốn vào thế kỷ II trước CN đã chứng minh rằng tập hợp số nguyên tố và vô hạn, thì sàng Ératosthène (khoảng 284-192) là phương pháp đầu tiên được sử dụng trong việc tìm các số nguyên tố trong một giới hạn nào đó.
Nhưng chính từ “định lý nhỏ” của Fermat (1640) mà E. Lucas người Pháp, vào năm 1876 đã hiệu chỉnh một số phương pháp nghiên cứu tính số nguyên tố của một số số lớn. Số nguyên tố lớn nhất đã biết là (2 ^216091 – 1) - khoảng 65050 chữ số (đây là con số lớn nhất vào thời điểm cuốn sách này ra đời, hiện nay người ta đã tìm được những số nguyên tố lớn hơn thế nhiều – ngocson52), nó được một nhóm nhà kỹ thuật của hãng dầu mỏ Chevron ở Houston (Taxas), khám phá ra một cách ngẫu nhiên vào năm 1985. Trong khi thử một siêu máy tính họ đã phát hiện ra số nguyên tố mới đó: phải mất vài chục trang sách mowis viết hết con số đó.

Số thập phân (thế kỷ XVI)

Cho đến cuối thế kỷ XVI người ta mới chỉ phát triển cơ số 10 cho phần nguyên của một số, phần thập phân chỉ được biểu thị dưới dạng phân số hoặc trong hệ cơ số 60 trong các đơn vị thời gian và góc.
Năm 1579 F. Viète đã tuyên bố rằng trái với các phần nghìn, phầm trăm, phần chục, các phần sáu mươi chỉ được sử dụng ít và S. Stevin năm 1582 đã đề nghị sử dụng các số thập phân trong các tính toán; nhưng các cách viết vẫn rất khác nhau trong suốt thế kỷ XVII.
Nhà toán học và vật lý xứ Flandre là S. Stevin (1548-1620) cũng đã đề nghị sự phân chia thập phân các đơn vị đo lường. Nhưng phải chờ mãi tới Cách mạng Pháp mới có được hệ mét thập phân (20/12/1799).

Số vô tỉ (thế kỷ IV trước CN)

Trong khi chứng minh không thể viết sqrt(2) dưới dạng một phân số thì Aristote (thế kỷ IV trước CN) đã tìm ra các số vô tỉ (mà Pythagore đã linh cảm được), được gọi tạm là số “vô ước”.
Người ta đã phân biệt được số đại số như sqrt(2) và số siêu việt như pi và “e” vào thế kỷ XVII. Năm 1872 Ch. Hermite người Pháp đã chứng minh tính sieu việt của e và năm 1882 F. Lindemann người Đức đã chứng minh tính siêu việt của pi.

Số pi (thế kỷ II trước CN)

Sử dụng các đa giác 96 cạnh nội tiếp và bàng tiếp đường tròn, nhà bác học Hy lạp Archimède (287-212 trước CN) đã chứng minh rằng số pi nằm giữa (3 + 10/71) và (3 + 10/70). Vậy nên khi Ptôlémée (nhà toán học Hy lạp thế kỷ II sau CN) lấy giá trị 3,1416 cho số pi, ông đã biện minh rằng nó gần với giá trị trung bình của hai giá trị cận của Archimède. Năm 1874, W. Schanks, người Anh, đã tính được 707 chữ số thập phân của số pi, đã được khắc ở Cung Phát Minh (Palais de Découverte) ở Paris. 527 chữ số đầu tiên là chính xác còn những chữ số tiếp theo là sai. Từ đó nhờ có các máy tính người ta đã tính được hàng nghìn chữ số thập phân của số pi.

Số hoàng kim (thế kỷ III trước CN)

Số hoàng kim, nghiệm của phương trình 1/x = x/(1+x), bằng (1+sqrt(5))/2 ~ 1,618 và tồn tại trong phép phân chia không đối xứng mà tỷ số giữa phần lớn và phần nhỏ bằng tỷ số giữa hai phần và phần lớn. Người ta tìm thấy số đó trước Euclide, nhưng chính Euclide vào thế kỷ III trước CN đã biến nó thành bài toán nổi tiếng khi tìm cách chia một đoạn thẳng sao cho phàn lớn là trung bình tỉ lệ của phần nhỏ và đoạn thẳng hoặc “phép chia hoàng kim”. Tính hài hòa dựa trên số hoàng kim đã được nghiên cứu ở nhiều bộ môn nghệ thuật: trong kiến trúc (Phidias với nhà thờ Parthénon ở thế kỷ V trước CN, Alberti ở thế kỷ XV, Le Corbusier ở thế kỷ XX); trong âm nhạc (sự nghiên cứu theo thuyết Pythagore về quãng âm); trong hội họa (L. de Vinci, Raphael).

Số Fractan (1962)

Được B. Mandelbrot, một người Pháp gốc Ba Lan, phát minh ra ra năm 1962. Các số fractan có khả năng trở thành một công cụ toán học để rút ra những quy luật tổ chức của tự nhiên.
Khái niệm fractan đặc biệt có ích trong việc mô tả những cấu trúc mà mỗi bộ phận của nó cho dù kích thước như thế nào đi nữa thì vẫn tương tự với toàn cấu trúc. Ví dụ: phải chăng mỗi cành của một cái cây không đại diện cho toàn bộ cả cái cây?
Các số fractan mới xuất hiện trong toán học có cơ sở ở hai định luật: định luật tương tự (autosimilarité), bộ phận tương tự với toàn thể); định luật số chiều fractan nói rằng các tập hợp số fractan có số chiều phân đoạn (không nguyên) và mảnh nọ tương ứng với mảnh kia. Một trong những áp dụng gây ấn tượng mạnh nhất của các số fractan liên quan đến sự tổng hợp các hình ảnh nhờ máy tính.

Số "không thể có" (thế kỷ XVIII)

Chính nhờ có nhà toán học Italia R. Bombelli (1526-1573) mà ta có định nghĩa đầu tiên về số phức, lúc đó được gọi là số “không thể có” hoặc “số ảo” trong công trình Đại số (Bologne, 1572) công bố ít lâu trước khi ông mất. Ông đã định nghĩa các số đó khi nghiên cứu các phương trình bậc ba và đã đưa ra căn bậc hai c]ủa -1.
Cho tới năm 1746 người ta đã sử dụng các số ảo mà không biết nhiều về cấu trúc của chúng. Nhưng chính nhà toán học Pháp D’Alembert vào năm đó đã xác định được dạng tổng quát “a+b*sqrt(-1) của chúng, đông thời chấp nhận nguyên lý tồn tại n nghiệm của một phương trình bậc n. Nhà toán học Thụy Sĩ L. Euler (1707-1783) đã đưa ra ký hiệu “i” để chỉ căn bậc hai của -1, năm 1801 Gauss đã dùng lại ký hiệu đó.

Tập hợp số thực (thế kỷ XIX)

Vào thế kỷ VI trước CN, nhà toán học và thiên văn học Hy lạp Eudoxe đã thử viết ra một tập hợp không chỉ gồm số hữu tỷ mà ông cảm thấy chưa đủ. Nhưng ông đã không thành công cũng như một số nhà toán học thời cổ vốn tỏ thái độ rất ngập ngừng đối với số vô tỷ. mãi vào thế kỷ XIX, nà toán học Nga G. Cantor (1845-1918) mới nghiên cứu các đại lượng vô tỷ và “tính liên tục”, khái niệm giải thích cái vẻ liên tục của đoạn thẳng được tạo nên bởi vô hạn các điểm phân biệt, mỗi điểm biểu thị một số. Chính khi đó đã xuất hiện nhiều nghịch lý đặt lại vấn đề về các khái niệm trực giác.
Cantor ý thức được sự đối đầu với lương tri truyền thống, đã phải tiến hành một cuộc đấu tranh nhiều năm để thuyết phục những người cùng thời với mình. Khi ông mất vào 6/1/1918, sự nghiệp của ông trở nên phổ cập rộng.

St

HÌNH HỌC

Định lý Thalès (thế kỷ VII-VI trước CN)

Trước Thales mỗi nhân viên đo đạc hoặc nhà hình học đều phải tìm những “kỹ xảo” để đo các khoảng cách, các bề mặt v.v… Nhà triết học và toán học Hy lạp thuộc trường phái Ioni là Thales de Milet (thế kỷ VII-VI) đã có ý tưởng tài tình đo các chiều cao nhờ dùng bóng vaod lúc mà “bóng bằng với vật”, nghĩa là vào lúc các tia nắng chiếu xuyên một góc 450. Để đo chiều cao của Đại Kim tự tháp ông đã cải tiến phương pháp của mình bằng cách sử dụng các tia nắng ở bất kỳ lúc nào. Và ông đã có thể dừng lại ở đó, song toàn bộ giá trị cồn việc của ông là muốn xuất phát từ thực nghiệm để xây dựng nên một lý thuyết: việc sử dụng các tia sáng mặt trời đã cho phép ông nghiên cứu các đường thẳng song song và mối liên hệ giữa độ dài hình chiếu và độ dài ban đầu. Rồi ông đã phát biểu một địng lý mà từ đó được gọi là Định lý Thales: “Các đường thẳng song song chiếu những đoạn dài tỷ lệ từ đường thẳng này lên đường thẳng khác”. Như vậy là ông đã rút ra hình học từ cuốn sổ ghi chép các kỹ thuật băng cách đưa vào đó quan điểm suy diễn và chứng minh của toán học.

Định lý Pythagore (thế ky VI trước CN)

Xuất phát từ các công trình của Thales về các đường thẳng song song và cũng với tinh thần chứng minh, Pythagore, nhà triết học và toán học Hy lạp ở thế kỷ VI trước CN đã quan tâm đến hình chiếu vuông góc và đã chứng minh được định lý mang tên ông. Định lý đó thiết lập được mối liên hệ giữa chiều dài các cạnh của một tam giác vuông. Mối quan hệ đó đã được biết đến từ thời có các nhân viên đo đạc, song chính Pythagore là người đầu tiên đã chứng minh được nó.

Tiên đề Euclide (thế kỷ III trước CN)

Nhà toán học Hy lạp là Euclide (thế kỷ III trước CN) chủ yếu đã tổng hợp các công trình của người đi trước trong tác phẩm “Nguyên lý” ông đã hệ thống các kiến thức của thời đại mình, đồng thời chứng minh lại toàn bộ xuất phát từ năm tiên đề được coi như đúng dù rằng không được chứng minh. Tiên đề cơ bản và quen thuộc nhất là: “Qua một điểm bên ngoài một đường thẳng, chỉ có thể kẻ một đường thẳng song song với đường thẳng đó”. Điều trái ngược với tiên đề này đã được Aristote xem xét trong tác phẩm “Những phép phân tích khác”, song với một quan điểm hoàn toàn mang tính chất giáo huấn.
Cho đến thế kỷ XIX, các nhà toán học vẫn nghĩ rằng có thể chứng minh được tiên đề đó. Bởi vậy ở thế kỷ thứ XVIII nhiều nhà toán học đã uổng công thử chứng minh nó bằng phản chứng; đã xuất hiện hai điều phủ định khả dĩ: “Tồn tại ít nhất một điểm qua đó không có một đường thănngr nào song song với đường thẳng đã cho đi qua” và “Tồn tại ít nhất một điểm qua đó ít nhất có hai đường thẳng song song khác nhau đi qua”. Việc giải thích rõ ràng hai điều ngược lại đó đã làm nảy sing hai loại hình học mới ở thế kỷ sau đó.

Lượng giác (thế kỷ III-II trước CN)

Trong thời Cổ Đại lượng giác đã phát triển như một kỹ thuật phụ của thiên văn học. vậy nên chính những nhà thiên văn Hy Lạp Asistarque de Samos (thế kỷ III trước CN) và Hipparque de Nicée (thế kỷ II trước CN) là những nhà lượng giác học tiên phong. Người Hy Lạp ở thành Alexandria là C. Ptolémée (khoảng 80-160 sau CN) đã tập hợp tất cả các tri thức của thời đó trong khảo luận gọi là “Sách thiên văn” (Almageste) của mình.
Chính nhờ người Arập ở thế kỷ IX mà lượng giác đã phát triển thành một bộ môn khoa học tách riêng hoàn toàn. Al Khwârizmi (780-850) đã lập được các bảng số sin đầu tiên, Habasch và al Hasib đã lập được các bảng tang. Sách thiên văn hoàn thiện (Perfectionnement de l’Almageste) của al Bâttâmi (877-925) là một công trình thực sự về lượng giác hiện đại, hoàn hảo hơn nhiều so với Sách thiên văn của Ptolémée. Những công trình đó được những nhà toán học Đức J. Muller (1436-1476) và G. Rhaeticus (1514-1576) sửa lại và phát triển. A. de Moivre (1667-1754) và L. Euler (1707-1783) đã gắn mỗi số phức tương ứng với một tia và một góc; bởi vậy cho phép khảo sát lượng giác nhờ hàm phức; nhờ thế chính lượng giác biến thành một lý thuyết đại số.

Mặt cônic (thế kỷ III trước CN)

Các mặt cônic đã được nghiên cứu theo những cách rất khác nhau qua các thời đại, chính điều đó cho thấy roc hình học đã tiến triển từ thời cổ đại đến thời chúng ta như thế nào. Trong khảo luận của mình về các tiết diện cônic, A. de Perga (khoảng 262-130 trước CN) đã nghiên cứu những mặt cắt khác nhau của một hình nón. Khi đó ông đã chứng minh rằng có thể thu được các hình Parabol, Hypecbol và Elip.
Vào thế kỷ thứ XVII, Descartes đã thể hiện các mặt cônic dưới dạng các phương trình và chỉ ra rằng có thể thu được các mặt cônic từ các phương trình bậc hai.
B. Pascal (1623-1662) đã tạo nên quan niệm hiện đại bằng cách tiếp cận mặt cônic theo quan điểm giải tích. Ở thế kỷ XX, các mặt cônic là một phần của lý thuyết tổng quát hơn về các dạng toàn phương.

Tọa độ (thế kỷ XVII)

Việc sử dụng các số để xác định một cách đơn tính vị trí của một điểm trên một bề mặt đã được biết đến từ thời Archimede (thế kỷ III trước CN). Nhưng mãi tới thế kỷ XVII thì tọa độ mới được sử dụng một cách có hệ thống đối với các bài toán hình học. Có truyền thuyết rằng nhà triết học và toán học người Pháp R. Descartes (1596-1650) đã nảy ra ý tưởng về tọa độ khi ông nhìn thấy một con côn trùng bay trước những ô kính cửa sổ của mình. Khám phá đó đã cho phép khảo sát các bài toán hình học theo phương pháp đại số; rồi nhờ có nhà toán học Pháp P. de Fermat (1601-1665) đã bắt đầu xuất hiện hình học giải tích trong đó các phương trình và đường cong có liên quan với nhau.

Vectơ (1798)

Nhag hình học Đan Mạch C. Wessel, năm 1798 và J. R. Argand, năm 1806 đã viết hai báo cáo về các số phức. Cả hai người đều có ý tưởng không chỉ biểu diễn các số phức thông qua một điểm A trên mặt phẳng mà còn đồng nhất chúng với vectơ gốc ở O và điểm mút A trong một hệ tọa độ Descartes trên mặt phẳng. Vậy là nảy sinh khái niệm vectơ , như vậy tìm tổng của hai số phức tức là dựng tổng của hai vecto là những đối tượng hình học mà đối với chúng tồn tại các phép toán rất gần với các phép toán quen thuộc trong tập hợp các số.

Cấu trúc không gian của vecto (1844)

Vào thế kỷ XIX, khi nghiên cứu cấu trúc của các tập hợp vận dụng được các phép toán thì người ta mới rõ rằng cấu trúc của tập hợp các vecto trong mặt phẳng có thể áp dụng được cho những tập hợp khác, như tập hợp các ma trận chẳng hạn. Vậy nên trong “Lý thuyết mở rộng” của mình vào năm 1844, nhà toán học Đức H. Grassmann (1809-1877) đã định nghĩa các không gian vecto có số chiều lớn hơn ba. Trong khi nghiên cứu các quatecnion, W. Hamilton (1805-1865) cũng đã xây dựng nên những hệ thống vecto đầu tiên. Những định nghĩa đã rất có ích cho vật lý học khi xây dựng lý thuyết tương đối trong đó không thời gian được xem như một không gian vecto bốn chiều.

Hình học phi Euclide (thế kỷ XVIII)

Vào thế kỷ XVIII, G. G. Saccheri, J. H. Lambert, Taurinus, Reid và nhiều nhà toán học khác đã thử gán các hệ quả logic cho những sự phủ định tiên đề Euclide, nhưng họ đã không thực sự tin vào chuyện đó và đã không đi đến những lý thuyết hoàn hảo. Vào đầu thế kỷ XIX, những lý thuyết đó bắt đầu hình thành và quy về hai loại hình học khác nhau song đều khả dĩ và có thể xem xét cụ thể được.

Hình học Hypecbolic (thế kỷ XIX)

Nhà toán học Hungari J. Bolyai (1802-1860) và nhà toán học Nga N. I. Lobatchevski (1792-1856) đã xây dựng nên một loại hình học trong đó mặt phẳng là một bề mặt Hypecbolic; để hình dung một bề mặt như thế, ta có thể so sánh nó với một mặt yên ngựa.

Hình học Eliptic (thế kỷ XIX)

Nhà vật lý và toán học Đức C. F. Gauss (1777-1855) đã xây dựng một hình học, trong đó mặt phẳng được xác định như bề mặt một hình cầu có bán kính vô hạn; có thể hình dung được khái niệm đó khi so sánh với mặt nước, bởi vì Trái Đất là hình cầu chứ không phải như Euclide đã tưởng. B. Riemann (1828-1866), người Đức, là học trò của Gauss ở Gottingen, đã tiếp tục các công trình của Gauss và đã đề nghị xét lại hình học cổ điển cho phép xem hình học Eliptic như một trường hợp của một lý thuyết tổng quát hơn.

Định nghĩa hình học (1872)

Những công trình khác nhau ở đầu thế kỷ XIX về các loại hình học phi Euclide đã làm nảy sinh những sự ham mê và những cuộc bút chiến rất mạnh mẽ; thực tế chúng đã cách mạng hóa triết ký về các tri thức nhiều hơn là bản thân môn hình học.
Bởi thế cần phải thống nhất và sáng tạo ra một lý thuyết rộng hơn, trong đó những thế giới hình học khác nhau có thể cùng tồn tại. Nhà toán học Đức Ch. F. Klein (1849-1925) trong bài phát biểu mở dầu Đại hội Erlangen (“Chương trình Erlangen” năm 1872) của mình đã định nghĩa hình học như bộ môn nghiên cứu các nhóm phép biến đổi khiến cho một số đối tượng hình học như đường trung tuyến hoặc đường cao trở nên bất biến. Chú ý đến cấu trúc của những nhóm đó, Ch. F. Klein đã gộp các loại hình học vào một lý thuyết đại số. Như vậy, là vào đầu thế kỷ XX không còn “những toán học” nữa, mà chỉ có “toán học” trong đó đại số và hình học chỉ là một.

Phỏng đoán bốn màu (1976)

Năm 1976, K. Appel, W. Haken và J. Koch ở Đại học Illisois (Mỹ) đã đưa ra sự chứng minh về sự phỏng đoán bốn màu. Phỏng đoán này khẳng định rằng, toàn bộ bản đồ địa lý được vẽ trên một mặt phẳng hay một mặt cầu, mà mỗi lớp chiếm riêng một khoảnh (không có thuộc địa cũng không có nước khác lọt vào giữa), có thể được tô chỉ bằng bồn màu sao cho hai nước khác nhau có các màu khác nhau.
Việc chứng minh điều phỏng đoán đó đã được thực hiện nhờ tính toán 12000 giờ trên các máy tính mạnh nhất; vậy nên đầu óc con người không thể kiểm chứng được nó và nó đặt ra những câu hỏi về “tính toán học” của nó. Nhất là nó đã kích thích các nghiên cứu về các lý thuyết đồ thị hiện đang chiếm một vị trí lớn trong giải tích tổ hợp.

St