扩展欧几里得代码详解证明例题