22/09/19 23:56:38.20 cZ2jaFqy.net
>>240
帰納法で証明する。
最小の合成数4=2×2=2^2と分解される。これは題意を満たす。
aを合成数とする。aより小さい合成数に関して題意が成り立つと仮定する。
可解性
aは合成数だからa=b×c、1<b<a、1<c<aと分解出来る。
bとcはともに素数であるか少なくともどちらか一方は合成数である。後者の場合は帰納法の仮定により素数の積に分解される。したがっていずれにしてもaは素数の積に分解される。
一意性
a=p1p2…=q1q2…と素数の積に分解されたとする。
p1b2…は素数q1で割り切れる。
するとp1、p2、…の少なくとも1つはq1で割り切れる。それをp1としてよい。p1は素数であるからp1=q1である。
よってp2p3…=q2q3…
これをbとすると1<b<aであるから帰納法の仮定により素因数分解は一意的である。よって証明された。