蝴蝶定理的复数证明法

TSC999 · 发表于 2022-4-20 16:22

本帖最后由 TSC999 于 2022-4-23 12:12 编辑 代码图片.png

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

程序运行结果： True

表示 PM=QM 为真。

TSC999 · 发表于 2022-4-21 13:10

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

改进的代码图片.png

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

TSC999 · 发表于 2022-4-23 11:35

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

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

pkuhuping · 发表于 2022-4-24 18:38

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

pkuhuping · 发表于 2022-4-24 18:40

回复 2# TSC999

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

		自动登录	找回密码
密码			快速注册