■17=2^4+1(その5)
(2^148+1)/17
=(2^148+1)/(2^4+1)
=(2^144−2^140+2^136−・・・−2^4+1)
が整数であることがわかるが,それでは素数であるか?
===================================
1951年,フェリエは(2^148+1)/17が素数であることを発見した.その75年前,リュカは2^127−1が素数であることを手計算でチェックした.フェリエは(2^148+1)/17が素数であることを卓上計算機だけで計算したが,いかなる電子式計算装置も使わずに計算された最大の素数である.
===================================