http://imgur.com/a/biAta
想请问
倒数第五行
(m˙1)˙(k˙1)=0
为什么因为F是一个Field
就可以得出
m˙1 = 0 或 k˙1 = 0
这个结论?

因为他假设1 unity，0 zero任何元素与unity运算等于自己所以得出0要不是m=0/k=0