托勒密定理的一个证明
本帖最后由 mathematica 于 2018-3-24 21:27 编辑今天偶然发现可以用余弦定理来证明托勒密定理,
以前没发现过,所以共享一下,证明还算简单
(*利用余弦定理证明托勒密定理*)
(*圆内接四边形对角线互补,所以一个是-cos,一个是+cos*)
Clear["Global`*"];(*Clear all variables*)
out1=FullSimplify@Solve[{a^2+b^2-2*a*b*cosA==f^2,c^2+d^2+2*c*d*cosA==f^2},{cosA,f}]
out2=FullSimplify@Solve[{b^2+c^2-2*b*c*cosB==e^2,d^2+a^2+2*d*a*cosB==e^2},{cosB,e}]
(*把最后的f与e相乘,最后化简结果是ac+bd,软件不会化简*)
(*利用余弦定理证明托勒密定理*)
(*圆内接四边形对角线互补,所以一个是-cos,一个是+cos*)
Clear["Global`*"];(*Clear all variables*)
out1=FullSimplify@Solve[{a^2+b^2-2*a*b*cosA==f^2,c^2+d^2+2*c*d*cosA==f^2},{cosA,f}]
out2=FullSimplify@Solve[{b^2+c^2-2*b*c*cosB==e^2,d^2+a^2+2*d*a*cosB==e^2},{cosB,e}]
(*把最后的f与e相乘,最后化简结果是ac+bd,软件不会化简*)
已经舍弃了负的f
\[\left\{\text{cosA}\to \frac{a^2+b^2-c^2-d^2}{2 a b+2 c d},f\to \frac{\sqrt{(a d+b c) (a c+b d)}}{\sqrt{a b+c d}}\right\}\]
\[\left\{\text{cosB}\to \frac{-a^2+b^2+c^2-d^2}{2 (a d+b c)},e\to \frac{\sqrt{(a c+b d) (a b+c d)}}{\sqrt{a d+b c}}\right\}\]
最后e*f的结果如下
\
所以证明了托勒密定理 Casey's theorem
https://en.wikipedia.org/wiki/Casey%27s_theorem
托勒密定理的推广,很有意思 今天偶然发现可以用余弦定理来证明托勒密定理,
这个用余弦定理的证明方法是很早就有的。不复杂。 只要一行代码Simplify[(Sqrt[(b c+a d) (a c+b d)] Sqrt[(a c+b d) (a b+c d)])/(Sqrt Sqrt),a>0\b>0\c>0\d>0]
就能证明你的愚蠢是你爸遗传的
页:
[1]