斯台沃特定理.pdf

斯台沃特定理 1 内容 斯图尔特定理（或译作史都华定理、斯特瓦尔特定理、斯氏定理、斯坦沃特定理）， 又称为阿波罗尼奥斯定理： 任意三角形 ABC 中，D 是边 BC 上一点，连接 AD，则 设 BC=a，AC=b，AB=c，BD=u，CD=v，AD=w，则 另一种表达形式： 即 2 证明 过点 A 作 AE⊥BC 于 E, 设 DE = x(假设底边四点从左到右顺序为 B、D、E、C） 则 AE^2 = b^2 - (v-x)^2 = c^2 - (u+x)^2 = AD^2 - x^2 若 E 在 BC 的延长线上，则v-x 换成 x-v 所以有 AD^2 = b^2 - v^2 + 2vx AD^2 = c^2 - u^2 - 2ux 1*u 式+2*v 式得 AD^2(u+v) = b^2u + c^2v - uv(u + v) 故 AD^2 = (b^2u + c^2v)/a - uv 1)当AD 是△ABC 中线时， u = v = 1/2a AD^2 = (b^2+c^2- (a^2)/2)/2 2)当AD 是△ABC 内角平分线时，由三角形内角平分线的性质，得 u = ac/(b+c), v =ab/ (b+c) 1 设 s = (a+b+c)/2 得 AD^2 = 4/(b+c)^2 *(bcs(s-a)) 3)当AD 是△ABC 高时， AD^2 = b^2 - u^2 = c^2 - v^2 再由 u+v = a 得 AD^2 = 1/4a^2(2a^2b^2 + 2b^2c^2 + 2c^2a^2 - a^4 - b^4 - c^4) 证明方法 2：不妨设 角 ADB=θ。AD=t 由余弦定理可得：c^2=t^2+u^2-2tu·cosθ ① b^2=t^2+v^2+2tv·cosθ ② ①×v+②×u 得：b^2u+c^2v=at^2+auv 整理即可得：t^2=(b^2×u+c^2×v)/a-uv 证毕 3 推广 角平分线长定理 已知AD 为三角形 ABC 的角分线，则AD^2=AB·AC-DB·DC 中线定理 （pappus 定理），又称阿波罗尼奥斯定理，是欧氏几何的定理，表述三角形三 边和中线长度关系。 定理内容：三角形一条中线两侧所对边平方和等于底边的 一半平方与该边中线平方和的 2 倍。 即，对任意三角形△ABC，设 I 是线段 BC 的中点，AI 为中线，则有如下关系： AB^2+AC^2=2BI^2+2AI^2 或作 AB^2+AC^2=1/2BC^2+2AI^2 中线定理即为斯台沃特定理在中点时的结论，可由斯台沃特定理直接得出。 除如上给出的方法外，在此给出另外的两种常规证明方法： 第一种是以中点为原点，在水平和竖直方向建立坐标系， 设：A(m,n),B(-a,0),C(a,0)， 则：(AD)^2+(CD)^2=m^2+n^2+a^2 (AB)^2+(AC)^2=(m+a)^2+n^2+(m-a)^2+n^2=2(m^2+a^2+n^2) ∴(AB)^2+(AC)^2=2((AD)^2+(CD)^2) 第二种是在不同三角形中，对同一个角用两次余弦定理，比如对图示中的∠B（或 者∠C）在△ABD 和△ABC （或者△ACD 和△ABC）使用余弦定理，从而直接得到三 角形边长的关系，进而得证。 2