【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与
下面引用由denglongshan在 2013/12/11 06:03pm 发表的内容：哦，原来如此！你帮我看看你上面一楼的程序有什么问题？下载压缩包就可以了。很奇怪，办公室的电脑没有同样的问题。
可能是程序第一行与其它程序行脱节了。将它们挂上钩以后，运行结果如下，你看看是否正确：
【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与
原程序有一处错误，垂足Chz函数用错，与题目不符合，F1是E在AC的垂足。但是Mathematica还是有错，应该是内部错误，把-I的共轭复数看作减I。【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与
[这个贴子最后由天山草在 2013/12/12 09:16am 第 1 次编辑]下面引用由denglongshan在 2013/12/11 10:39pm 发表的内容：
把-I的共轭复数看作减I。
另外一个可能，大写的 I 不能用于变量吧？那是不是跟系统中的虚数单位冲突了？
【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与
[这个贴子最后由denglongshan在 2013/12/12 10:11pm 第 3 次编辑]原程序复制到画图软件错误，共轭符号自动不在，只好用QQ截图。
【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与
[这个贴子最后由天山草在 2013/12/14 07:02am 第 6 次编辑]今天 170 楼那个“仿李涛构图方法证明泰博定理”的程序，又往前迈进了一大步，解决了六个问题，其中最关键的是解决了【从一个定点向一个定圆引切线，如何求出切点坐标】的问题，其余五个都是小菜。
还有最后一个堡垒需要攻克：即证明圆 I2 与三角形的外接圆相切。
试了方案（1）直线与圆相交，不行；（2）两圆相交，不行。
试了两个方案都没有成功，目前是“雪拥蓝关马不前”。
准备试试第三个方案（3）求出两圆圆心的距离 S，若 S 加上小圆的半径恰好等于大圆的半径，则两圆相交。
【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与
哈哈，第三个方案终于获得成功！见 170 页最后定型的程序。【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与
热烈祝贺，你的可读性比李涛更强。你的一些问题参考：b = x /. Solve
Simplify
【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与
[这个贴子最后由天山草在 2013/12/15 00:59pm 第 1 次编辑]下面引用由denglongshan在 2013/12/14 11:23pm 发表的内容：
你的一些问题参考：
b = x /. Solve
Simplify
上面的例子是单个方程，若是由 x, y 构成的方程组，该如何写？
哦，我试出来了，应该是
a = {x, y} /. Solve[{x + y == 3, x - y == 1}, {x, y}];
Simplify
【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与
希望上传源程序
【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与
[这个贴子最后由天山草在 2013/12/15 04:51pm 第 2 次编辑]下面这个是进一步完善证明的版本。