Định lý Morley về góc chia ba

Trong hình học phẳng, định lý Morley về góc chia ba được phát biểu như sau: Các giao điểm của các đường phân ba góc kề nhau lập thành một tam giác đều, gọi là tam giác Morley. Định lý được tìm ra năm 1899 bởi nhà toán học người Mỹ gốc Anh Frank Morley.

Định lý Morley thu hút được sự quan tâm của nghiều người nghiên cứu hình học tam giác không chỉ bởi vẻ đẹp kì lạ của nó mà còn vì tam giác Morley không thể dựng được chỉ bằng thước thẳng và compa.

Chứng minh

Có rất nhiều chứng minh cho định lý Morley với các kỹ thuật khác nhau.^[1] Các chứng minh trước đây dựa trên các biến đổi lượng giác. Chứng minh hình học đầu tiên được đưa ra bởi M. T. Naraniengar năm 1909.^[2] Gần đây hơn Alain Connes đưa ra một chứng minh bằng đại số và mở rộng nó với lý thuyết trường, còn John Conway đưa ra một chứng minh bằng hình học sơ cấp.^[3]^[4]. Định lý Morley không còn đúng trong hình học trên mặt cầu và hình học trên mặt hy-péc-bôn^[5].

Sau đây là một chứng minh sử dụng lượng giác

sin 3θ ≡ 4 sin θ sin(60°+θ) sin(120°+θ).

Điểm D,E,F được dựng trên cạnh BC như hình vẽ. Ta thấy α+β+γ = 60° do đó ∠CYA = 120°+β và góc của tam giác ΔXEF là α, 60°+β, 60°+γ. Ta lại có sin(60°+β) = DX/XE và AC/sin(120°+β) = AY/sin γ theo định lý sin do đó được cao h của tam giác ΔABC đưa ra bởi

h = AB sin 3β = 4AB.AC.DX sin β sin γ / (XE.AY)

= AC sin 3γ = 4AC.AB.DX sin γ sin β / (XF.AZ).

Do đó XE.AY = XF.AZ tương đương với XE/XF = AZ/AY. Mặt khác ∠EXF = ∠ZAY do đó hai tam giác XEF và AZY là đồng dạng. Do đó các góc đáy của ΔAZY là 60°+β và 60°+γ. Xác định một cách tương tự đối với các góc đáy của hai tam giác ΔBXZ và ΔCYX từ đó dễ dàng xác định được ba góc của tam giác XYZ là 60°.

Độ dài các cạnh và diện tích tam giác Morley

Độ dài của cạnh của tam giác Morley thứ nhất như sau:^[6]

a^{'}=b^{'}=c^{'}=8R\sin(A/3)\sin(B/3)\sin(C/3),\,

Trong đó R làm bán kính đường tròn ngoại tiếp của tam giác ABC, và A, B, và C là các góc của tam giác ABC. Do diện tích của một tam giác đều tính theo công thức ${\tfrac {\sqrt {3}}{4}}a^{2}$ (trong đó a là độ dài cạnh tam giác), từ đó diện tích tam giác Morley là:

{\text{Area}}=16{\sqrt {3}}R^{2}\sin ^{2}(A/3)\sin ^{2}(B/3)\sin ^{2}(C/3).

Xem thêm

Định lý Napoleon

Chú thích

^ Bogomolny, Alexander, Morley's Miracle, Cut-the-knot, truy cập ngày 2 tháng 1 năm 2010
^ Coxeter (1967).
^ J. Conway's proof, from Bogomolny.
^ Conway, John (2006), “The Power of Mathematics”, trong Blackwell, Alan; Mackay, David (biên tập), Power (PDF), Cambridge University Press, tr. 36–50, ISBN 978-0-521-82377-7, Bản gốc (PDF) lưu trữ ngày 23 tháng 9 năm 2015, truy cập ngày 22 tháng 6 năm 2015 Đã định rõ hơn một tham số trong |accessdate= và |access-date= (trợ giúp)
^ Morley's Theorem in Spherical Geometry, Java applet.
^ Weisstein, Eric W. "First Morley Triangle." From MathWorld--A Wolfram Web Resource. [1]

Tham khảo

Connes, Alain (1998). A new proof of Morley's theorem. Publications Mathématiques de l'IHÉS. S88. tr. 43–46..
Connes, Alain (tháng 12 năm 2004). Symmetries (PDF). European Mathematical Society Newsletter. 54..
Coxeter, H. S. M.; Greitzer, S. L. (1967). Geometry Revisited. The Mathematical Association of America. LCCN 67-20607.
Francis, Richard L. (2002). Modern Mathematical Milestones: Morley's Mystery (PDF). Missouri Journal of Mathematical Sciences. 14. Bản gốc (PDF) lưu trữ ngày 28 tháng 7 năm 2010. Truy cập ngày 22 tháng 6 năm 2015..
Guy, Richard K. (2007), “The lighthouse theorem, Morley & Malfatti—a budget of paradoxes” (PDF), American Mathematical Monthly, 114 (2): 97–141, JSTOR 27642143, MR 2290364, Bản gốc (PDF) lưu trữ ngày 1 tháng 4 năm 2010, truy cập ngày 22 tháng 6 năm 2015.
Oakley, C. O.; Baker, J. C. (1978), “The Morley trisector theorem”, American Mathematical Monthly, 85 (9): 737–745, doi:10.2307/2321680, JSTOR 2321680.
Taylor, F. Glanville; Marr, W. L. (1913–14), “The six trisectors of each of the angles of a triangle”, Proceedings of the Edinburgh Mathematical Society, 33: 119–131.