設(shè)a,b的的所有素因子為P1,P2,...Pn （Pi為兩兩不等的素?cái)?shù)）
設(shè)a=（P1^β1）（P2^β2）.（Pn^βn）
b=（P1^α1）（P2^α2）.（Pn^αn）
其中αi,βi為非負(fù)整數(shù)
則[P1^（2β1）][P2^(2β2）].[Pn^(2βn）]
整除[P1^（2α1）][P2^(2α2）].[Pn^(2αn）]
有Pi兩兩互素,所以 有 Pi^（2βi）整除Pi^（2αi）
所以2βi≤2αi βi≤αi
所以b=a[P1^（α1-β1）][P2^(α2-β2）].[Pn^(αn-βn）]
所以a整除b