したがって、計算は止まる。ここで計算は上から順に行われることに注意しよう。以降を(1)と書くのか(2)によって答えが異なってきます。実際に試してみると、次のようになります。計算して表示されています。条件をいつまでも満たします。したがって、ずっと計算して無限ループをします。そのへんはしっかり確認してください。ない限り、ずっと計算し続けます。なるということを保障しなければなりません。それが任意の2つの整数でも成り立つことを示さなければなりません。実際、ユークリッド互除法が有限回でストップすることは初等整数論で示されます。無限ループに陥ることはありません。Int・Max・Min最後に定義せずに使える特別な関数を説明します。これは小数に対して、その整数部分を出力する関数です。整数を入力したら整数が出力します。maxおよびminは最大値と最小値を選ぶような関数です。以上が今回プログラムで使われるPythonの基本的な知識のまとめです。プログラムを作る以上によって、数学的な知識とプログラムの知識をまとめました。最後にユークリッド互除法で最大公約数を求めるプログラムを定義します。最大公約数が求められたら最小公倍数も求められます。それは最初の見出しのプログラムです。このプログラムを解説します。次のように定義することができます。ように小数第一位まで入ってしまうので、見やすくするために導入されています。数の大小を決めるユークリッド互除法をおこなうためには大きい数から小さい数を割らなければなりません。どちらが大きいか小さいかの語順は関係なく代入されます。