|
本帖最后由 TSC999 于 2022-5-17 20:58 编辑 下面是一个证明两线段平行的简单程序,程序是用 mathematica 写的。
程序中 g 和 h 是两个自由变量,其余各点的复数坐标都是 g 、h 的函数。此程序中需要求出 g 的共轭复数表达式,
为此由已知条件 BE // CF 和 EF 平行于实轴列出一个方程,解这个方程可以得到 的表达式,并且首次运行程序可以
得到正确的结果。但是不知什么原因,再次运行程序时就出错了。要想避免这个毛病,只能把首次运行结果补充到
程序中去,同时把解方程语句注销掉。但是这办法显得笨笨的,也让读者不解。
有什么办法解决?
今天能上传图片了。
解方程这一段程序有问题,但是哪里出了毛病?找不出来:
- Clear["Global`*"];
- \!\(\*OverscriptBox[\(b\), \(_\)]\) = b = 0; \!\(\*OverscriptBox[\(c\), \(_\)]\) = c = 1; e = (g (1/2 - I h))/\!\(\*OverscriptBox[\(g\), \(_\)]\);
- \!\(\*OverscriptBox[\(e\), \(_\)]\) = ((I h + 1/2) \!\(\*OverscriptBox[\(g\), \(_\)]\))/g;
- f = (2 I h g + g - 2 I h - 2 \!\(\*OverscriptBox[\(g\), \(_\)]\) + 1)/(2 - 2 \!\(\*OverscriptBox[\(g\), \(_\)]\));
- \!\(\*OverscriptBox[\(f\), \(_\)]\) = (-2 g + 2 I h - 2 I h \!\(\*OverscriptBox[\(g\), \(_\)]\) + \!\(\*OverscriptBox[\(g\), \(_\)]\) + 1)/(2 - 2 g);
- Simplify@Solve[{(e - b)/(\!\(\*OverscriptBox[\(e\), \(_\)]\) - \!\(\*OverscriptBox[\(b\), \(_\)]\)) == (f - c)/(\!\(\*OverscriptBox[\(f\), \(_\)]\) - \!\(\*OverscriptBox[\(c\), \(_\)]\)), (e - f)/(\!\(\*OverscriptBox[\(e\), \(_\)]\) - \!\(\*OverscriptBox[\(f\), \(_\)]\)) == 1}, {\!\(\*OverscriptBox[\(g\), \(_\)]\)}]
复制代码 |
|