MỘT SỐ KIẾN THỨC VỀ HÌNH OLYMPIAD

http://www.Mathscope.org.

Những kiến thức sau đây gồm một số kiến thức cơ sở để khám phá hình học olympiad hoặc là những
kết quả đẹp nổi tiếng. Bài viết này được soạn ra nhằm đáp ứng nhu cầu tra cứu, học hỏi của nhiều
bạn đọc. Nó sẽ cần sự chung tay của nhiều thành viên. Đầu tiên mình sẽ giới thiệu mục lục và nếu ai
biết phần kiến thức ấy thì có thể post lên, nhưng để đảm bảo cho tính hệ thống, chặt chẽ và dễ theo
dõi của bài viết ,mình xin nêu một số quy ước như sau:

1) Mỗi bài viết đều phải vẽ hình minh họa.

2) Mỗi bài viết chỉ đề cập đến 1 đề mục kiến thức.
3) Phải đảm bảo thứ tự nêu trong mục lục.
4) Chúng tôi chỉ giữ lại những trao đổi có ích kể từ sau khi hoàn thành mục lục, điều đó
có nghĩa là những trao đổi chen giữa không bị xóa lúc này nhưng sẽ bị xóa khi mục lục
được hoàn tất.

A. MỤC LỤC
I. Một số định nghĩa, định lí, điểm và đường đặc biệt không duy nhất:

I.1) Định lí Menelaus

I.2) Mở rộng định lí Menelaus theo diện tích
I.3) Định lí Menelaus cho tứ giác
I.4) Định lí Ceva
I.5) Định lí Ceva dạng sin
I.6) Định lí Desargues
I.7) Định lí Pappus
I.8) Một trường hợp đặc biệt của định lí Pappus qua góc nhìn hình xạ ảnh.
I.9) Đẳng thức Ptolemy
I.10) Bất đẳng thức Ptolemy
I.11) Định lí Pascal
I.12) Định lí Brianchon
I.13) Định lí Miquel
I.14) Công thức Carnot
I.15) Định lí Carnot
I.16) Định lí Brokard
I.17) Định lí Euler về khoảng cách giữa tâm 2 đường tròn nội, ngoại tiếp của tam giác
I.18) Định lí Euler về khoảng cách giữa tâm 2 đường tròn nội, ngoại tiếp của tứ giác
(Định lí Fuss)
I.19) Định lí Casey
I.20) Định lí Stewart
I.21) Định lí Lyness
I.22) Định lí Lyness mở rộng (Bổ đề Sawayama)
I.23) Định lí Thébault
I.24) Công thức Jacobi liên quan đến tâm tỉ cự,định lí Lebnitz
I.25) Định lí Newton cho tứ giác ngoại tiếp
I.26) Định lí Breichneider
I.27) Định lí con nhím
I.28) Định lí Gergonne -Euler
I.29) Định lí Peletier

1
I.30) Định lí Miobiut
I.31) Định lí Viviani
I.32) Công thức Lagrange mở rộng
I.33) Đường thẳng Simson
I.34) Đường thẳng Steiner
I.35) Điểm Anti-Steiner (Định lí Collings)
I.36) Định lí Napoleon
I.37) Định lí Morley
I.38) Định lí con bướm với đường tròn
I.39) Định lí con bướm với cặp đường thẳng
I.40) Điểm Blaikie
I.41) Định lí chùm đường thẳng đồng quy
I.42) Đường tròn Apollonius
I.43) Định lí Blanchet
I.44) Định lí Blanchet mở rộng
I.45) Định lí Jacobi
I.46) Định lí Kiepert
I.47) Định lí Kariya
I.48) Cực trực giao
I.49) Khái niệm tam giác hình chiếu ,công thức Euler về diện tích tam giác hình chiếu
I.50) Khái niệm hai điểm đẳng giác
I.51) Khái niệm tứ giác toàn phần.
I.52) Đường thẳng Droz-Farny
I.53) Đường tròn Droz-Farny
I.54) Định lí Van Aubel về tứ giác và các hình vuông dựng trên cạnh
I.55) Hệ thức Van Aubel
I.56) Định lí Pithot
I.57) Định lí Johnson
I.58) Định lí Eyeball
I.59) Bổ đề Haruki
I.60) Bài toán Langley
I.61) Định lí Paul Yiu về đường tròn bàng tiếp.
I.62) Định lí Maxwell
I.63) Định lí Brahmagupta về tứ giác nội tiếp có hai đường chéo vuông góc.
I.64) Định lí Schooten
I.65) Định lí Bottema
I.66) Định lí Pompeiu
I.67) Định lí Zaslavsky
I.68) Định lí Archimedes
I.69) Định lí Urquhart
I.70) Định lí Mairon Walters
I.71) Định lí Poncelet về bán kính đường tròn nội tiếp,bàng tiếp trong tam giác vuông.
I.72) Định lí Hansen
I.73) Định lí Steinbart suy rộng
I.74) Định lí Monge & d’Alembert I
I.75) Định lí Monge & d’Alembert II
I.76) Định lí Steiner về bán kính các đường tròn.
I.77) Định lí Bellavitis
I.78) Định lí Feuer bach-Luchterhand

II. Một số điểm và đường đặc biệt được xác định duy nhất với tam giác và tứ giác:

2
Ở đây nếu không giải thích gì thêm thì yếu tố được hiểu là trong tam giác.

II.1) Đường thẳng Euler của tam giác

II.2) Đường tròn và tâm Euler
II.3) Đường đối trung, điểm Lemoine
II.4) Điểm Gergone,điểm Nobb, đường thẳng Gergone
II.5) Điểm Nagel
II.6) Điểm Brocard
II.7) Điểm Schiffler
II.8) Điểm Feuerbach
II.9) Điểm Kosnita
II.10) Điểm Musselman,định lí Paul Yiu về điểm Musselman
II.11) Khái niệm vòng cực của tam giác.
II.12) Điểm Gibert
II.13) Trục Lemoine
II.14) Tâm Morley
II.15) Tâm Spieker và đường thẳng Nagel
II.16) Hai điểm Fermat
II.17) Điểm Parry reflection.
II.18) Đường tròn Taylor, tâm Taylor
II.19) Điểm Bevan
II.20) Điểm Vecten
II.21) Điểm Mittenpunkt
II.22) Điểm Napoleon
II.23) Đường tròn Adam
II.24) Tam giác Fuhrmann, đường tròn Fuhrmann
II.25) Hình luc giác và đường tròn Lemoine thứ nhất
II.26) Hình lục giác và đường tròn Lemoine thứ hai
II.27) Điểm Euler của Tứ giác nội tiếp
II.28) Đường thẳng Steiner của tứ giác toàn phần
II.29) Đường thẳng Gauss của tứ giác toàn phần.
II.30) Điểm Miquel của tứ giác toàn phần
II.31) Đường tròn Miquel của tứ giác toàn phần.

III. Một số mảng kiến thức quan trọng.

III.1) Tỉ số kép, phép chiếu xuyên tâm

III.2) Hàng điểm điều hòa và một số hệ thức liên quan
III.3) Chùm điều hòa, tứ giác điều hòa
III.4) Góc giữa đường thẳng và đường tròn, giữa hai đường tròn, đường tròn trực giao
III.5) Cực và đối cực.

IV. Một số định lí không chứng minh.

Ở đây sẽ giới thiệu một số định lí rất hay và dễ hiểu (nhưng cách chứng minh mà mình biết là
phức tạp) tuy nhiên rất vui nếu ai đó sẽ giới thiệu những chứng minh của nó.

IV.1) Định lí Aiyer

IV.2) Đường tròn Lester
IV.3) Tâm Eppstein

3
IV.4) Đường tròn Neuberg-Mineur của tứ giác
IV.5) Paracevian perspector

B. MỘT SỐ KHÁI NIỆM, ĐỊNH LÍ.

4
I.1) Định lí Menelaus.

Định lí: Cho tam giác ABC và 3 điểm M, N, P lần lượt thuộc BC, CA, AB. Khi đó M, N, P thẳng
hàng khi và chỉ khi:

MB NC PA
. . = 1 (1)
MC NA PB

Chứng minh:
a) Khi M, N, P thẳng hàng. Trên M N lấy 1 điểm Q sao cho AQ//BC. Theo Thales ;

Hình 1:

NC MC PA QA
= ; =
NA QA P B MB

Từ đó dễ có đẳng thức (1) trên.

b) Ngược lại, khi có (1):
Giả sử PN cắt BC tại M’. Theo phần trước ta có:

M 0B N C P A
. . =1
M 0C N A P B
Kết hợp với (1) suy ra

MB M 0B
= ¯0
MC MC

Do đó M trùng M 0 tức là M, N, P thẳng hàng. Vậy ta có điều phải chứng minh.

5
I.2) Mở rộng định lí Menelaus theo diện tích
Định lí: Cho tam giác ABC và 3 điểm M, N, P lần lượt nằm trên BC, CA, AB. Khi đó ta có:

SM N P BM .CN .AP − CM .AN .BP

=
SABC AB.BC.CA

Chứng minh: (thamtuhoctro post).

Gọi e~1 , e~2 , e~3 là vector chỉ phương của BC, CA, AB. Ta có:

Hình 2:

S [ABC] = S [M AB] + S [M CA]

S [ABC] = S [P M A] + S [P BM ] + S [N M C] + S [N AM ]
S [ABC] = S [M N P ] + S [BM P ] + S [CN M ] + S [AP N ]
Mặt khác :

S [BM P ] BM .BP . sin (e1 ; e2 ) BM .BP

= =
S [ABC] BC.BA. sin (e1 ; e2 ) BC.BA
Tương tự:

S [CN M ] CN .CM S [AP N ] AP .AN

= ; =
S [ABC] CA.CB S [ABC] AB.AC
Ta suy ra:
S [M N P ] S [BM P ] S [CN M ] S [AP N ]
=1− − −
S [ABC] S [ABC] S [ABC] S [ABC]

S [M N P ] BM .BP CN .CM AP .AN

=1− − −
S [ABC] BC.BA CA.CB AB.AC
S [M N P ] BM .CN .AP − CM .AN .BP
=
S [ABC] AB.BC.CA

6
I.3) Định lí Menelaus cho tứ giác:
Định lí: Cho tứ giác ABCD và một đường thẳng d cắt AB, BC, CD, DA lần lượt ở M, N, P, Q. Khi
đó ta có:
M A N B P C QD
. . . =1
M B N C P D QA

Chứng minh: Ta sẽ làm giống cách chứng minh ở tam giác

Hình 3:

Trên d lấy hai điểm I, J sao cho AI//BJ//CD. Theo Thales ta có:

MA IA N B JB QD PD
= ; = ; =
MB JB N C P C QA IA

Từ đó dễ có điều cần chứng minh.

∗ Chú ý
1) Khi áp dụng cho tứ giác, định lí Menelaus chỉ phát biểu dạng thuận bởi dạng đảo nói chung không
đúng.
2) Các bạn thử suy nghĩ xem với dạng thuận như thế này thì có thể mở rộng cho đa giác được không?
(Một vấn đề khá thú vị:)

7
I.4) Định lý Ceva.
Định lý: Cho tam giác ABC. Gọi E, F, G là ba điểm tương ứng nằm trên BC, CA, AB. Ba đường
thẳng AE, BF, CG cắt nhau tại một điểm O khi và chỉ khi:

AG BE CF
. . =1
GB EC F A

Chứng minh:

Hình 4:

Phần thuận:
Giả sử ba đường thẳng AE, BF, CG cắt nhau tại một điểm O. Từ A và C, kẻ các đường song song với
BF , chúng lần lượt cắt CG và AE tại K, I tương ứng. Ta có:

CF CO CI CO
= ; =
FA OK AK OK
(Sử dụng định lý Thales)

CF IC
⇒ =
FA AK
Các cặp tam giác đồng dạng IEC và OEB, AKG và BOG:

BE BO AG AK
= ; =
CE CI BG BO
Do đó:
AG BE CF AK BO CI
. . = . . =1
GB EC F A OB IC AK

Phần đảo: Giả sử ta có:

AG BE CF
. . =1
GB EC F A

8
Qua giao điểm của các đường thẳng AE và BF , kẻ đường thẳng CC1 với C1 nằm trên cạnh AB. Khi
đó, theo chứng minh phần thuận:

AC1 BE CF AG BE CF
. . =1= . . =1
C1 B EC F A GB EC F A
Suy ra

AC1 AG
=
C1 B GB

Hay C1 ≡ G, ta có điều phải chứng minh.

9
I.5) Định lý Ceva sin
Định lý: Gọi E, F, G là ba điểm tương ứng nằm trên các đường thẳng BC, CA, AB của tam giác
ABC. Ba đường thẳng AE, BF, CG cắt nhau tại một điểm O khi và chỉ khi:

sin (ABF ) sin (BCG) sin (CAE)

. . =1
sin (CBF ) sin (ACG) sin(BAE)

Chứng minh:

Hình 5:

Phần thuận: Giả sử AE, BF, CG đồng quy tại O. Khi đó hai tam giác ABE và ACE có cùng chiều
cao hạ từ đỉnh A.
BE SABE AB.AE. sin BAE AB. sin BAE
⇒ = = =
EC SACE AC.AE. sin CAE AC. sin CAE
Tương tự
CF BC. sin CBF
=
FA BA. sin ABF
Và
AG CA. sin ACG
=
GB CB. sin BCG
Nhân từng vế ba đẳng thức trên được:
sin ABF sin BCG sin CAE BE CF AG
. . = . . =1
sin CBF sin ACG sin BAE EC F A GB
(Theo định lý Ceva)
Từ đó suy ra đpcm.
Phần đảo: Chứng minh tương tự phần đảo ở mục 4.

10
I.6) Định lý Desargues

Định lý: Cho tam giác ABC và tam giác A0 B 0 C 0 . Khi đó AA0 , BB 0 , CC 0 đồng quy khi và chỉ khi
các giao điểm của BC và B 0 C 0 , CA và C 0 A0 , AB và A0 B 0 thẳng hàng.

Chứng minh: Gọi X, Y, Z là lần lượt là các giao điểm của các cặp cạnh BC và B 0 C 0 , CA và

Hình 6:

C 0 A0 , AB và A0 B 0 .
Phần thuận: Giả sử các đường thẳng AA0 , BB 0 , CC 0 đồng quy tại S. Ta chứng minh X, Y, Z thẳng
hàng.
Áp dụng định lí Menelaus cho tam giác SBC với cát tuyến XB 0 C 0 ta có:

XB C 0 C B 0 S XB SC 0 BB 0
. 0 . 0 = 1 hay = .
XC C S B B XC SB 0 CC 0
Tương tự, ta có:

YC SA0 CC 0 ZA SB 0 AA0
= . và = .
YA SC 0 AA0 ZB SA0 BB 0
Nhân từng vế các đẳng thức trên lại với nhau, và theo định lí Menelaus suy ra X, Y, Z thẳng hàng.
Phần đảo: Giả sử các điểm X, Y, Z thẳng hàng. Ta chứng minh các đường thẳng AA0 , BB 0 , CC 0 đồng
quy. Gọi S là giao điểm của AA0 và BB 0 . SC cắt đường thẳng AC 0 tại C 00 .
Xét 2 tam giác ABC và A0 B 0 C có các đường nối các đỉnh tương ứng đồng quy, do đó theo phần thuận
giao điểm của các cạnh tương ứng cũng đồng quy.
Ta thấy AB cắt A0 B 0 tại Z, AC cắt A0 C 00 tại Y (do A0 , C 0 , C 0 thẳng hàng), suy ra giao điểm X 0 của
BC và B 0 C 0 phải thuộc Y Z. Tức là X 0 là giao của Y Z và BC nên X 0 trùng với X. Suy ra C 0 trùng
với C 0 , hay AA0 , BB 0 , CC 0 đồng quy.

11
I.7) Định lí Pappus

Định lí: Cho ba điểm A, B, C nằm trên đường thẳng a, X, Y, Z nằm trên đường thẳng b.Gọi M, N, P
lần lượt là giao điểm của các cặp đường thẳng (AY, BX), (AZ, CX), (CY, BZ). Khi đó M, N, P thẳng
hàng.
Chứng minh:

Hình 7:

Định lí này có một cách chứng minh dùng Menelaus, nếu có điều kiện mình sẽ post lên, còn sau đây
là một cách dựa trên kiến thức cơ sở về tỉ số kép và phép chiếu xuyên tâm.

Ta có bổ đề sau được chứng minh dễ dàng nhờ những hiểu biết ban đầu về tỉ số kép và phép chiếu
xuyên tâm:

Bổ đề: Cho góc xOy và các điểm A, B, C thuộc Ox; D, E, F thuộc Oy. Khi đó AD, BE, CF đồng
quy khi và chỉ khi: (OABC) = (ODEF ).
Bổ đề trên bạn đọc tự chứng minh, bây giờ ta sẽ trở lại bài toán.

Kí hiệu FE là phép chiếu xuyên tâm E. Gọi T, Q lần lượt là giao điểm của BX và AZ; CX và
BZ.

Sử dụng bổ đề trên thì ta sẽ cần chứng minh: (BT M X) = (BZP Q).

+) Trường hợp a//b bạn đọc hãy chứng minh nhờ Thales.

+) Khi a không song song với b. Gọi S là giao của a và b. Ta thấy: Với: FA : (BT M X) = (SZY X).

Với: FC : (SZY X) = (BZP Q).

Từ đó suy ra điều cần chứng minh.

12
I.8) Một trường hợp đặc biệt của định lí Pappus qua góc nhìn hình xạ ảnh.

Ở phần này chúng tôi chỉ dùng hình xạ ảnh để dẫn dắt đến kết quả còn nội dung định lí và cách
chứng minh thì hoàn toàn phù hợp với kiến thức hình THCS.

Ta có kết quả sau liên quan đến hình xạ ảnh: Các đường thẳng song song với nhau thì gặp nhau
tại một điểm ở vô cực và ngược lại.

Vận dụng vào định lí Pappus ở trên , cho các điểm A, B, C ra vô cực thì theo kết quả về hình xạ ảnh ta
có Y M//ZN (Vì Y M, ZN cùng đi qua một điểm (A) ở vô cực ). Tương tự thì: XN//Y P, XM//ZP .
Và khi ấy M, N, P vẫn thẳng hàng. Ta phát biểu lại được một định lí đơn giản và hữu dụng sau đây:

Định lí: Trên mặt phẳng cho ba điểm X, Y, Z thẳng hàng và ba điểm M, N, P thỏa mãn XN//Y P ,
Y M//ZN , XM//ZP . Khi đó ta cũng có M, N, P thẳng hàng.

Chứng minh:

Hình 8:

Trường hợp M P//XY Z thì đơn giản, bạn đọc tự chứng minh.

Ta sẽ xét khi M P không song song với XY Z. Gọi S là giao điểm của M P với XY Z. Đường thẳng
qua X song song với Y P cắt M P ở N 0 . Bài toán sẽ được gải quyết nếu ta chứng minh được rằng
ZN 0 //Y M (Vì khi ấy N 0 trùng N ).
Thật vậy, chú ý Y P//XN 0 , ZP//XM nên theo Thales ta có:

SY SY SX SP SM SM
= . = 0
. =
SZ SX SZ SN SP SN 0
Đến đây theo Thales đảo ta suy ra ZN 0 //Y M . Chứng minh được hoàn tất.

13
I.9) Đẳng thức Ptolemy

Định lí: Với tứ giác nội tiếp ABCD thì:

AB.CD + AD.BC = AC.BD

Chứng minh: Lấy điểm E thuộc AC sao cho DEC \ ⇒ ∆ADB đồng dạng ∆DEC
\ = ADB

Hình 9:

AD DB AB
⇒ = = ⇒ AB.DC = EC.DB
DE DC EC
Tương tự ∆ADE đồng dạng ∆BDC

⇒ AE.BD = AD.BC ⇒ AD.BC + AB.CD = BD(EA + EC) = BD.AC(đpcm)

14
I.10) Bất đẳng thức Ptolemy

Định lý: Cho tứ giác ABCD. Khi đó có

AC.BD ≤ AB.CD + AD.BC

Chứng minh: Lấy E nằm trong tứ giác ABCD sao cho

Hình 10:

EDC
\ = ADB
\ và ECD
\ = ABD
\

Khi đó
AB EC
∆ABD ∆ECD ⇒ = hay AB.DC = EC.BD.
BD DC
Hơn nữa
AD BD
∆ADE ∆BDC(c.g.c) ⇒ = hay AD.CB = BD.AE
AE CB
Vậy ta có

AB.CD + BC.AD = BD(EA + EC) ≥ BD.AC(đpcm)

15
I.11) Định lý Pascal

Định lý: Cho 6 điểm A, B, C, D, E, F cùng thuộc một đường tròn. Khi đó các giao điểm của các
cặp cạnh AB vàDE, BC và EF, CD và F A thẳng hàng.

Chứng minh: Gọi P, M, N lần lượt là giao điểm của AF và CD, AB và DE, BC và EF . Gọi

Hình 11:

P 0 , M 0 , N 0 lần lượt là giao điểm của BC và DE, BC và AF, DE và AF .

Áp dụng định lí Menelaus cho ∆P 0 M 0 N 0 với cát tuyến P CD:

CP 0 DN 0 P M 0
. . =1
CM 0 DP 0 P N 0
PM0 CM 0 DP 0
= .
PN0 CP 0 DN 0
Tương tự ta có:

NP0 F N 0 EP 0 MN0 AN 0 BM 0
= . và = .
NM0 F M 0 EN 0 MP0 AM 0 BP 0
Nhân các biểu thức trên lại kết hợp với các biểu thức phương tích sau:

BM 0 .CM 0 = AM 0 .F M 0

EN 0 .DN 0 = F N 0 .AN 0
CP 0 .BP 0 = DP 0 .EP 0
Ta có :
NP0 MN0 PM0
. . = 1.
NM0 MP0 PN0

Áp dụng định lí Menelaus đảo ta có đpcm.

16
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, F A 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, P Q), (M N, QR), (N P, RS). Vì SM và P Q 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à F C 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 M N P QRS 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.

17
I.13) Định lí Miquel

Định lí: Cho tam giác ABC và ba điểm M, N, P lần lượt nằm trên BC, CA, AB. Khi đó các đường
tròn ngoại tiếp các tam giác AP N, BP M và CM N đồng quy.

Chứng minh: Gọi S là giao điểm của (BP M ) và (CM N ). Ta sẽ chứng minh S nằm trên (AP N ).

Hình 12:

Thật vậy:

(SN, SP ) ≡ (SN, SM ) + (SM, SP ) ≡ (CN, CM ) + (BM, BP )

≡ (CA, CB) + (BC, BA) ≡ (CA, BA) ≡ (AN, AP )(modπ)

Suy ra điều cần chứng minh.

18
I.14) Công thức Carnot

Định lý: Cho ∆ABC nội tiếp (O, R). Gọi x, y, z lần lượt là khoảng cách từ O đến BC, AC, AB.
Gọi r là bán kính đường tròn nội tiếp tam giác ABC. Ta có:
a) Nếu ∆ABC nhọn thì công thức carno là x + y + z = R + r.
b) Nếu  > 9O◦ thì công thức carno là y + z − x = R + r.
Chứng minh:
a) Nếu ∆ABC nhọn Gọi F, E, D lần lượt là trung điểm của BC, CA, AB.

Hình 13:
Như vậy ta có OF = x, OE = y, OD = z. Đặt BC = a, CA = b, AB = c.
Áp đụng bất đẳng thức Ptolemy cho tứ giác nội tiếp OF BD ta có:
OB.DF = OF.DB + F B.OD
Hay
b a c
R. = z. + x.
2 2 2
Tương tự ta có
c a b a c b
R. = y. + x. ; R. = y. + z.
2 2 2 2 2 2
Ta lại có
b a c a b c
r + + = SABC = SOBC + SAOC + SABO = x. + y. + z.
2 2 2 2 2 2
Cộng bốn biểu thức trên lại ta có
a + b + c a + b + c
(r + R) = (x + y + z) ⇒R+r =x+y+z
2 2
b) Nếu  > 9O◦ chứng minh tương tự.

r
Viết dưới dạng lượng giác, công thức Carnot chính là hệ thức cos A + cos B + cos C = 1 + R. Chú ý
hệ thức này đúng với mọi tam giác.

19
Hình 14:

20
I.15) Định lí Carnot

Định lý: Cho ∆ABC. Gọi M, N, P lần lượt là các điểm thuộc các cạnh BC, AC, AB. dM , dN , dP
lần lượt là các đường thẳng đi qua M, N, P và vuông góc với BC, AC, AB. dM , dN , dP đồng quy khi
và chỉ khi

M B 2 + N C 2 + P A2 = M C 2 + N A2 + P B 2

Chứng minh:

Hình 15:

a) Phần thuận:
Gọi dM , dN , dP đồng quy tại O.
ĐPCM

⇔ M B 2 + OM 2 + N C 2 + ON 2 + P A2 + OP 2 = M C 2 + OM 2 + N A2 + ON 2 + P B 2 + OP 2

⇔ OB 2 + OC 2 + OA2 = OB 2 + OC 2 + OA2
Đẳng thức này đúng nên ta có điều phải chứng minh.
b) Phần đảo
Gọi giao điểm của dM , dN tại O. Qua O hạ đường vuông góc xuống AB tại P 0 . Áp dụng định lí thuận
ta có

M B 2 + N C 2 + P 0 A2 = M C 2 + N A2 + P 0 B 2

⇒ P trùng với P 0 ⇒ dM , dN , dP đồng quy.

21
I.16) Định lý Brokard

Định lý: Cho tứ giác lồi ABCD nội tiếp đường tròn tâm O. AD giao BC tại M, AB giao CD
tại N, AC giao BD tại I.Chứng minh rằng O là trực tâm của tam giác M IN .
Chứng minh:

Hình 16:

Gọi H là giao thứ 2 của hai đường tròn ngoại tiếp các tam giác AID, BIC. Xét tứ giác DOHC, ta có:

\ = 360◦ − DHI
DHC [ − CHI
[ = DAC
\ + DBC
\ = DOC
\

Từ đó suy ra tứ giác DOHC nội tiếp. Tương tự ta cũng suy ra tứ giác AOHB nội tiếp.
Dễ thấy

N A.N B = N C.N D

Suy ra N nằm trên trục đẳng phương của hai đường tròn (AIHD), (BIHC) nên O, H, N thẳng hàng.
Ta có:

IHO [ − OHD
[ = IHD \ = ADC \ − OCD
\ + ACD \ = OCA
[ + ODA \ = 90◦
\ + ODC

Từ đó suy ra IM ⊥ ON .
Tương tự ta có: IN ⊥ OM Suy ra O là trực tâm tam giác M IN (đpcm).

T.Anh: Định lý này sử dụng cách chứng minh bằng cực đối cực sẽ nhanh hơn rất nhiều: Xem bài
toán số 2 phần I mục C trong bài viết

22
I.17) Định lí Euler về khoảng cách giữa tâm 2 đường tròn nội, ngoại tiếp của tam giác.

Định lý: Cho tam giác ABC nội tiếp (O; R) và ngoại tiếp (I; r). Chứng minh rằng OI 2 = R2 − 2Rr.
Chứng minh:

Hình 17:

Kéo dài AI cắt (O) tại M . Vẽ đường kính M N của đường tròn (O). Hạ ID ⊥ AB. Kéo dài OI cắt
(O) tại E và F . Ta có ∆AID ∆N M C (g.g)

ID AI
⇒ = ⇒ 2Rr = ID.M N = AI.M C
MC MN
Mặt khác dễ dàng chứng minh

M C = M I ⇒ 2Rr = IA.IM

Lại có

IA.IM = IE.IF = R2 − OI 2

nên ta có điều phải chứng minh.

23
I.18) Định lí Euler về khoảng cách giữa tâm hai đường tròn nội ngoại tiếp tứ giác (Định
lí Fuss)

Định lí: Cho tứ giác ABCD vừa nội tiếp (O, R) vừa ngoại tiếp (I, r). Đặt d = OI. Khi đó ta
có:
1 1 1
+ = 2
(R − d)2 (R + d)2 r

Chứng minh

Hình 18:

Gọi tiếp điểm của (I) trên AB, BC, CD, DA lần lượt là M, N, P, Q. BI, CI cắt (O) lần lượt ở E, F .
Ta thấy:

(BA, BC) + (DC, DA) π

(DE, DF ) ≡ (DE, DC)+(DC, DF ) ≡ (BE, BC)+(DC, DF ) ≡ ≡ (modπ)
2 2
Do đó E, O, F thẳng hàng, nên O là trung điểm của EF . Theo công thức đường trung tuyến trong
tam giác IEF ta có:

IE 2 IF 2 EF 2 IE 2 IF 2
d2 = IO2 = + − = + − R2
2 2 4 2 2
Từ đó suy ra:

1 1 2(R2 + d2 ) IE 2 + IF 2 IE 2 IF 2
+ = = = +
(R − d)2 (R + d)2 (R2 − d2 )2 (PI/(O) )2 (PI/(O) )2 (PI/(O) )2

IE 2 IF 2 1 1
= 2
+ 2
= 2
+
(IE.IB) (IF.ID) IB ID2

24
I.19) Định lí Casey (Định lí Ptolemy mở rộng)

Định lí: Cho tứ giác ABCD nội tiếp (O, R). Đặt các đường tròn α, β, γ, δ là các đường tròn tiếp
xúc với (O) tại các đỉnh A, B, C, D. Đăt tαβ là độ dài đoạn tiếp tuyến chung của hai đường tròn α, β.
Trong đó tαβ là độ dài tiếp tuyến chung ngoài nếu hai đường tròn α, β cùng tiếp xúc trong hoặc cùng
tiếp xúc ngoài với (O), và là độ dài đoạn tiếp xúc trong nếu trong trường hợp còn lại. Các đoạn tβγ , tγδ ,
... được xác định tương tự. Khi đó ta có:

tαβ .tγδ + tβγ .tαδ = tαγ .tβδ

Chứng minh

Hình 19:

Ta chứng minh trường hợp α, β, γ, δ cùng tiếp xúc ngoài với (O). Các trường hợp còn lại chứng minh
tương tự. Lần lượt đặt tâm các đường tròn trên là A0 , B 0 , C 0 , D0 và bán kính lần lượt là x, y, z, t. Đặt
AB = a, BC = b, CD = c, DA = d, AC = m, BD = n.
Áp dụng định lý Pythagore:

(tαβ )2 = A0 B 02 − (x − y)2

Mặt khác lại có: (theo định lí hàm số cos)

A0 B 02 = (R + x)2 + (R + y)2 − 2(R + x)(R + y) cos (A0 OB

ˆ 0)

a2
A0 B 02 = (R + x)2 + (R + y)2 − 2(R + x)(R + y)(1 − )
2R2
a2
A0 B 02 = (R + x)2 − 2(R + x)(R + y) + (R + y)2 + (R + x)(R + y).
R2
a2
A0 B 02 = (x − y)2 + 2 .(R + x)(R + y)
R
a p
⇒ tαβ = . (R + x)(R + y)
R
Tương tự với

tβγ , tγδ , ...

25
Ta có

tαβ .tγδ + tβγ .tαδ = tαγ .tβδ ⇔ a.c + b.d = m.n(định lý Ptolemy)

Ngược lại ta thấy định lý Ptolemy là một trường hợp đặc biệt của định lí Casey khi x = y = z = t = 0.

26
I.20) Hệ thức Stewart

Định lí: Cho ba điểm A, B, C thẳng hàng. Và một điểm M bất kì. Ta luôn có hệ thức
2 ¯ 2 ¯ 2 ¯
M¯A .BC + M¯B .CA + M¯C .AB ¯ CA.
+ BC. ¯ AB
¯ =0

Chứng minh

Hình 20:

Qua M hạ M H ⊥ AC. Ta có:

2 2 2
M A .BC + M B .CA + M C .AB + BC.CA.AB

= (M H 2 + HA2 ).BC + (M H 2 + HB 2 ).CA + (M H 2 + HC 2 ).AB + BC.CA.AB

2 2 2 2
= M H .(BC + CA + AB) + (HA .BC + HB .CA + HC .AB + BC.CA.AB)
2 2 2
= 0 + HA .BC + HB .CA + HC .AB + BC.CA.AB
(Đưa về trường hợp hệ thức Stewart cho 4 điểm thẳng hàng (khi M nằm trên đường thẳng chứa
A, B, C))
2 2 2
HA .BC + HB .CA + HC .AB + BC.CA.AB
2 2 2
= HA .(HC −HB)+HB .(HA−HC)+HC .(HB −HA)+(HC −HB).(HA−HC).(HB −HA) = 0
Ta có đpcm.

27
I.21) Định lí Lyness

Định lí: Nếu đường tròn tâm O tiếp xúc trong với đường tròn ngoại tiếp tam giác ABC tại T
và tiếp xúc với các cạnh AB, AC của tam giác lần lượt tại E và F thì tâm đường tròn nội tiếp của
tam giác nằm trên EF . Chứng minh:

Hình 21:

Để chứng minh định lí này ta cần chứng minh 2 bổ đề sau:

Bổ đề 1: AB là dây của một đường tròn tâm (O). Đường tròn (l) tiếp xúc với dây AB tại K và tiếp
xúc trong với (O) tại T . Chứng minh L là trung điểm của cung AB ko chứa T và LA2 = LK.LT .
Bổ đề 2: Điểm M là trung điểm cung BC ko chứa A của đường tròn ngoại tiếp tam giác ABC. Điểm
I thuộc đoạn M A sao cho M I = M B. Chứng minh rằng I là tâm đường tròn nội tiếp tam giác ABC.
Việc chứng minh 2 bổ đề này là khá đơn giản.
Ta tiếp tục quay trở lại với việc chứng minh định lí Lyness.
kẻ T F giao (O) tại P , BP cắt EF tại H.
Theo bổ đề 1 ta có BP là phân giác của góc B. Ta có:

HET
\ = HBT
\ (= F
[ T x) ⇒ HEBT nt ⇒ T
\ HB = T[
EB

Mà

T[ F E ⇒ T[
EB = T[ FE = T
\ HB

⇒ ∆P HF ∼ ∆P T H ⇒ P H 2 = P F.P T
Theo bổ đề 1 ta lại có

P C 2 = P F.P T ⇒ P C = P H

Theo bổ đề 2 ta được H là tâm đường tròn nội tiếp tam giác ABC (ĐPCM).

28
I.22) Định lý Lyness mở rộng(Bổ đề Sawayama)

Định lí: Cho tam giác ABC nội tiếp đường tròn (O). M thuộc BC (Có cách phát biểu khác là:
cho tứ giác ABDC và M là giao của BC và AD; nhưng hai cách phát biểu này là tương đương). Một
đường tròn (O0 ) tiếp xúc với hai cạnh M A và M C tại E và F đồng thời tiếp xúc với cả đường tròn
(O) tại K. Khi đó ta có tâm đường tròn nội tiếp của tam giác ABC nằm trên đường thẳng EF .
Chứng minh

Hình 22:

KF cắt đường tròn (O) tại G. Áp dụng bổ đề 1 định lý Lyness ở trên, ta có G là điểm chính giữa cung
BC. Gọi I là giao của AG với EF . Ta có

IEK
[ = IAK
[ =F\KD ⇒ AEIKnội tiếp ⇒ AIK
[ = EF
\ K = AEK
\

⇒ ∆EF K ∆IAK(g.g) ⇒ EKA

\ = GKI
[ = GIF
[

⇒ ∆GIF ∆GKI(g.g) ⇒ GI 2 = GF.GK

Lại cũng theo bổ đề 1 ta có

GC 2 = GF.GK ⇒ GC = GI ⇒ I là tâm nội tiếp của ∆ABC(theo bổ đề 2)

Xem thêm các hệ quả của định lý Lyness tại báo toán tuổi thơ 2 số 42 và 43.

29
I.23) Định lí Thébault

Định lí: Cho tam giác ABC nội tiếp đường tròn (O). D là một điểm nằm trên cạnh BC. Đường
tròn tâm P tiếp xúc với 2 đoạn AD, DC và tiếp xúc trong với (O). Đường tròn tâm Q tiếp xúc với 2
đoạn AD, DB và tiếp xúc trong với (O). Gọi I là tâm nội tiếp tam giác ABC. Ta có: P, I, Q thẳng
hàng.
Chứng minh

Hình 23:

Gọi G, H lần lượt là tiếp điểm của (Q) với DB, AD. Gọi I là giao điểm của EF và GH. Theo định
lí lyness mở rộng (đã có trong bài của trung anh), I là tâm nội tiếp tam giác ABC. Vậy ta chỉ cần
chứng minh P, I, Q thẳng hàng. Thật vậy, gọi X, Y lần lượt là giao điểm của GH và DQ; EF và DP .
Áp dụng định lí Thales ta có:
IX YD QX
= =
PD PD QD

Vậy P, I, Q thẳng hàng(dpcm).

30
I.24) Công thức Jacobi liên quan đến tâm tỉ cự,định lí Lebnitz
1) Công thức Jacobi:
Nếu I là tâm tỉ cự của hệ điểm A1 , A2 , ..., An ứng với các hệ số a1 , a2 , ..., an thì với mọi điểm M trên
mặt phẳng ta đều có:
n
X n
X
ai M A2i = ai IA2i + (a1 + ... + an )M I 2
i=1 i=1

Chứng minh:
n n n n
X X −−→ ~ i )2 = (a1 + ... + an )M I 2 + 2−
−→ X −−→ X
ai M A2i = ai (M I + IA M I( ai .IAi ) + ai .IA2i
i=1 i=1 i=1 i=1

n
X
2
= (a1 + ... + an )M I + ai IA2i
i=1

(do I là tâm tỉ cự của hệ điểm nên ni=1 ai .IA

~ i = 0) suy ra đpcm.
P
2) Định lí Lebnitz. Đây là trường hợp đặc biệt của công thức trên khi n = 3.
3) Hệ quả khác:
Giá trị nhỏ nhất của biểu thức
n
X
ai M A2i
i=1

31
I.25) Định lí Newton cho tứ giác ngoại tiếp

Định lý: Cho tứ giác ABCD ngoại tiếp đường tròn O. Khi đó trung điểm hai đường chéo AC, BD và
tâm O thẳng hàng.
Chứng minh

Hình 24:

Gọi P, Q, R, S lần lượt là các tiếp điểm của các đoạn thẳng AB, BC, CD, DA đối với đường tròn (O).
Đặt SA = AP = a, BP = BQ = b, CQ = CR = c, DR = DS = d. Áp dụng định lý con nhím cho tứ
giác ABCD ta có:
−−→ −−→ −−→ −→
(a + b)OP + (b + c)OQ + (c + d)OR + (d + a)OS = 0
X b −→ a −−→
(a + b)[ OA + OB] = 0
a+b a+b
−→ −−→ −−→ −−→
(b + d)(OA + OC) + (a + c)(OB + OD) = 0
−−→ −−→
(b + d)OM + (a + c)ON = 0
~ , ON
Từ đó suy ra hai vecto OM ~ cùng phương. Suy ra O, M, N thẳng hàng (đpcm).

32
I.26) Định lí Breichneider (định lý hàm số cos cho tứ giác)

Định lý: Cho tứ giác ABCD có độ dài các cạnh AB, BC, CD, DA lần lượt là a, b, c, d và độ dài
hai đường chéo AC, BD là m, n. Khi đó ta có:

m2 n2 = a2 c2 + b2 d2 − 2abcd. cos (A + C)

Chứng minh

Hình 25:

Trên cạnh AB ra phía ngoài dựng tam giác ABN đồng dạng với tam giác CAD, và dựng ra phía ngoài
cạnh AD tam giác ADM đồng dạng với tam giác CAB. Khi đó dễ thấy: AN = ac bd
m , AM = m , N B =
ad
DM = m và BDM N là hình bình hành. Đồng thời có

N
\ AM = A
b+C
b

Áp dụng đính lí hàm số cos cho tam giác N AM , ta có

ac 2 bd ac bd
n2 = ( ) + ( )2 − 2( ).( ). cos (A + C)
m m m m
⇔ m2 n2 = a2 c2 + b2 d2 − 2abcd. cos (A + C)

33
I.27) Định lí con nhím

Định lí: Cho đa giác lồi A1 A2 A3 ...An và các vecto e~1 , e~2 , ..., e~n là các vecto có độ dài bằng các
cạnh A1 A2 , A2 A3 , ..., An A1 , tương ứng vuông góc với các cạnh ấy và hướng ra phía ngoài đa giác. Thế
thì :

e~1 + e~2 + ... + e~n = ~0

Chứng minh:

Hình 26:

Không giảm tính tổng quát ,giả sử đa giác A1 A2 A3 ...An có hướng dương. Xét phép quay vecto:

Q π2 (e~1 + e~2 + ... + e~n ) = Q π2 e~1 + Q π2 e~2 ... + Q π2 e~n = A1~A2 + A2~A3 + .... + An~A1 = ~0

Từ đó suy ra điều cần chứng minh.

34
I.28) Định lí Gergone-Euler.

Định lí: Xét tam giác ABC và một điểm S trong mặt phẳng. AS, BS, CS lần lượt cắt BC, CA, AB
ở D, E, F . Khi đó ta có:

SD SE SF
+ + =1
AD BE CF

Chứng minh:

Hình 27:

Kí hiệu S[ ..] chỉ diện tích đại số của đa giác. Ta thấy :

SD S[SBD] S[SDC] S[SBD] + S[SDC] S[SBC]

= = = = (1)
AD S[ABD] S[ADC] S[ABD] + S[ADC] S[ABC]

Tương tự ta có:

SE S[SCA]
= (2)
BE S[BCA]

SF S[SAB]
= (3)
CF S[CAB]

35
I.29) Định lí Peletier

36
I.30) Định lí Miobiut

Hình 28:

37
I.31) Định lí Viviani

Định lí: Trong tam giác đều ABC ta lấy 1 điểm S. Ta sẽ có tổng các khoảng cách từ điểm S
tới ba cạnh sẽ có độ dài bằng 1 đường cao của tam giác.
Chứng minh:

Hình 29:

Kẻ SD, SE, SF lần lượt vuông góc với BC, CA, AB. Đặt độ dài cạnh tam giác ABC là a, độ dài đường
cao AH là b. Ta có:

BC.AH = a.b = 2SABC = 2(SSBC +SSCA +SSAB ) = SD.BC +SE.CA+SF.AB = a(SD+SE +SF )

Giản ước hai vế cho a ta có điều cần chứng minh.

38
I.32) Công thức Lagrange mở rộng.

Định lý: Gọi I là tâm tỉ cự của hệ điểm {A1 , ..., An } ứng với các hệ số a1 , ..., an thì với mọi điểm M :
X
ai aj Ai A2j
n n
X
2 1≤i<j≤n X
ai M Ai = n +( ai )M I 2
X
i=1 ai i=1

i=1

Chứng minh:
Từ hệ thức Jacobi (có thể xem ở mục I.24) thì ta chỉ cần chứng minh rằng:
P 2 n
1≤i<j≤n ai aj Ai Aj
X
Pn = ai IA2i
a
i=1 i i=1

Do I là tâm tỉ cự của hệ điểm nên:

n
X −−→
( ai IAi )2 = 0
i=1

n
X X −−→ −−→
a2i IA2i + 2.( ai aj IAi .IAj ) = 0
i=1 1≤i<j≤n
n
X X
a2i IA2i + [ ai aj (IA2i + IA2j − Ai A2j )] = 0
i=1 1≤i<j≤n

Xn Xn X
( ai )( ai IA2i ) − ai aj Ai A2j = 0
i=1 i=1 1≤i<j≤n
X
ai aj Ai A2j
n
1≤i<j≤n X
n = ai IA2i (Øpcm)
X
ai i=1

i=1

39
I.33) Đường thẳng Simson

Định lí: Cho ∆ABC và điểm M nằm trên đường tròn ngoại tiếp tâm O của tam giác. Gọi N, P, Q
lần lượt là hình chiếu vuông góc của M trên các đường thẳng BC, CA, AB thì chúng cùng thuộc một
đường thẳng (đây gọi là đường thẳng Simson).
Chứng minh:

Hình 30:

Dùng góc định hướng. Ta có:

(P N, P Q) ≡ (P N, P M ) + (P M, P Q)(modπ)

≡ (CN, CM ) + (AM, AQ)(modπ)

≡ (BC, M C) + (M A, BA)(modπ)
≡ 0(modπ)
Vậy N, P, Q thẳng hàng.

40
I.34) Đường thẳng Steiner

Định lí: Cho ∆ABC và điểm D nằm trên đường tròn ngoại tiếp tâm O của tam giác. Gọi A2 , B2 , C2
lần lượt là điểm đối xứng với của D qua các đường thẳng BC, CA, AB thì chúng cùng thuộc một
đường thẳng và đường thẳng này đi qua trực tâm H của tam giác ABC. Đường thẳng đó được gọi là
đường thẳng steiner ứng với điểm D của tam giác ABC. Còn điểm D được gọi là điểm anti steiner.
Chứng minh:

Hình 31:

Dễ thấy nếu gọi A1 , B1 , C1 lần lượt là hình chiếu của D xuống ba cạnh của tam giác ABC thì C1 là
trung điểm của đoạn DC1 và tương tự ta có A2 , B2 , C2 thẳng hàng. Ta có

(HC2 , HB2 ) ≡ (HC2 , HB) + (HB, HC) + (HC, HB2 )

≡ (HC D, HC B) + (HF, HE) + (HB C, HB D)

≡ (AD, AB) + (AB, AC) + (AC, AD)
≡ 0(modπ)
Vậy đường thẳng steiner đi qua H. Từ đó ta có được tính chất rằng đường thẳng simson ứng với điểm
D đi qua trung điểm của đoạn DH.

41
I.35) Điểm Anti Steiner(Định lí Collings)

Định lí: Cho ∆ABC và đường thẳng d đi qua H trực tâm của tam giác ABC. Gọi da , db , dc lần
lượt là đường thẳng đối xứng của d qua BC, AC, AB. Các đường thẳng đó đồng quy tại một điểm nằm
trên đường tròn ngoại tiếp tam giác ABC (điểm anti steiner của d). Và d được gọi là đường thẳng
steiner của điểm đó (gọi là G).
Chứng minh:

Hình 32:

Gọi Ha , Hb , Hc lần lượt là hình chiếu của H qua ba cạnh ⇒ ba điểm này thuộc (O) ngoại tiếp tam
giác ABC và HA , HB , HC lần lượt thuộc da , db , dc

(da , db ) ≡ (da , BC)+(BC, CA)+(CA, db ) ≡ (BC, d)+(BC, CA)+(d, CA) ≡ 2(BC, CA) ≡ (CHA , CHB )(modπ)

Vậy nếu gọi giao điểm của da , db là G thì G thuộc đường tròn ngoại tiếp tam giác ABC. Tương tự ta
có đpcm.
Theo hình của bài đường thẳng steiner ta dễ thấy HC D đối xứng với HC2 , HB D đối xứng với HB2 .
Vậy ta có d đúng là đường thẳng steiner của G.
Ta có một tính chất khác của điểm Anti Steiner như sau:
Định lí 2: Gọi P là một điểm thuộc đường thẳng d. PA , PB , PC lần lượt là điểm đối xứng với P qua
các cạnh của tam giác ABC. Ta có các đường tròn (A, PC , PB ), (B, PC , PA ), (C, PA , PB ) cùng đi qua
điểm G.
Chứng minh:
Dễ thấy

(APC ; APB ) ≡ 2(AB, AC)(modπ)

Lại có theo chứng minh trên có:

(dc , db ) ≡ (GPC , GPB ) ≡ 2(AB, AC)(modπ)

Suy ra G thuộc (A, PC , PB ). Tương tự có đpcm.

Mọi người thông cảm da , db , dc em quên không kí hiệu vào hình nên mọi người cứ nhìn theo tên
điểm thuộc đường đó để phân biệt vậy.

42
 Hình 33:

Mình nghĩ nên song song cả 2 cách giải....

Ko phải ai cũng hiểu góc định hướng là gì...(mình cũng lơ mơ lắm)

Mục đích của pic là phổ biến các định lý hình học cho tất cả mọi người lên mục tiêu đầu tiên
phải là mọi người đọc đều hiểu chứ
Đúng là mục đích để phổ biến nhưng nếu phổ biến sai hoặc không chặt chẽ thì phổ biến làm gì. Ở đây
mấy bài đó mà dùng góc thường thì muốn chặt chẽ thì phải xét nhiều trường hợp lắm nên ko ổn. Còn
đáng lí ra thì cần có mục riêng cho gdh nhưng trên MS có bài của anh mailancuctruc rồi đó. Quyết
định là dùng góc định hướng rồi và cám ơn Trung Anh và Tùng đã chấp thuận.

Chú ý: Khi dùng góc định hướng, trong biến đổi cần thay dấu "=" bằng dấu ” ≡ ”. Có thể nhiều
bạn sẽ thắc mắc về điều này vì trong những tài liệu hiện hành có rất nhiều tài liệu dùng dấu bằng.
Tuy nhiên có một điều đáng chú ý là: Khi dùng dấu đồng dư để biến đổi thì không ai phản đối còn
dùng dấu bằng thì có người phản đối ( TS.Nguyễn Minh Hà ) (Mà theo mình dùng đồng dư là tốt
nhất với hiểu biết THPT. Thế nên tốt nhất là cứ dùng dấu đồng dư.

Một số bài dùng dấu bằng thì mình sẽ sửa dần

43
I.36) Định lí Napoleon

Định lí: Dựng ra phía ngoài tam giác ABC các tam giác đều BM C, CN A, AP B và gọi D, E, F
lần lượt là tâm của ba tam giác ấy. Khi đó ta có tam giác DEF đều.
Chứng minh:

Hình 34:

Bài này có nhiều cách giải, nếu thuận lợi mình sẽ giới thiệu, tuy nhiên ở đây mình sẽ trình bày một
chứng minh ngắn gọn dựa trên phép quay vecto như sau:
−−→ 1 −−→ −−→ 1 −−→ −−→ −−→
Q π3 (DE) = Q π3 (M N + BA) = Q π3 (M C + CN + BA)
3 3
1 −−→ −−→ −−→ 1 −−→ −→ −−→ −−→
= (Q π3 (M C) + Q π3 (CN ) + Q π3 (BA)) = (M B + CA + BP ) = DF
3 3
Từ đó có điều cần chứng minh.

44
I.37) Định lí Morley

Định lí: Trong tam giác ABC. D, E, F lần lượt là giao điểm của các đường chia ba góc trong và
cùng kề các cạnh tam giác ABC. Khi đó ta có tam giác DEF đều và được gọi là tam giác Morley.
Chứng minh:

Hình 35:

Để ngắn gọn ta đặt  = 3a và tương tự với các góc kia ⇒ a + b + c = 60◦ Như hình vẽ kẻ các đường
ˆ Tại D dựng góc
chia trong ở B và C và lần lượt cắt tại D, I. Dễ thấy ID là phân giác của góc BIC.
ˆ = 60 sao cho DI là phân giác của góc DEF và E thuộc CI và F thuộc BI ⇒ ∆DEF đều.
EDF ◦

Lấy D1 và D2 lần lượt là điểm dối xứng với D qua CI và BI ⇒ D1 ∈ AC, D2 ∈ AB và dễ dàng
chứng minh được D1 EF D2 là hình thang cân với D1 E = EF = D2 F .

Vì định lí Morley chỉ có một trường hợp nên em xin phép chỉ sử dụng góc thường cho nó đơn giản:
\ = 180◦ − 60◦ − F
DEC [ EI = 120◦ − (b + c) = 60◦ + a
◦ ◦ ◦ ◦
ED1 D2 = 180 − D1 EF = 180 − (360 − 60 − 2DEC) = 2a
\ \ \

Ta lại có D1 EF D2 là hình thang cân và D1 E = D2 F = EF ⇒ trong đường tròn ngoại tiếp D1 EF D2

_
thì sđ D1 D2 = 3a ⇒ A thuộc đường tròn (D1 EF D2 ). Từ đó ta có đpcm.

Định lý Morley có thể mở rộng các đường chia trong thành các đường chia ngoài, và có thể là giao của
đường chia trong với đường chia ngoài (mỗi trường hợp này lại cho ta một tam giác Morley khác nhau
và theo thống kê có 36 tam giác Morley như vậy). Sau đó bài toán còn được phát triển và tương ứng
được đặt thêm nhiều định nghĩa mới như "góc lửng", "tam giác ngoại lai", "tập hợp đẳng cấu", ...

Sau đây là bài toán mở rộng nhất định lý Morley:

Nếu chia n (n nguyên dương, n ≥ 3) tất cả các góc của một đa giác m cạnh, thì tất cả các giao
của các đường thẳng là các đỉnh phân biệt của một hệ 21 m(m − 1)n(n − 1)2 đa giác n cạnh đều, có thể
phân chia làm 12 m(m − 1) họ, mỗi họ có n(n − 1)2 đa giác có tâm thẳng hàng.

45
Cách chứng minh và các khái niệm liên quan xin xem thêm tại sách "Lãng mạn toán học" tác giả
Hoàng Quý nhà xuất bản giáo dục.

(Ai có ebook của quyển này up lên thì tốt quá).

46
I.38) Định lí con bướm với đường tròn

Định lí: Cho đường tròn (O) và dây cung AB. I là trung điểm của AB. Qua I vẽ hai dây cung
tùy ý M N và P Q sao cho M P và N Q cắt AB tại E, F . Khi đó I là trung điểm của EF .
Chứng minh:

Hình 36:

Gọi K, T là trung điểm M P và N Q. Nên OIEK, OIF T là tứ giác nội tiếp

⇒ (OE, OI) ≡ (KE, KI)(modπ); (OF, OI) ≡ (T F, T I)(modπ)

Ta lại có

∆M IP ∼ ∆QIN ⇒ (T F, T I) ≡ (KE, KI)(modπ)

⇒ ∆EOF cân tại O ⇒ I là trung điểm EF .

47
I.39) Định lí con bướm với cặp đường thẳng

Định lí: Cho tam giác ABC. Lấy I là trung điểm của BC. Qua I kẻ các đường thẳng ∆ cắt AB, AC
tại N, Q, đường thẳng ∆0 cắt AB, AC tại P, M . Gọi M N, P Q cắt BC tại F, E. Khi đó ta có I là trung
điểm cưa EF Chứng minh:

Hình 37:

Áp dụng định lí menelaus trong tam giác ABC ta có các hệ thức sau:

EB QC P A
. . =1
EC QA P B

FC NB MA
. . =1
FB NA MC
IB QC N A QC N A
. . =1⇒ . = 1(1)
IC QA N B QA N B
IC M A P B MA PB
. . ¯ =1⇒ . = 1(2)
IB M C P A MC PA
từ (1) và (2) ta có:

QC P A NB MA EB FC
. = . ⇒ =
QA P B NA MC EC FB

Vậy I là trung điểm của EF . (ĐPCM).

48
I.40 Định Lí Blaikie

Định lí: Cho tam giác ABC và đường thẳng d sao cho d cắt BC, CA, AB lần lượt ở M, N, P . Gọi S là 1
điểm bất kì trên d. Gọi M 0 , N 0 , P 0 lần lượt là điểm đối xứng của M, N, P qua S. Khi đó AM 0 , BN 0 , CP 0
đồng quy tại một điểm P và ta gọi P là điểm Blaikie của d và S đối với tam giác ABC.
Chứng Minh:

Hình 38:

Có thể cho S nằm giữa N, M . Giả sử AM 0 cắt BN 0 tại I. Ta chứng mình I, C, P thẳng hàng. Xét tam
giác BN 0 M với 3 điểm I, C, P . Ta cần cm:

IB P 0 N 0 CM
. . =1
IN 0 P 0 M CB
Xét tam giác P BN 0 với 3 điểm thẳng hàng A, I, M 0 trên 3 cạnh :

AP IB M 0 N 0
. . = 1(1)
AB IN 0 M 0 P
Xét tam giác M BP với 3 điểm thẳng hàng C, A, N trên 3 cạnh :
CM AB P N
. . = 1(2)
CB AP M N
Nhân 2 vế (1), (2) và rút gọn, chú ý M N = M 0 N 0 ta được :

IB N P CM
. . =1
IN 0 M 0 P CB
Chú ý là N P = P 0 N 0 và P 0 M = M 0 P nên ta có đpcm.

49
I.41) Định lí chùm đường thẳng đồng quy.

Định lí 1: Ba đường thẳng đồng quy thì định ra trên hai đường thẳng song song những đoạn thẳng
tỉ lệ.
Chứng minh:

50
I.42) Đường tròn Apollonius

MA
Định lí: Cho hai điểm A và B cố định. Khi đó quĩ tích điểm M sao cho MB = k(k 6= 1) là một
đường tròn cố định được gọi là đường tròn Apollonius.
Chứng minh:

Hình 39:

Lấy D, E thuộc đường thẳng AB sao cho

DA EA
= = k ⇒ (DEAB) = −1
DB EB

a) Phần thuận
Ta có
MA EA
= =k
MB EB

⇒ M E là phân giác của AM ˆ B ⇒ EM ˆ D = 90◦ ⇒ M thuộc đường tròn đường kính DE.
b) Phần đảo
Lấy M 0 thuộc đường tròn đường kính DE ⇒ EM ˆ D = 90◦ . Lại có (DEAB) = −1 ⇒ M E là phân giác
ˆ
của AM B ⇒ đpcm.

51
I.43) Định lí Blanchet

Định lí: Cho tam giác ABC có AH là đường cao ứng với cạnh BC. Gọi I là một diểm tùy ý
thuộc đoạn AH. Các đoạn thẳng BI, CI cắt các cạnh tam giác tại E và F . Chứng minh rằng HA là
phân giác của góc EHF . Chứng minh:

Hình 40:

Qua I kẻ đường thẳng song song với BC cắt AB, HF, HE, AC lần lượt tại M, N, P, Q. Ta chỉ cần
chứng minh IN = IP là xong.
Theo Thales:
IN CH
=
IM CB
IP BH
=
IQ BC
Do đó:
IN IQ CH
. =
IP IM BH
Hiển nhiên
IQ CH
=
IM BH
Nên IN = IP (dpcm)

52
I.44) Mở rộng của định lí Blanchet

Định lí: Cho tam giác ABC, lấy T, E, F lần lượt thuộc các đoạn BC, CA, AB sao cho 3 đường
thẳng AT, BE, CF đồng quy tại một điểm. Gọi L là giao điểm của AT và EF . Gọi H là hình chiếu
của L xuống BC. Chứng minh rằng HL là phân giác của EHF ˆ .
Chứng minh:

Hình 41:

Sử dụng Ceva và Menelaus ta chứng minh được (KT BC) = −1.

ˆ = 90◦ (đpcm) (hệ quả của chùm điều
Theo định lí về chùm điều hòa ta lại có (KLF E) = −1. LHK
hòa).

53
I.45) Định lí Jacobi:

Định lí: Cho tam giác ABC và các điểm A1 , B1 , C1 trên mặt phẳng sao cho:

BAC
\1 = CAB
\1 = α, ABC
\1 = CBA
\1 = β, BCA
\1 = ACB
\1 = γ

Khi đó AA1 , BB1 , CC1 đồng quy tại điểm Jacobi N.

Chứng minh:

Hình 42:

Do AA1 , BA1 , CA1 đồng quy tại A1 và tương tự cho A2 , A3 nên áp dụng định lý Ceva dạng sin ta có:

sin CBA
\1 . sin BAA
\1 . sin ACA
\1
=1
sin ABA
\1 . sin CAA
\1 . sin BCA
\1

sin β. sin BAA

\1 . sin (ACB
\ + γ)
→ =1
sin (ABC
\ + β). sin CAA\1 . sin γ

Xây dựng hai đẳng thức tương tự cho A2 , A3 rồi nhân 3 đẳng thức trên với nhau ta được:

sin BAA
\1 . sin ACC
\1 . sin CBB
\1
=1
sin CAA
\1 . sin BCC
\1 . sin ABB
\1

Như vậy AA1 , BB1 , CC1 đồng quy theo định lý Ceva dạng sin.

54
I.46) Định lí Kiepert

Định lí: Dựng ra phía ngoài tam giác ABC các tam giác cân đồng dạng BCM, CAN, ABP (Cân
ở M, N, P ). Khi ấy ta có AM, BN, CP đồng quy.
Chứng minh

Hình 43:

Do các tam giác BCM, CAN, ABP cân và đồng dạng nên dễ thấy:

M
\ BC = P
\ BA; P
\ AB = N
\ AC; N
\ CA = M
\ CB

Theo định lí Jacobi ta có điều cần chứng minh.

55
I.47) Định lí Kariya

Định lí: Cho tam giác ABC nhận (I) là đường tròn nội tiếp. Ở phía ngoài tam giác lấy các điểm
M, N, P sao cho IM = IN = IP và IM, IN, IP tương ứng vuông góc BC, CA, AB. Khi đó ta có
AM, BN, CP đồng quy.
Chứng minh:

Hình 44:

Từ giả thiết bài toán dễ suy ra:

∆BIM = ∆BIP (c.g.c)

Do đó:

IBM
\ = IBP
[

=> M
\ BC = P
\ BA
Tương tự:

P
\ AB = N
\ AC; N
\ CA = M
\ CB

Theo định lí Jacobi ta có điều cần chứng minh.

56
I.48) Cực trực giao

Đây là một khái niệm mở rộng kết quả về trực tâm tam giác.
Định lí: Cho tam giác ABC. d là một đường thẳng bất kì trong mặt phẳng. Gọi A1 , B1 , C1 lần lượt là
hình chiếu của A, B, C trên d. Gọi A2 , B2 , C2 lần lượt là hình chiếu của A1 , B1 , C1 trên BC, CA, AB.
Khi đó A1 A2 , B1 B2 , C1 C2 đồng quy tại một điểm gọi là cực trực giao của đường thẳng d đối với ∆ABC.
Chứng minh:

Hình 45:

Áp dụng định lí carnot ta có đpcm

⇔ (A2 B 2 − A2 C 2 ) + (B2 C 2 − B2 A2 ) + (C2 A2 − C2 B 2 ) = 0

⇔ (A1 B 2 − A1 C 2 ) + (B1 C 2 − B1 A2 ) + (C1 A2 − C1 B 2 ) = 0

⇔ (A1 B 2 − C1 B 2 ) + (B1 C 2 − A1 C 2 ) + (C1 A2 − B1 A2 ) = 0
⇔ (A1 B12 − C1 B12 ) + (B1 C12 − A1 C12 ) + (C1 A21 − B1 A21 ) = 0(hiển nhiên đúng)
Trực tâm là trường hợp khi d trùng với một trong ba cạnh của ∆ABC.

57
I.49) Khái niệm tam giác hình chiếu, công thức Euler về diện tích tam giác hình chiếu

Định lí: Cho (O, R) là đường tròn nội tiếp tam giác ABC. Cho điểm M nằm trong tam giác. Gọi
A1 , B1 , C1 là hình chiếu của M lên ba cạnh BC, AC, AB. Khi đó ta gọi A1 , B1 , C1 là tam giác hình
chiếu của điểm M đối với tam giác ABC. Ta có công thức Euler về diện tích của tam giác hình chiếu:

SA1 B1 C1 |R2 − OM 2 |
=
SABC 4R2

Chứng minh:(Mashimaru)

Hình 46:

Ta có tứ giác M A1 CB1 nội tiếp đường tròn đường kính M C nên A1 B1 = M C sin C, tương tự thì
B1 C1 = M A sin A. Gọi D là giao điểm của M C với đường tròn ngoại tiếp tam giác ABC. Ta có:

M\
B1 A1 = M
\ CA1 = BAD
\ và C\
1 B1 M = C1 AM
\

Mặt khác:

A\
1 B1 C1 = M B1 A1 + M B1 C1 = DAB + M AC1 = M AD
\ \ \ \ \

Xét tam giác ADM , theo định lý sin ta có:

AM DM DM
= =
sin ADM
\ sin M
\ AD sin A\
1 B1 C1

Suy ra:

AM sin A\
1 B1 C1 = DM sin ADM
\

Từ đó ta có:
1
SA1 B1 C1 = B1 A1 .C1 B1 . sin A\
1 B1 C1
2
1 1
= .M C sin C.M A sin A. sin A\
1 B1 C1 = M C.M D. sin A sin B sin C
2 2

58
Mặt khác, ta lại có:

SABC = 2R2 sin A sin B sin C mboxvM C.M D = PM/(O) = |OM 2 − R2 |

Nên:
SA1 B1 C1 R2 − OM 2
=| |
SABC 4R2

Chú ý: Tam giác hình chiếu còn có tên gọi là tam giác bàn đạp hoặc tam giác thùy túc.

59
I.50) Khái niệm hai điểm đẳng giác

Định lí: Cho tam giác ABC. M là một điểm nằm trong tam giác.
1) Khi đó các đường thẳng đối xứng với AM, BM, CM qua tia phân giác đồng quy tại M 0 . M 0 được
gọi là điểm đẳng giác của M .
2) Lần lượt đặt D, E, F và D0 , E 0 , F 0 là chân các đường cao hạ từ M và M 0 xuống BC, AC, AB.
a) Khi đó D, E, F, D0 , E 0 , F 0 cùng thuộc một đường tròn tâm O. Và O là trung điểm của M và M 0 .
b) Khi đó cũng có AM 0 ⊥ EF, BM 0 ⊥ F D, CM 0 ⊥ DE. Và AM ⊥ E 0 F 0 , BM ⊥ F 0 D0 , CM ⊥ D0 E 0 .
Chứng minh:
1)(hình 47)

Hình 47:

SABI BI AB.AI. sin (AB, AI)

= =
SACJ CJ AC.AJ. sin (AC, AJ)

SABJ BJ AB.AJ. sin (AB, AJ)

= =
SACI CI AC.AI. sin (AC, AI)
BI BJ AB 2
⇒ . =
CI CJ AC 2
Tương tự áp dụng định lí Ceva thuận và đảo ta có đpcm1.
2)
a)(hình 48)

(BA; BM ) ≡ (BM 0 ; BC)(modπ)

⇔ (DF ; DM ) ≡ (F 0 M 0 ; F 0 D0 )(modπ)
⇔ (DF ; DM ) + 90◦ ≡ (F 0 M 0 ; F 0 D0 ) + 90◦ (modπ)
⇔ (DF ; DM ) + (DM ; DD0 ) ≡ (F 0 M 0 ; F 0 D0 ) + (F 0 F ; F 0 M 0 )(modπ)
⇔ (DF ; DD0 ) ≡ (F 0 F ; F 0 D0 )(modπ)
⇒ F F 0 D0 D nội tiếp. Trung trực F F 0 và DD0 gặp nhau tại trung điểm O của M M 0 ( tính chất đường
trung bình hình thang) ⇒ F, F 0 , D, D0 thuộc đường tròn tâm O.

60
 Hình 48:

Tương tự ta có đpcm.
b)

M
\ \
AF = M 0 AE

Lại có

AM
\ [ ⇒ ∆AM F ∼ ∆AEG(g.g) ⇒ AGE
F = AEF \
[ = AE 0 M 0 = 900 ⇒

Tương tự ta có đpcm
Trường hợp M là trọng tâm thì M 0 là điểm đối trung (AM, BM, CM lần lượt được gọi là các đường
đối trung) có tính chất rằng: (M 0 E 02 + M 0 F 02 + M 0 D02 ) min

61