斯坦纳·雷米欧司定理的证明
证明一:设三角形ABC,角B、角C的平分线是BE、CD
作∠BEF=∠BCD;并使EF=BC
∵BE=DC
∴△BEF≌△DCB,BF=BD,∠BDC=∠EBF
设∠ABE=∠EBC=α,∠ACD=∠DCB=β
∠FBC=∠BDC+α=180°-2α-β+α=180°-(α+β);
∠CEF=∠FEB+∠CEB=β+180-2β-α=180°-(α+β);
∴∠FBC=∠CEF
∵2α+2β<180°,∴α+β<90°
∴∠FBC=∠CEF>90°
∴过C点作FB的垂线和过F点作CE的垂线必都在FB和CE的延长线上.
设垂足分别为G、H;
∠HEF=∠CBG;
∵BC=EF,
∴Rt△CGB≌Rt△FHE
∴CG=FH,BG=HE
连接CF
∵CF=FC,FH=CG
∴Rt△CGF≌△FHC
∴FG=CH,∴BF=CE,∴CE=BD
∵BD=CE,BC=CB,∴△BDC≌△CEB
∴∠ABC=∠ACB
∴AB=AC
证明二:
设二角的一半分别为α、β
sin(2α+β)/
sin2α=
BC/CE
=
BC/BD
=
sin(α+2β)/
sin2β,
∴2sinαcosαsin(α+2β)
-
2sinβcosβsin(2α+β)
=0
→sinα[sin2(α+β)+sin
2β]-
sinβ[sin2(α+β)+
sin2α]=0
→sin2(α+β)[sinα-sinβ]+2
sinαsinβ[cosβ-
cosα]=0
→sin
[(α-β)/2][sin2(α+β)
cos[(α+β)/2]
+
2
sinαsinβsin
[(α+β)/2]=0
,∴sin[(α-β)/2]=0
∴α=β,∴AB=AC.
证明三:
用张角定理:
2cosα/BE=1/BC+1/AB
2cosβ/CD=1/BC+1/AC
若α>β
可推出AB>AC矛盾!
若α<β
可推出AB<AC矛盾!
所以AB=AC
绛旓細璇佹槑涓锛氳涓夎褰BC锛岃B銆佽C鐨勫钩鍒嗙嚎鏄疊E銆丆D 浣溾垹BEF=鈭燘CD;骞朵娇EF=BC 鈭礏E=DC 鈭粹柍BEF鈮屸柍DCB,BF=BD,鈭燘DC=鈭燛BF 璁锯垹ABE=鈭燛BC=伪,鈭燗CD=鈭燚CB=尾 鈭燜BC=鈭燘DC+伪=180掳-2伪-尾+伪=180掳-(伪+尾);鈭燙EF=鈭燜EB+鈭燙EB=尾+180-2尾-伪=180掳-(伪+尾);鈭粹垹FBC=鈭燙EF...
绛旓細鏂潶绾-闆风背娆у徃瀹氱悊:璁惧湪涓夎褰BC涓紝鏈塀銆丆鐨勮骞冲垎绾緾F銆丅E浜や簬O BE鏄骞冲垎绾挎帹鍑猴細BC/CE=AB/AE锛屽悓鐞嗭細BC/BD=AC/AD锛屽洜涓築D=CE锛屾墍浠ョ瓑閲忎唬鎹㈠緱鍑猴細AB/AE=AC/AD锛岃A鏄叕鍏辫锛屾墍浠ヤ笁瑙掑舰ACD涓嶢BE鐩镐技锛屾墍浠ACD=LABE锛屽悓鐞哃BDC=LBEC锛屽啀鍔犱笂BD=CE锛屾墍浠ヤ笁瑙掑舰BOD鍏ㄧ瓑浜庝笁瑙掑舰OE...
绛旓細鏂潶绾-闆风背娆у徃瀹氱悊:璁惧湪涓夎褰BC涓紝鏈塀銆丆鐨勮骞冲垎绾緾F銆丅E浜や簬O BE鏄骞冲垎绾挎帹鍑猴細BC/CE=AB/AE锛屽悓鐞嗭細BC/BD=AC/AD锛屽洜涓築D=CE锛屾墍浠ョ瓑閲忎唬鎹㈠緱鍑猴細AB/AE=AC/AD锛岃A鏄叕鍏辫锛屾墍浠ヤ笁瑙掑舰ACD涓嶢BE鐩镐技锛屾墍浠ACD=LABE锛屽悓鐞哃BDC=LBEC锛屽啀鍔犱笂BD=CE锛屾墍浠ヤ笁瑙掑舰BOD鍏ㄧ瓑浜庝笁瑙掑舰OE...
绛旓細鈭磗in[(尾-纬)/2]锛0锛 鈭次诧紳纬,鈭碅B=AC. 鎹锛鏂潶绾-闆风背娆у徃瀹氱悊60澶氱璇佹硶
绛旓細寤鸿浣犳壘涓鏈叧浜庡钩闈㈠嚑浣曠殑绔炶禌涔︼紝閭i噷闈㈡湁璇︾粏鐨勪粙缁嶅拰渚嬮銆
绛旓細鏂潶绾鈥斺闆风背娆у徃瀹氱悊绾嚑浣曡瘉鏄庡緢闅 1涓夎褰BC锛岃B銆佽C鐨勫钩鍒嗙嚎鏄疊E銆丆D 浣溾垹BEF=鈭燘CD;骞朵娇EF=BC 鈭礏E=DC 鈭粹柍BEF鈮屸柍DCB,BF=BD,鈭燘DC=鈭燛BF 璁锯垹ABE=鈭燛BC=伪,鈭燗CD=鈭燚CB=尾 鈭燜BC=鈭燘DC+伪=180掳-2伪-尾+伪=180掳-(伪+尾);鈭燙EF=鈭燜EB+鈭燙EB=尾+180-2尾-伪=180...
绛旓細璁綛D浜嶤E浜や簬鐐筄 杩囩偣O浣淥M鍨傜洿浜嶢B,ON鍨傜洿浜嶢C,OP鍨傜洿浜嶣C 鐢辫骞冲垎绾挎ц川寰 OM=ON=OP 鐢監M=ON 瑙払MO=瑙扖NO BE=CD 寰 涓夎褰MO鍏ㄧ瓑浜庝笁瑙掑舰CNO 鎵浠ヨMBO=瑙扤CO 鎵浠ヨABC=瑙扐CB 鎵浠ヤ笁瑙掑舰ABC 鏄瓑鑵颁笁瑙掑舰
绛旓細鍒濅腑鐢熼兘浼氳瘉鏄;鍙槸鍙嶈繃鏉,宸茬煡涓夎褰袱鍐呰骞冲垎绾跨浉绛,瑕佽瘉瀹冩槸绛夎叞涓夎褰㈠嵈涓嶅鏄撲簡,鎴戣嚦浠婅繕娌℃湁鎯冲嚭鏉,鏂浘濮嗗悜璁稿鏁板瀹舵彁鍒颁簡杩欎欢浜,璇锋眰缁欏嚭涓涓函绮圭殑鍑犱綍瀛鐨勮瘉鏄,棣栧厛鍥炵瓟杩欎釜闂鐨勬槸鐟炲+鐨勫嚑浣曞瀹鏂潶绾(1796鈥1863),鎵浠ヨ繖涓棶棰樺氨浠ユ柉鍧︾撼鈥斺闆风背娆у徃瀹氱悊鑰岄椈鍚嶄簬涓.
绛旓細涓嶆垚绔嬶紒锛侊紒鈥滅瓑鑵颁笁瑙掑舰鐨勪袱搴曡鐨勫钩鍒嗙嚎绛夐暱銆傗濈殑閫嗗懡棰樹负鈥滀袱搴曡鐨勫钩鍒嗙嚎绛夐暱鐨勪笁瑙掑舰涓虹瓑鑵颁笁瑙掑舰銆傗濈敱宸茬煡鏉′欢涓嶈兘鍒ゆ柇鐢变袱骞冲垎绾垮垎鍒笌搴曡竟鎵鏋勬垚鐨勪笁瑙掑舰涓嶅叏绛夛紝杩涜屽彲鐨勪袱涓夎褰腑鎵瀵圭殑骞冲垎瑙掍笉涓瀹氱浉绛夛紝杩涜屼袱搴曡涓嶄竴瀹氱浉绛夈傛墍浠ヤ袱搴曡鐨勫钩鍒嗙嚎绛夐暱鐨勪笁瑙掑舰涓嶄竴瀹氫负绛夎叞涓夎褰傚嵆涓...
绛旓細鈫抯in [(伪-尾)/2][sin2(伪+尾)cos[(伪+尾)/2]+ 2 sin伪sin尾sin [(伪+尾)/2]=0 锛屸埓sin[(伪-尾)/2]锛0 鈭次憋紳尾,鈭碅B=AC.璇佹槑涓夛細鐢ㄥ紶瑙掑畾鐞锛2cos伪/BE=1/BC+1/AB 2cos尾/CD=1/BC+1/AC 鑻ノ>尾 鍙帹鍑篈B>AC鐭涚浘锛佽嫢伪<尾 鍙帹鍑篈B<AC鐭涚浘锛佹墍浠B=AC ...