I.12) Định lý Brianchon
Định lý: Cho lục giác ABCDEF ngoại tiếp (O). Chứng minh rằng ba đường chéo lớn AD, BE, CF đồng quy.
Chứng minh: Ta kí hiệu các tiếp điểm của (O) trên AB,BC,CD,DE,EF,FA lần lượt là M,N,P,Q,R,S. Xét cực và đối cực đối với (O). Gọi K,I,J lần lượt là giao điểm của các cặp đường thẳng (SM,PQ) ,(MN,QR),(NP,RS). Vì SM và PQ là đường đối cực của A và D nên AD là đường đối cực của K. Tương tự BE và FC lần lượt là đường đối cực của I và J.
Dùng định lí Pascal cho lục giác nội tiếp MNPQRS ta có I,J,K thẳng hàng. Nên ta có các đường đối cực của I,J,K (lần lượt là BE,CF,AD) cùng đi qua cực của đường thẳng này (đường thẳng đi qua I,J,K) nên AD,BE,CF đồng quy (đpcm).
Tương tự ngược lại có thế chứng minh định lí pascal thông qua Brianchon và cực đối cực(xem thêm cực đối cực ở mục III.5 hoặc xem
http://mathscope.org/forum/showthread.php?t=5024).
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]