Định lý Ptolemy
Phát biểu
Với tứ giác nội tiếp (các đỉnh theo thứ tự trên đường tròn), đường chéo và cạnh thỏa .
Vì sao đúng?
Định lý Ptolemy cho một đẳng thức đại số chính xác với mọi tứ giác nội tiếp, và dạng bất đẳng thức của nó ( với tứ giác bất kỳ, đẳng thức khi và chỉ khi nội tiếp) là cách nhanh để vừa chứng minh bốn điểm đồng viên vừa suy ra các đẳng thức lượng giác như công thức cộng sin.
Phác thảo chứng minh
Bước 1: Dựng điểm phụ. Trên đường chéo , dựng điểm sao cho (tức tia tạo với góc bằng góc tạo với ), với chọn trên đoạn .
Bước 2: Tìm cặp tam giác đồng dạng đầu tiên. Vì nội tiếp, (cùng chắn cung ). Kết hợp với theo dựng hình, tam giác và có hai góc bằng nhau, nên theo góc-góc.
Bước 3: Rút ra hệ thức đầu. Từ : , nên .
Bước 4: Tìm cặp tam giác đồng dạng thứ hai. Vì nội tiếp, (cùng chắn cung ). Xét tam giác và : (do nằm trên đoạn ), và (cùng chắn cung ), nên theo góc-góc.
Bước 5: Rút ra hệ thức thứ hai. Từ : , nên .
Bước 6: Cộng hai hệ thức. Cộng kết quả Bước 3 và Bước 5: , tức . Vì nằm trên đoạn nên , cho đúng .
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