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

天山草

下面引用由denglongshan在 2013/12/15 03:39pm 发表的内容：
那个求Zm的条件分析出来了吗？

那个条件不是分析出来的，是试验出来的。或者说是程序调试中“调”出来的。
那个条件就是某个表达式 f(x) 的平方再开平方，其结果是 f(x) 还是 -f(x) 的问题。

天山草

下面引用由denglongshan在 2013/12/15 03:39pm 发表的内容：
泰博定理还可以扩展，上面的证明是否包括图中的情形？

我想没有包括进去。

denglongshan

呵呵，再修改一下骏马图就画出来了，那个条件你原来用的数值方法可以用来检验，只是不知道如何编程序？[br][br]-=-=-=-=- 以下内容由 denglongshan 在 时添加 -=-=-=-=-
输入一组数值，如果符合条件，就用，否则就用另外一个结果。

天山草

我想所谓“调试程序”，其中就包括“输入一组数值，如果符合条件，就用，否则就用另外一个结果。”
   “再修改一下骏马图就画出来了”：mathematica 如何写“子程序”，如何调用子程序，这个我还不会。

denglongshan

先构造外接圆，第一个圆心表达式比较简单，但还是求不出来。
希望上传改进版的源程序压缩包。

天山草

下面引用由denglongshan在 2013/12/15 08:33pm 发表的内容：
希望上传改进版的源程序压缩包。

天山草

下面引用由denglongshan在 2013/12/15 08:33pm 发表的内容：
先构造外接圆，第一个圆心表达式比较简单，但还是求不出来。

我感到奇怪的问题是，像李涛那样构图，各点的复坐标表达式就都比较简单，任何式子中都没有根号。如果换一种构图方法，就不一定能如此。

天山草

已知不在同一直线上的三个点的坐标，如何求这三个点构成的角度的平分线方程？方程的结果是多种多样的，有没有一种特别简单、有效、普遍适用的方程？
    李涛的证明器中，没有列入角的平分线的方程。

denglongshan

设这三点分别是A、B和C，则∠B的平分线有两条，用v表示它们的共轭比，显然v^2=AB的共轭比*BC的共轭比

天山草

下面引用由denglongshan在 2013/12/16 05:38pm 发表的内容：
设这三点分别是A、B和C，则∠B的平分线有两条，用v表示它们的共轭比，显然v^2=AB的共轭比*BC的共轭比

如果仿照李涛的构图方法，而使用“共轭比”的概念编程，能不能实现泰博定理的证明？
是否注意到，李涛的程序及运行结果中，完全没有涉及到“共轭复数”。