aが整数でないときa=[a]+1/a1 []はガウス記号
とするとa1>1でa1が整数でないときa1=[a1]+1/a2
という操作を繰り返す
aが有理数ならこの操作が有限回で終わることを示せ