Bài toán con bướm (Butterfly Theorem) là một định lý cổ điển và vô cùng nổi tiếng trong hình học Euclid. Nó không chỉ gây ấn tượng bởi cái tên lãng mạn mà còn bởi vẻ đẹp đối xứng tuyệt đối trong hình vẽ.
1. Phát biểu bài toán: Cho đường tròn (O) và một dây cung PQ. Gọi M là trung điểm của dây cung PQ. Qua M, kẻ hai dây cung bất kỳ AB và CD (sao cho A, C nằm cùng phía so với PQ).
- Gọi X là giao điểm của AD và PQ.
- Gọi Y là giao điểm của BC và PQ.
Kết luận: M cũng chính là trung điểm của đoạn thẳng XY (tức là MX = MY).
2. Tại sao gọi là "Con bướm"?
Khi bạn nối các điểm A với D và B với C, hình dáng tạo bởi hai tam giác (hoặc nhìn rộng hơn là tứ giác lồi tạo bởi các dây cung) trông giống như một đôi cánh bướm đang xòe ra, với điểm M nằm ở thân bướm.
3. Các phương pháp chứng minh
Bài toán này nổi tiếng vì có rất nhiều cách chứng minh khác nhau, từ sơ cấp đến cao cấp:
Hình học sơ cấp: Sử dụng các cặp tam giác đồng dạng và kẻ thêm đường phụ (như hạ hình chiếu từ X, Y xuống các dây cung AB, CD).
Diện tích: Sử dụng tỉ số diện tích các tam giác chung đỉnh hoặc chung đáy.
Hình học biến hình: Sử dụng phép đối xứng tâm hoặc phép nghịch đảo.
Định lý Pascal: Một cách chứng minh rất hiện đại và ngắn gọn là coi A, B, C, D là các đỉnh của một lục giác nội tiếp biến dạng.
4. Lịch sử và Mở rộng:
Lịch sử: Bài toán được đặt ra lần đầu bởi William Wallace vào năm 1803. Kể từ đó, nó trở thành một thử thách yêu thích trong các cuộc thi toán học.
Mở rộng: Định lý này không chỉ đúng với đường tròn mà còn đúng với các đường Conic (như Ellipse). Ngoài ra còn có "Định lý con bướm mở rộng" (Sharygin) dành cho các trường hợp điểm M không nhất thiết phải là trung điểm.
Nguồn: https://youtu.be/QMCW0ETZZ4o