Deonstração por absurdo

[apaula]

Dados a,b,c números inteiros. Mostre que se a não divide bc, então a não divide b.

-------

Como bc não é divisível por a então:

eq.1

E supondo, por absurdo, que a divide, então:

eq.2

-------

Agora não sei o que fazer. Substituí o valor de b da eq.2 na eq.1 mas não consegui concluir nada.

como continuo?

[fraol]

Partindo da sua equação 2: para indicar que divide ,
você chegará diretamente na contradição da afirmação:

Mostre que se a não divide bc, então a não divide b.

Ora, se não divide , e supondo, por absurdo, que divide temos uma contradição ao afirmar que não divide , o que nos levar a concluir que não divide .

[lua_guyl]

Boa tarde,
O meu exercício é o mesmo, provável que nosso curso seja na mesma universidade, porém não entendi muito bem a resolução, segue meu raciocínio:

Dados a,b e c inteiros. Mostre pela redução ao absurdo que se a não divide bc, então a não divide b:
Pelo método do absurdo temos:
Se a/b, então a=b.k1
Se a/bc então bc=a.k2
Substituindo: bc=b.k1.k2
Também não consigo desenvolver a partir daqui e não entendi esse r1 da resolução dela.
Por esse método eu posso negar as duas afirmações? ou isso seria demonstrar pela contraposição?