Tengo problemas con la prueba de estos ejercicios de mi estudio de matemáticas. En el caso de (a), he intentado utilizar la división larga para encontrar el resto de (2^a) - 1 y (2^b) - 1, pero no ha funcionado. ¿Puedes ayudarme a demostrarlo?
Sean a, b en Z(>0)
(a) Sea r el resto de a por división con b. Demuestre que (2^r) - 1 es el resto de (2^a) - 1 por división con (2^b) - 1
(b) Demuestre: (2^b) - 1 | (2^a) - 1 si y sólo si b|a.