[讨论]吴文俊院士的机器证明与我的方法谁更简便?

denglongshan

  吴文俊院士对初等几何的机器证明有过很大贡献，可惜，他的程序证明网上找不到，这里我用Mathematica5.0给出内角平分线定理和蝴蝶定理的机器证明，不知吴院士与我的方法有何不同？谁更简便？请指教，非常感谢！
蝴蝶定理如果用解析几何比用复数方法困难得多.
请点击以下链接查看第四页38---43楼近日回复：
复数、向量最新知识与几何机器证明专题讲座

木直清风

我砍

wangyangke

李明波服丧期间， gaocd 用外甥，小学二年级，头上窟窿等言语多番挑衅污辱，gaocd 操蛋不操蛋？

gaocd

wangyangke，莫非李明波也把你妈给办了，
所以你认他作干爹，为他打抱不平？
我把你妈也办了，是你亲眼看到的，为什么不替我说活？
你这个杂种，化验一下DNA，看一看是不是有李明波的血统，
要不申一言怎么那么斩钉截铁地认定你是杂种？
他肯定有第一手资料！