|
O argumento do Morgado (O Grande) mostra que a e b
tem os mesmos fatores primos. Isole um deles. Se o expoente eh x em a e y em b,
temos que x=<2y, 2y=<3x... nx=<(n+1)y, (n+1)y=<(n+2)x.
Então (n/(n+1))x =<y e ((n+1)/(n+2))y=<x, ou
y=< ((n+2)/(n+1))x. Entao:
(n/(n+1))x=<y=<((n+2)/(n+1))x. Isso vale para
"n"s arbitrariamente grandes, e como o primeiro e o terceiro lados tendem a x, y
deve ser igual a x (pelo principio da compressao). Confira as contas (mas
se algo estiver errado, deve ser fácil consertar).
|