【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与

天山草 · 发表于 2013-12-11 19:19

下面引用由denglongshan在 2013/12/11 06:03pm 发表的内容：
哦，原来如此！你帮我看看你上面一楼的程序有什么问题？下载压缩包就可以了。很奇怪，办公室的电脑没有同样的问题。

可能是程序第一行与其它程序行脱节了。将它们挂上钩以后，运行结果如下，你看看是否正确：

denglongshan · 发表于 2013-12-11 22:39

原程序有一处错误，垂足Chz函数用错，与题目不符合，F1是E在AC的垂足。但是Mathematica还是有错，应该是内部错误，把-I的共轭复数看作减I。

天山草 · 发表于 2013-12-12 09:13

[这个贴子最后由天山草在 2013/12/12 09:16am 第 1 次编辑]

下面引用由denglongshan在 2013/12/11 10:39pm 发表的内容：
把-I的共轭复数看作减I。
另外一个可能，大写的 I 不能用于变量吧？那是不是跟系统中的虚数单位冲突了？

denglongshan · 发表于 2013-12-12 21:50

[这个贴子最后由denglongshan在 2013/12/12 10:11pm 第 3 次编辑]

原程序复制到画图软件错误，共轭符号自动不在，只好用QQ截图。

天山草 · 发表于 2013-12-13 11:33

[这个贴子最后由天山草在 2013/12/14 07:02am 第 6 次编辑]

今天 170 楼那个“仿李涛构图方法证明泰博定理”的程序，又往前迈进了一大步，解决了六个问题，其中最关键的是解决了【从一个定点向一个定圆引切线，如何求出切点坐标】的问题，其余五个都是小菜。
  还有最后一个堡垒需要攻克：即证明圆 I2 与三角形的外接圆相切。
试了方案（1）直线与圆相交，不行；（2）两圆相交，不行。
  试了两个方案都没有成功，目前是“雪拥蓝关马不前”。
准备试试第三个方案（3）求出两圆圆心的距离 S，若 S 加上小圆的半径恰好等于大圆的半径，则两圆相交。

天山草 · 发表于 2013-12-14 08:45

哈哈，第三个方案终于获得成功！见 170 页最后定型的程序。

denglongshan · 发表于 2013-12-14 23:23

热烈祝贺，你的可读性比李涛更强。你的一些问题参考：
b = x /. Solve[2 x + 1 == 0, x]
Simplify

天山草 · 发表于 2013-12-15 12:40

[这个贴子最后由天山草在 2013/12/15 00:59pm 第 1 次编辑]

下面引用由denglongshan在 2013/12/14 11:23pm 发表的内容：
你的一些问题参考：
b = x /. Solve[2 x + 1 == 0, x]
Simplify

上面的例子是单个方程，若是由 x, y 构成的方程组，该如何写？
哦，我试出来了，应该是
a = {x, y} /. Solve[{x + y == 3, x - y == 1}, {x, y}];
Simplify[a]

denglongshan · 发表于 2013-12-15 15:39

希望上传源程序

天山草 · 发表于 2013-12-15 16:19

[这个贴子最后由天山草在 2013/12/15 04:51pm 第 2 次编辑]

下面这个是进一步完善证明的版本。

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

【分享】交流一下 Mathematica 编程方法，期望学习该软件的网友积极参与