Ciao fabtor,
provo a mettere un pò di ordine ai vari post con una dimostrazione completa, basata sul procedimento "russo".
Dunque, per dimostrare che

è un divisore di

, ci basta dimostrare che

non può assumere altri valori se non i divisori di

.
Per far ciò ci basta dimostrare che per ogni intero

diverso dai divisori di

, esiste almeno un numero intero

, divisibile per

, il cui inverso non lo sia (ad es. per dimostrare che

non può valere

ci basta trovare un intero

divisibile per

, il cui inverso non lo sia).
Dimostriamo ciò.
Consideriamo ora l'insieme formato da tutti gli interi di tipo

.
Esso conterrà infiniti numeri divisibile per

, per

, per

, etc.;
più in generale conterrà infiniti numeri divisibili per

, con

.
Infatti possiamo facilmente individuare un intero di tipo

, divisibile per

, attraverso la seguente formula:
![n\/=\/500\cdot {10}^c+m-[(500\cdot {10}^c) \bmod m] n\/=\/500\cdot {10}^c+m-[(500\cdot {10}^c) \bmod m]](https://www.base5forum.it/cgi-bin/mimetex.cgi?n\/=\/500\cdot {10}^c+m-[(500\cdot {10}^c) \bmod m])
dove

è il numero di cifre del numero

(ad es. per

otteniamo il numero

, che è appunto divisibile per

).
A questo punto il procedimento "russo" ci permette di affermare che, se un numero di tipo

ed il suo inverso sono divisibili per

, allora

è un divisore di

.
Possiamo evidentemente escludere

e

come possibili valori di

, dal momento che esistono infiniti interi divisibili per

e

il cui inverso non lo sia (basta considerare interi con la prima cifra non pari nel caso di

, ed interi con la prima cifra diversa da

nel caso di

).
Quindi ricapitolando, se

e il suo inverso sono divisibili per

, allora

è un divisore di

.
Ma siamo sicuri che non ci siano altri possibili valori per

?
Si, ne siamo sicuri, perchè se ad es.

potesse valere

, vuol dire che il numero

sarebbe divisibile per

, e lo sarebbe anche il suo inverso;
di conseguenza, alla fine del procedimento "russo", dovremmo ottenere un numero divisibile per

.
Invece otteniamo sempre il numero

.
Lo stesso ragionamento vale per qualsiasi numero diverso dai divisori di

.
Ciò significa che per ogni intero

, diverso da un divisore di

, abbiamo un controesempio, ossia almeno un intero

divisibile per

, il cui inverso non lo sia.
Dunque

può essere solo un divisore di

.
QED
SE&O
Ciao
Admin