好简化
【 在 calculus2000 的大作中提到: 】
: 倒角那部分证明可以简化一些
: ∠KDN=∠KDB+∠BDN
: ∠KMN=∠KCM+∠MKC
: ...................
--
FROM 120.231.213.*