|
|
Ta có : lb=lc⇔2acosB2a+c=2abcosC2a+b
⇒α=β
⇔1cosB2(1+ac)=1cosC2(1+ab)(1)
Giả thiết phản chứng b≠c,khi đó,không mất tổng quát,giả sử b>c,ta có
900>B2>C2>0
⇒0<cosBc<cosC2(2)
Ngoài ra ta có 1c>1b(3)
Từ (2)(3) suy ra VT(1)>VP(1)
Điều đó vô lý chứng tỏ giả thiết phản chứng là sai,từ đó suy ra DPCM
CHÚ Ý:
1/ Jacob Steiner (1796−1863) là nhà hình học nổi tiếng người Thụy Sỹ.Định lý Steiner-Lenmus này có đến hàng chục cách chứng minh khác nhau,trong đó cách chứng minh trên là duy nhất sử dụng kiến thức lượng giác
2/ sau đây chúng tôi sin đưa ra 2 cách chúng minh “phi lượng giác” đẹp mắt và bạn đọc có thể thưởng thức
Cách 1(tác giả là 2 kĩ sư người Anh là G.Jylbert và D.Mac-Donnell).Cách giải này được coi là đơn giản nhất và được công bố trên tạp chí “American Mathematical Monthly” năm 1963
Bổ đề:Trong tam giác ABC nếu A<B thì đường phân giác AN lớn hơn phân giác MB
CM bổ đề:
Lấy N′ trên AN sao cho
Từ đó suy ra tứ giác ABN′M nội tiếp.Trong đường tròn này cung MB<cung N′A
⇒MB<N′A mà N′A<AN suy ra AN<BM.Bổ dè được chứng minh
Định lý trên là hệ quả trực tiếp của bổ đề trên
Cách 2 (của R.W.Hegy đăng trên tạp chí “The Mathtical Gazette” của Anh năm 1982-và được xem là đơn giản nhất !)
Vẽ hình bình hành AMDN như hình vẽ với kí hiệu các góc α,β,γ,δ
Do AN=BM cân ⇒α+γ=β+δ(1)
Nếu như α>β thì từ (1) suy ra γ<δ(2)
Mặt khác xét 2 tam giác NAB và MAB có AB chung,MB=AN,mà alpha>β⇒BN>AM⇒BN>DN(3)
Vì vậy trong tam giác BDN,từ (3) suy ra γ>δ(4)
Từ (2) và (4) suy ra vô lý.Vì lý do đó tương tự α không thể nhỏ hơn β
⇒α=β.Ta có DPCM
Các bạn đọc giả thân mến.Kể từ năm 1840 khi S.L.Lenmus gửi thư cho nhà hình học J.Steiner đã quá 150 năm.Từ cách chứng minh gần đây nhất của R.W.Hegg,con người đã dần thực hiện được khát vọng là vươn tới cái đơn giản nhất.Chắc chắn rằng quá trình này chưa dừng lại ở đây
3/ Cuối phần chú ý này,xin dành cho cách giải của chính J.Steiner
Dựa vào công thức
{l2b=ac[(a+c)2−b2](a+c)2l2c=ab[(a+b)2−c2](a+b)2
Từ lb=lc,sau khi biến đổi ,ta đưa về dạng
4(a+b+c)[(a+b+c)(a2+bc)+2abc](b−c)=0
⇒b=c
Suy ra DPCM
|