是推导，不是证明。
【 在 webhost 的大作中提到: 】
: 这个，任何一个top2理科生，在初中的时候应该都手动推算过一遍吧
--
FROM 117.39.199.*