NHỮNG LÁT CẮT CỦA ARCHIMEDES CHỈ ĐÚNG VỚI MẶT CẦU

Bài báo mở đầu bằng một câu đố: liệu có thể phủ một hình tròn đường kính 100 đơn vị bằng 99 dải vô hạn, mỗi dải rộng 1 đơn vị? Lời giải, theo Mijia Lai thuộc Trường Khoa học Toán học, Đại học Giao thông Thượng Hải, “đưa chúng ta quay về hơn hai thiên niên kỷ trước, tới một trong những khoảnh khắc Eureka của Archimedes”.

Một dải có diện tích không màng tới vị trí

Định lý Archimedes. Trên mặt cầu bán kính 1, vùng nằm giữa hai mặt phẳng song song cùng cắt mặt cầu và cách nhau một khoảng h có diện tích 2πh.

Điều đáng chú ý là những gì công thức bỏ qua: dải nằm ở đâu. Gần xích đạo hay sát một cực, chỉ có khoảng cách h là đáng kể.

Gợi ý của bài báo cho câu đố là nâng các dải từ hình tròn phẳng lên một mặt cầu, nơi chúng trở thành những đới cầu. Làm theo gợi ý đó cùng với công thức sẽ cho ra đáp án. Một mặt cầu đường kính 100 đơn vị có bán kính 50 và diện tích 4π × 50² = 10.000π. Mỗi đới rộng 1 đơn vị phủ được 2π × 50 × 1 = 100π. Chín mươi chín đới như thế phủ được tối đa 9.900π — không đủ. Vậy câu trả lời là không, các dải không thể phủ kín hình tròn.

Câu hỏi ngược lại

Liệu tính chất này có đặc trưng riêng cho mặt cầu? Với các mặt lồi — những hình không có chỗ lõm — và khi tính chất được đòi hỏi ở mọi độ rộng khoảng cách, câu trả lời đã được biết từ lâu; bài báo truy nguyên nó về Blaschke. Nhà toán học Mohammad Ghomi đã đặt một câu hỏi sắc bén hơn trên diễn đàn MathOverflow vào tháng 10/2017: nếu diện tích giữa hai mặt phẳng song song luôn như nhau với chỉ một khoảng cách cố định, mỗi khi cả hai mặt phẳng cùng cắt một mặt lồi, thì mặt đó có nhất thiết phải là mặt cầu?

Lai chứng minh rằng nó nhất thiết phải là mặt cầu, và còn đi xa hơn.

Định lý A. Xét một mặt trơn, kín, liên thông trong không gian. Giả sử có một khoảng cách h, nhỏ hơn bề rộng hẹp nhất của mặt, sao cho mọi lát cắt có độ rộng h — theo mọi hướng và ở mọi vị trí mà cả hai mặt phẳng cùng cắt mặt — đều có diện tích 2πh. Khi đó mặt này là mặt cầu bán kính 1.

Tính lồi không được giả thiết: nó là một phần của kết luận.

Hai bước, một đường vòng qua sóng

Trước hết, không có chỗ lõm. Điều kiện về lát cắt có một hệ quả hình học: ở nơi mặt cong vào trong, tách khỏi lớp bao ngoài của nó, điều kiện này buộc một đại lượng gọi là độ cong trung bình phải bằng không hoặc âm. Lai chỉ ra rằng điều này dẫn tới mâu thuẫn, bằng một công cụ kinh điển cho các phương trình như vậy, nguyên lý cực đại Hopf (Hopf maximum principle). Khi không cho phép chỗ lõm, mặt phải là mặt lồi, và thực ra cong ra ngoài tại mọi điểm.

Sau đó, chỉ có mặt cầu. Với một mặt lồi, điều kiện về lát cắt khiến cách diện tích phân bố theo độ cao lặp lại sau mỗi khoảng h. Lấy trung bình mẫu hình lặp lại đó theo mọi hướng sẽ tạo ra một nghiệm của phương trình sóng tuần hoàn theo thời gian. Giá trị ban đầu của nghiệm này hóa ra gắn với thế Newton — loại thế do khối lượng hoặc điện tích tạo ra — mà mặt sẽ sinh ra nếu được phủ đều. Một kết quả về tính duy nhất cho những sóng tuần hoàn như vậy, được chứng minh trong phụ lục, khi đó buộc thế này phải không đổi ở bên trong và bên ngoài mặt. Một định lý đối xứng đã biết, của Reichel, nói rằng chỉ một quả cầu đặc mới tạo ra được thế như vậy. Cuối cùng, công thức của Archimedes ấn định bán kính của nó bằng 1.

Một phần riêng, sơ cấp, xử lý trường hợp đặc biệt khi bề rộng của mặt theo một hướng nào đó là một số nguyên lần khoảng cách h.

Sự trợ giúp từ một AI

Trong lời cảm ơn, tác giả cảm ơn hệ thống AI ChatGPT 6 Astra “vì đã hỗ trợ về chiến lược chứng minh”, nói thêm rằng lập luận sơ cấp ở phần cuối đã được tìm ra trước khi có sự trợ giúp đó, và nhận trách nhiệm kiểm tra cũng như viết chứng minh. Kết quả này là một bản tiền ấn phẩm và chưa được bình duyệt.

Từ một câu đố về những dải trên hình tròn đến sóng tuần hoàn và mặt tích điện, chứng minh kết thúc ở nơi Archimedes bắt đầu: một dải rộng h, và một diện tích 2πh.