20 Cách chứng minh định lý Py-Ta-go

ĐẶT VẤN ĐỀ.
CƠ SỞ LÍ LUẬN.
Trong chương trình phổ thông, môn toán là môn chiếm nhiều thời gian về số tiết dạy trên lớp. Được đưa ngay vào năm đầu tiên của cấp tiểu học, nhưng đến năm cấp THCS mới đưa phần hình học vào chương trình. “ Hình học” có nghĩa là “ đạc điền”, “ đo đạc”, nhưng không phải người học sinh nào cũng hiểu được như vậy. Giải được một bài toán hình học là rất khó, hầu như ai cũng “ngại” học môn hình học.
Trong quá trình giảng dạy ở trường THCS tôi nhận thấy rằng người học sinh muốn học tốt môn hình học thì ngoài kiến thức sẵn có và ý thức học tập tốt cần phải xác định đúng đắn động cơ và phương pháp học tập tốt, đắc biệt là kích thích được sự “ hứng thú” học bộ môn này.
CƠ SỞ THỰC TẾ.
Thực tế tháy rằng hầu như học sinh nào cũng trả lời rằng thích học đại số hơn hình học, có em còn cho rằng rất ngại học môn này và còn cho rằng rất không thích học.
Qua thực tế đó để kích thích sự hứng thú học bộ môn hình học, từ đó hiểu sâu hơn bộ môn, tôi viết chuyên đề “ 20 cách chứng minh định lý Py-ta-go”, một là giúp các em nắm chác hơn về một định lý hình học nổi tiếng, hai là qua chuyên đề giúp các em ôn lại các cách suy luận một bài toán hình học, ba là giúp học sinh thấy được sự phong phú của toán học. Từ đó học sinh sẽ thấy hứng thú học môn hình học nói riêng và học môn toán nói chung.
GIẢI QUYẾT VẤN ĐỀ.
Pythagore sinh vào khoảng năm 580 TCN tại Samos-Hi lạp. Ông nghiên cứu nhiều môn khoa học như Triết học, Khoa học tự nhiên, Âm nhạc và đặc biệt là Toán học. Trong toán học ông đặc biệt thích thú với môn Hình học. Định lý Pythagore có một vị trí đặc sắc trong Hình học và đời sống, không những nó có nhiều ứng dụng cụ thể trong Toán học, trong các môn khoa học khác, trong thực tế mà ngay việc khai thác các bài toán xung quanh định lý này cũng đóng góp cho Toán học nói chung nhiều kết quả quan trọng.
Tuy định lý mang tên ông , nhưng trước đó 2 ngàn năm người Trung Quốc và người Ấn Độ cũng đã phát hiện ra nó và đã ứng dụng vào việc đo đạc, nhất là khi xây cất các lâu đài, đình chùa, miếu mạo. Thời đó, người ta chứng minh định lý Pythagore bằng cách ghép hình. Đến nay, người ta đã sưu tập được khoảng 367 cách chứng minh. Trong chuyên đề này tôi xin đưa ra 20 cách chứng minh chủ yếu tập chung vào hai cách là ghép hình và suy luận toán học, giới hạn trong chương trình toán THCS.
20 c¸ch chøng minh ®Þnh lÝ Py-ta-go
A. GHÉP HÌNH
C¸ch 1.
XÕp c¸c tam gi¸c vu«ng b»ng nhau nh­ h×nh vÏ
Ta cã: SBCDE = SAMPN + 4.SABC
=> a2 = ( c – b )2 + 4. bc/2
 a2 = c2 – 2.bc + b2 + 2.bc
 a2 = c2 + b2.
C¸ch 2.
XÕp c¸c tam gi¸c vu«ng b»ng nhau nh­ h×nh vÏ
Ta cã: SADEF = SBCPQ + 4.SABC
=> ( b + c )2 = a2 + 4. bc/2
 b2 + 2.bc + c2 = a2 + 2.bc
 b2 + c2 = a2
C¸ch 3.
XÕp c¸c tam gi¸c vu«ng b»ng nhau nh­ h×nh vÏ
Ta cã: SBCPQ = SEFGH + 4.SABC
=> a2 = ( c – b )2 + 4.bc/2	(1)
MÆt kh¸c: SADMN = SBCPQ + 4.SABC 
=> SBCPQ = SADMN – 4.SABC
 a2 = ( b + c )2 – 4.bc/2	(2)
Céng (1) vµ (2) ta ®­îc: 2a2 = ( c – b )2 + ( b + c )2 = 2b2 + 2c2
	 a2 = b2 + c2
C¸ch 4.
XÕp c¸c tam gi¸c vu«ng b»ng nhau nh­ h×nh vÏ
Ta cã: ABED lµ h×nh thang vu«ng, BCE lµ tam gi¸c vu«ng c©n.
SABED = 2.SABC + SBCE
=> 
 ( b + c)2 = 2.bc + a2
 b2 + 2.bc + c2 = a2 + 2.bc
 b2 + c2 = a2
C¸ch 5.
XÕp c¸c tam gi¸c vu«ng b»ng tam gi¸c ABC nh­ h×nh vÏ
=> BDEF lµ h×nh thang
=> SBDEF = 1/2.( 2b + 2c ). ( b + c ) = ( b + c )2	(1)
SECF + SBCD + SECD + SBCF = = 2bc + a2 (2)
Tõ (1) vµ (2) => ( b + c )2 = 2bc + a2
	 b2 + c2 = a2
B. Dùng h×nh-suy luËn
C¸ch 6.
KÎ AH vu«ng gãc víi BC. 
Ta cã c¸c tam gi¸c vu«ng ABC, HAC, HBA ®ång d¹ng
=> AB2 = BC.BH Vµ AC2 = BC.HC
=> AB2 + AC2 = BC.( BH + HC ) = BC2
C¸ch 7.
Dùng h×nh vu«ng BCDE. KÎ AH vu«ng gãc víi BC, c¾t DE t¹i F.
Theo hÖ thøc l­îng trong tam gi¸c vu«ng ta cã: 
c2 = a.x
b2 = ( a – x ).x
MÆt kh¸c: SBHFE = BH.BE = x.a = c2
	 SCDFH = CH.CD = ( a – x ).a = b2
=> SBHFE + SCDFH = c2 + b2
 SBCDE = c2 + b2
 a2 = c2 + b2
C¸ch 8.
Qua B dung ®­êng th¼ng vu«n gãc víi BC c¾t AC ë C’
Dùng c¸c h×nh b×nh hµnh ABCB’, BC’CA’
=>ABC = AB’C
SAB’C + SABC’ = SBCC’ = SBCA’
 AB.AC + AB.AC’ = BC.CA’	(*)
Ta cã: AC’ = 	
Vµ CA’B ~ ABC => CA’.CA = BA.BC
=> CA’ = 
Thay vµo (*) ®­îc:
AB.AC + AB. = BC. 
 AC + = 
 AC2 + AB2 = BC2
C¸ch 9.
VÏ ®­êng trßn ( B; a ). Gäi DE lµ ®­êng kÝnh qua B.
Ta cã : AE = a – c ; BD = BC = a; AD = a + c
Tam gi¸c CDE vu«ng ë C => AC2 = AD.AE
	 b2 = ( a + c ).( a – c )
	 b2 = a2 – c2
	 b2 + c2 = a2
 C¸ch 10.
KÎ ®­êng th¼ng qua B vu«ng gãc víi BC c¾t AC ë D.
Ta cã: SABD + SABC = SBDC
AB.AD + AB.AC = BD.BC ( * )
Do AB2 = AD.AC => AD = AB2/AC
 ABD vµ BDC ®ång d¹ng => AB.DC = BD.BC => BD = AB.DC/BC
Thay vµo (*) ta ®­îc: AB. (AB2/AC) + AB.AC = BC. (AB.DC/BC)	
	AB2/AC + AC = DC
	 AB2 + AC2 = DC.AC = BC2
C¸ch 11.
Dùng tam gi¸c EDF = tam gi¸c ABC ( h×nh vÏ )
Ta cã: CAF ~ DEF => 
=> BF = BA + AF = c + 
SBDF = 
 a.a = c.( c + )
 a2 = c2 + b2
C¸ch 12.
Trªn BC lÊy D, E sao cho: CD = CE = CA = b
=> ADE vu«ng ë A ( v× cã AC = DE/2, CD = CE )
Ta cã: BAD ~ BEA ( g.g ) 
 (V× cã gãc B chung, vµ gãc BAD = gãc EAC = E)
C¸ch 13.
VÏ ®­êng trßn (C;b) c¾t BC ë D, E
VÏ ®­êng trßn (B;c) c¾t BC ë G, F
Ta cã: BA lµ tiÕp tuyÕn, BDE lµ c¸t tuyÕn víi ®­êng trßn (C)
=> BA2 = BD.BE
 c2 = ( a – b ).( a + b ) = a2 – b2 
 c2 + b2 = a2
C¸ch 14.
Gäi (I;r) lµ ®­êng trßn néi tiÕp tam gi¸c ABC tiÕp xóc víi c¸c canh AB, BC, CA t¹i D, E, F.
DÔ c/m ADIF lµ h×nh vu«ng => AD = AF = r
Theo t/c hai tiÕp tuyÕn c¾t nhau ta cã: BD = BE = c – r
	CE = CF = b – r 
=> BC = a = c – r + b – r = c + b – 2r
=> 2r = b + c – a => r = p – a ( p lµ nöa chu vi tam gi¸c ABC )
=> SABC = p.r = p.(p – a)
MÆt kh¸c: SABC = 1/2.b.c
=> p.(p – a ) = 1/2.bc
 ( b + c )2 – a2 = 2bc
 b2 + c2 = a2
C¸ch 15.
Trªn AC lÊy F sao cho CF = CB
Gäi D, E lµ trung ®iÓm cña BF, AF => CD BF, DE AF
 BFA ~CD2E ( g.g)
=> 
Ta cã: AF = CF – AC = CB – CA
 CE = CA + AE = AC + AF/2 = AC + 
 DE = AB/2 ( t/c ®­êng trung b×nh )
Thay vµo (*) ta ®­îc:
C¸ch 16.
VÏ ®­êng trßn ( A; b ) c¾t AB ë D; H, c¾t BC ë E.
KÎ AL EC
Cã: BD.BH = BE.BC ó ( c – b ).(c + b ) = a.( a – 2 CL ) (*)
Mµ AC2 = CL.CB => CL = AC2/BC = b2/a. Thay vµo (*) ®­îc:
c2 – b2 = a.( a – 2.b2/a ) = a2 – 2b2
 c2 + b2 = a2
C¸ch 17.
Dùng tam gi¸c vu«ng AEK = tam gi¸c ABC nh­ h×nh vÏ.
Dùng h×nh b×nh hµnh BKEF => BK = EF = c – b; BF = EK = a
Vµ SBKEF = BK.AE = c.( c – b )
Ta cã: 
SBCEF = SABC + SAKE + SBKEF = b.c + c.( c – b ) (1)	
MÆt kh¸c: SBCEF = SBCF + SCEF = a2/2 + (c – b ).( c + b ) /2	(2)
Tõ (1) vµ (2) => b.c + c.( c – b ) = a2/2 + (c – b ).( c + b ) /2
	 b.c + c2 – b.c = 
	 2.c2 = a2 + c2 – b2
	 c2 + b2 = a2
C¸ch 18.
Dùng c¸c h×nh vu«ng ABNP; ACMQ
 ABC = APQ ( c.g.c) => PQ = BC = a
Gäi M lµ trung ®iÓm BC; MA c¾t PQ ë R
DÔ c/m MA PQ t¹i R
Do kho¶ng c¸ch tõ M ®Õn AP = AB/2 = c/2
=> SAMP = 1/2.c.c/2 = c2/4
MÆt kh¸c: SAMP = 1/2.AM.PR = PR.a/4
T­¬ng tù: SAMQ = b2/4 vµ SAMQ = QR.a/4
=> 
C¸ch 19.
Dùng c¸c h×nh vu«ng ABGF, ACDE, BCIJ.
Dùng tam gi¸c vu«ng KIJ = tam gi¸c vu«ng ABC ( h×nh vÏ )
DÔ c/m G, A, D th¼ng hµng vµ GA lµ ph©n gi¸c gãc G
 A, O, K th¼ng hµng vµ AK lµ ph©n gi¸c gãc A
C¸c h×nh ABIK, ACJK, BGDC, FGDE cã diÖn tÝch b»ng nhau	(1)
Ta cã: SABC = SKJI = SAFE = S	(2)
Tõ (1) vµ (2) => SABIK + SACJK = SBGDC + SFGDE 
	 SBCJI + 2.S = SABGF + SACDE + 2.S
	 BC2 = AB2 + AC2
C¸ch 20.
Dùng c¸c h×nh vu«ng ABKH, ACFG, BCKD
=> CBF = CKA ( c.g.c)
KÎ AM vu«ng gãc víi BC c¾t DK t¹i L
Ta cã: SCBF = 1/2. SACFG ( chung c¹nh CF vµ chung ®­êng cao)
 SCKA = 1/2. SCKLM ( chung c¹nh CK vµ chung ®­êng cao )
=> SCKLM = SACFG (1)
T­¬ng tù: SABKH = SBDLM	(2)
Tõ (1) vµ (2) => SACFG + SABKH = SCKLM + SBDLM = SBCKD
	 AC2 + AB2 = BC2.
KẾT LUẬN VÀ KIẾN NGHỊ.
Trên đây là 20 cách chứng minh định lý Py-ta-go, ngoài ra còn nhiều cách khác mong các đồng nghiệp bổ sung để chuyên đề được phong phú hơn nữa.
Phạm vi chuyên đề được áp dụng cho tất cả các đối tượng học sinh từ khối lớp 7 – 9, các em có thể nghiên cứu và tìm thêm các cách chứng minh khác.
Ngoài ra các đồng nghiệp cũng có thể nghiên cứu và bổ sung thêm cho chuyên đề được hoàn chỉnh hơn.
Kiến nghị:
Phòng giáo dục cần thường xuyên tổ chức viết chuyên đề trong toàn huyện để kích thích phong trào dạy học trong tất cả giáo viên bộ môn.
Trường sở tại cần tạo điều kiện để giáo viên ai cũng viết chuyên đề, và cũng cần phải triển khai tất cả các chuyên đề đến học sinh.