请教elim老师——分母不能为零？

denglongshan

很长时间没有发帖了，elim是一个诲人不倦的老师，特别请教。
提出共轭比概念，然后又提出共轭导数概念，却出现常数的导数出现分子分母都是零，我的文章显然自相矛盾，根据共轭导数与导数的关系，常数的共轭导数等于零，在求圆上一点的共轭导数时又规定常数的共轭导数等于零，却得到正确的结论。
对于分子分母都是零的情况该如何解释？
后来才知道，共轭比概念最早由Morley提出，只是被忘记了，至今没有中文名。可能就是Morley定理发现者。
莫利定理（Morley's theorem），也称为莫雷角三分线定理。将三角形的三个内角三等分，靠近某边的两条三分角线相交得到一个交点，则这样的三个交点可以构成一个正三角形。这个三角形常被称作莫利正三角形。

elim

敬佩唐兄的创意，你的文章这两天我找时间好好学习一下给你回复，不一定有帮助，谢谢信任。

denglongshan

      谢谢老师，我参加了第六届国际几何自动推理会议，96年在西班牙维哥大学召开。
    斜率与导数对应，又与共轭比对应，根据共轭导数与导数的关系，常数的共轭导数等于1，在求圆上一点的共轭导数时又规定常数的共轭导数等于零，却得到正确的结论。
   问题是常数的共轭导数是多少？
   另外，共轭比概念最早由Morley提出，叫clinant，至今没有中文名。

denglongshan

谢谢老师抽出宝贵时间阅读我的论文。

denglongshan

看来老师忘了

elim

denglongshan 发表于 2015-7-10 05:47
看来老师忘了

实在对不起, 一直没有什么好的处理方法.

这样吧, 我把你的材料整理, 贴出来, 加上一些注记, 让后可以互动地讨论. 以下先开个头.

elim

常数零不能作分母, 这是没有商量的. 原因在于没有一个妥善的办法定义 "1/0", 而得到一个自洽的数系.
简单说就是允许分母为0 必然导致这种或者那种荒谬和矛盾.

从另一方面看, 人们通常可以避免 0 作分母的尴尬: 把要处理的商作为某组变量的函数关于这些变量的极限.
在这个极限中, 分母趋于 0 而不等于 0.

elim

近来垃圾贴太多. 还请楼主理解.

denglongshan

谢谢老师，建立自己的理论比理睬那些无聊的贴子更有意义。虽然clinant Morley提出过，似乎人们早已忘记。若对几何机器证明有兴趣，可以发张景中和他的博士的一篇论文给你。