(1) x と y の最大公約数を g とおき, x = gx' , y = gy' とおく.すると a = 5x + 4y = g(5x' + 4y') b = 6x + 5y = g(6x' + 5y') となり, 5x' + 4y' と 6x' + 5y' が互いに素なので, a と b の最大公約数は g になります.
(2) 4/5 < q/p < 5/6 を満たす自然数 p , q について p = 6x + 5y q = 5x + 4y を満たす自然数 x , y が存在することを示しましょう.