蝴蝶定理的复数证明法

TSC999 · Posted at 2022-4-20 16:22:58

Last edited by TSC999 at 2022-4-23 12:12:00 代码图片.png

注：AB 平行于实轴是多余的，不平行也可以。

程序运行结果： True

表示 PM=QM 为真。

$type

蝴蝶定理复数法证明.nb (20.37 KB, Downloads: 30)

TSC999 · Posted at 2022-4-21 13:10:20

Last edited by TSC999 at 2022-4-23 12:11:00上面这个程序还可以改进如下。改进点是后面的 Simplify 可用 FullSimplify 代替，这样可使 PM 和 QM 的表达式大幅度得到简化，并且外观上相等。

改进的代码图片.png

AB 平行于实轴是多余的，不平行也可以。

TSC999 · Posted at 2022-4-23 11:35:40

Last edited by TSC999 at 2022-4-23 12:15:00上面这个证明程序不是最好的，因为各点的坐标表达式里有根式且比较复杂。如果把 A, B, D, F 设置成自由点，其余点的坐标都用 a, b, d, f 来表示，结果就好看多了。

蝴蝶定理复数法证明 2.png

蝴蝶定理复数法证明 1.nb (35.55 KB, Downloads: 27)

pkuhuping · Posted at 2022-4-24 18:38:36

你好，我有道几何题，能帮忙看看用编程解答吗？

pkuhuping · Posted at 2022-4-24 18:40:58

回复 2# TSC999

大神，你QQ号多少？想向你请教一下

		Remember me	Forgot password?
Password			Create new account

蝴蝶定理的复数证明法

Viewed forums