Định lý phương tích của điểm
Phát biểu
Nếu hai đường thẳng qua điểm cắt đường tròn lần lượt tại và , thì , và giá trị có dấu chung này bằng với là tâm và bán kính đường tròn.
Vì sao đúng?
Định lý này là công cụ được dùng lại nhiều nhất trong hình học Olympic: nó biến bất kỳ hình vẽ nào có hai cát tuyến, một tiếp tuyến và một cát tuyến, hoặc hai dây cung qua một điểm thành một phương trình đại số, tránh đuổi góc theo từng trường hợp.
Phác thảo chứng minh
Bước 1: Lập tam giác đồng dạng. Gọi hai đường thẳng qua cắt đường tròn tại và . Vì cùng nằm trên một đường tròn, các góc nội tiếp và chắn cùng cung (hoặc cung bù, tùy cấu hình), nên .
Bước 2: Khớp cặp góc thứ hai. Góc tại trong tam giác và góc tại trong tam giác hoặc bằng nhau (nếu ở ngoài đường tròn, hai đường chung đỉnh nên góc đó chính là cùng một góc) hoặc là góc đối đỉnh (nếu ở trong đường tròn). Dù thế nào .
Bước 3: Kết luận đồng dạng. Hai tam giác và có hai cặp góc bằng nhau nên đồng dạng theo trường hợp góc-góc: .
Bước 4: Rút ra tỉ số. Tam giác đồng dạng cho các cạnh tương ứng tỉ lệ: , biến đổi thành (dùng độ dài không dấu trước, cho ở ngoài đường tròn).
Bước 5: Tính giá trị chung qua đường kính. Chọn đường thẳng cụ thể qua và tâm , cắt đường tròn tại hai điểm trên đường kính, ở khoảng cách có dấu và từ (lấy ở ngoài nên ). Tích của chúng là , mà theo Bước 4 phải bằng với mọi đường qua .
**Bước 6: Xử lý ở trong đường tròn bằng độ dài có dấu.** Khi nằm trong đường tròn, theo thứ tự đó trên dây cung, nên và ngược hướng và tích có dấu âm; lặp lại Bước 1–5 với đường kính qua cho (nay âm vì ), nên đẳng thức đúng đồng nhất kể cả dấu, hoàn tất chứng minh.
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- Trieu Trinh, Yuhuai Wu, Quoc Le, He He, Thang Luong (2024). AlphaGeometry: An Olympiad-level AI system for geometry
- Evan Chen (2016). Euclidean Geometry in Mathematical Olympiads
- H.S.M. Coxeter, S.L. Greitzer (1967). Geometry Revisited