向量斯坦納定理最簡證明方法

斯坦納-雷米歐司定理:

設在三角形ABC中，有B、C的角平分線CF、BE交於O

BE是角平分線推出：BC/CE=AB/AE，同理：BC/BD=AC/AD，因為BD=CE，所以等量代換得出：

AB/AE=AC/AD，角A是公共角，所以三角形ACD與ABE相似，所以LACD=LABE，同理LBDC=LBEC，再加上BD=CE，所以三角形BOD全等於三角形OEC，所以OB=OC且LDBE=LECD，OB=OC推出LOBC=LOCB，再等量代換得到LABC=LACB，所以AB=AC

在△ABC中，BD，CE為其角平分線，且BD=CE

設∠ABD=∠CBD=x，∠ACE=∠BCE=y

根據張角定理，有

2cosx/BD=1/AB+1/BC

2cosy/CE=1/AC+1/BC

則2*AB*BC*cosx/(AB+BC)=BD=CE=2*AC*BC*cosy/(AC+BC)

即(AB*(AC+BC))/(AC*(AB+BC))=cosy/cosx

利用分比定理。並對cosy-cosx使用和差化積

AB-AC=(-(2*AC*(AB+BC))/(BC*cosx))*sin((y+x)/2)*sin((y-x)/2)

若AB>AC，則上式左端為正，右端為負

若AB<AC，則上式左端為負，右端為正

故AB=AC

斯坦納-雷米歐司定理: 設在三角形abc中，有b、c的角平分線cf、be交於o be是角平分線推出：bc/ce=ab/ae，同理：bc/bd=ac/ad，因為bd=ce，所以等量代換得出： ab/ae=ac/ad，角a是公共角，所以三角形acd與abe相似，所以lacd=labe，同理lbdc=lbec，再加上bd=ce，所以三角形bod全等於三角形oec，所以ob=oc且ldbe=lecd，ob=oc推出lobc=locb，再等量代換得到labc=lacb，所以ab=ac 注:"l"為角的符號