Điểm, Đường thẳng & Đối ngẫu

Chứng minh tự đồng dạng của định lý tam giác cân bằng chương trình hình học sử dụng một quan điểm không xuất hiện trong các chứng minh Euclid cổ điển. Insight: thay vì so sánh tam giác ABC với tam giác thứ hai được xây dựng, hãy so sánh ABC với chính nó với các đỉnh đáy đã hoán đổi — tương ứng A↔A, B↔C, C↔B.

Đây là một lập luận đối xứng hình học: tam giác cân đối xứng dưới sự phản xạ qua độ cao từ đỉnh. Chương trình đã không xây dựng sự phản xạ một cách rõ ràng; nó sử dụng tương ứng như một trừu tượng.

Nguyên tắc chung đằng sau điều này là đối ngẫu xạ ảnh: trong mặt phẳng xạ ảnh, mỗi định lý về điểm & đường thẳng có một định lý đối ngẫu thu được bằng cách hoán đổi các từ 'điểm' và 'đường thẳng' xuyên suốt.

Từ điển đối ngẫu:

- Điểm ↔ Đường thẳng

- Điểm nằm trên đường thẳng ↔ Đường thẳng đi qua điểm

- Hai điểm xác định một đường thẳng duy nhất ↔ Hai đường thẳng xác định một điểm duy nhất

- Các điểm thẳng hàng ↔ Các đường thẳng đồng quy

Một chứng minh duy nhất của một định lý về điểm tự động mang lại một chứng minh của định lý đối ngẫu về đường thẳng — và ngược lại. Hai chứng minh có cùng cấu trúc, cùng độ dài, & các bước suy diễn giống nhau. Việc tìm thấy quan điểm đối ngẫu thường tiết lộ một chứng minh đơn giản hơn của bản gốc.

Áp dụng Đối ngẫu

Định lý Desargues: Nếu hai tam giác có quan điểm từ một điểm (ba đường thẳng qua các đỉnh tương ứng đều gặp nhau tại một điểm), thì chúng có quan điểm từ một đường thẳng (ba giao điểm của các cạnh tương ứng đều nằm trên một đường thẳng).

Định lý này tự đối ngẫu: hoán đổi điểm và đường thẳng cho chính xác cùng một phát biểu định lý.

Tốc độ Lấy mẫu & Không gian Tần số

Hệ thống âm nhạc máy tính tại Bell Labs dựa trên một định lý toán học: định lý lấy mẫu Nyquist-Shannon.

Phát biểu: một tín hiệu có tần số giới hạn với tần số tối đa f_max có thể được tái tạo hoàn hảo từ các mẫu được lấy với tốc độ ít nhất 2 × f_max mẫu mỗi giây.

Giải thích hình học: một tín hiệu có tần số giới hạn nằm trong một không gian con hữu hạn chiều của không gian tất cả các hàm liên tục. Lấy mẫu với tốc độ 2f_max cung cấp đủ tọa độ để xác định duy nhất một điểm trong không gian con đó.

Aliasing: Hình học của Lỗi Lấy mẫu

Dưới tốc độ Nyquist, các tần số trên f_max bị aliasing — chúng xuất hiện dưới dạng tần số thấp hơn trong tín hiệu được lấy mẫu. Hai tín hiệu khác nhau trở nên không thể phân biệt được sau khi lấy mẫu. Về mặt hình học: toán tử lấy mẫu chiếu không gian tín hiệu lên một không gian chiều thấp hơn, gây ra các tín hiệu khác nhau va chạm.

Đối với âm thanh kỹ thuật số (chất lượng CD): f_max = 22,050 Hz (hơi cao hơn giới hạn 20,000 Hz của thính giác con người), tốc độ lấy mẫu = 44,100 mẫu/giây. Đối với điện thoại: f_max = 4,000 Hz, tốc độ lấy mẫu = 8,000 mẫu/giây.

Tính toán Tốc độ Nyquist

Định lý Nyquist xác định tốc độ lấy mẫu tối thiểu cần thiết để tránh mất thông tin.

Không gian Chứng minh & Không gian Tín hiệu: Hình học Chung

Chứng minh-như-đường-đi và định lý lấy mẫu Nyquist chia sẻ một cấu trúc hình học chung: cả hai đều liên quan đến việc tìm thấy biểu diễn tối thiểu của một cái gì đó phức tạp.

Tối thiểu hóa chứng minh: tìm đường đi ngắn nhất (ít bước suy diễn nhất) qua biểu đồ chứng minh từ tiền đề đến kết luận. Chứng minh tự đồng dạng tối thiểu hóa độ dài đường đi bằng cách khai thác đối xứng.

Lấy mẫu tín hiệu: tìm số lượng mẫu tối thiểu (tốc độ lấy mẫu thấp nhất) để bảo tồn tất cả thông tin trong tín hiệu có tần số giới hạn. Định lý Nyquist tối thiểu hóa biểu diễn bằng cách khai thác giới hạn băng thông.

Cả hai bài toán đều tồn tại trong không gian có cấu trúc cho phép kết quả biểu diễn tối thiểu. Cả hai đều không thành công khi cấu trúc đó bị phá vỡ: chứng minh trở nên dài hơn khi không gian tiên đề được tổ chức kém; aliasing xảy ra khi tín hiệu không có tần số giới hạn.