Terminaison sans solutions

a/b a b a < b
a
b=1 n1
+1
n2
+· · · +1
nr
, n1> n2>· · · > nr>0.
n1n
a/b > 1/n a/b a1/b1=a/b −1/n1a1/b1
(n1, . . . , nr)
P1/n
a/b a b
−
−
[0, M]M=

n5
n2 1012
3 1013= 32+ 301
3 4 1003
1004= 421 5
PakbkPak(b+1)k
1