Professional Documents
Culture Documents
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:
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:
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.
Ở đâ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ó.
3
IV.4) Đường tròn Neuberg-Mineur của tứ giác
IV.5) Paracevian perspector
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
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
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ó:
Hình 2:
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 :
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
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
∗ 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
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
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:
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.
+) 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).
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
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
14
I.10) Bất đẳng thức Ptolemy
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ó
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:
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
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:
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
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
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:
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ó:
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
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
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:
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:
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
\
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
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
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
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ì :
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
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:
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 )
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
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:
(P N, P Q) ≡ (P N, P M ) + (P M, P Q)(modπ)
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ó
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
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ụ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ư.
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
\ \ \
Đị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", ...
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.
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:
Ta lại có
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
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:
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:
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 = γ
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
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
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:
Do đó:
IBM
\ = IBP
[
=> M
\ BC = P
\ BA
Tương tự:
P
\ AB = N
\ AC; N
\ CA = M
\ CB
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:
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
\ \ \ \ \
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ó:
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:
⇔ (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