中國人有名的畢氏定理證明法.