数学定義 最大公約数