数字17296の意味と解説
17296の真の約数をすべて足すと18416に、18416の真の約数をすべて足すと17296に戻る——この辞典の220/284から12285/14595まで積み重ねてきた友愛数シリーズの8番目のペアだ。フランスの数学者ピエール・ド・フェルマーが1636年に発見したという説が広く知られているが、13〜14世紀のイスラム世界の数学者カマール・アッディーン・アルファーリシーがすでにこのペアを証明していたことが、数学史研究(J. P. Hogendijk, 1985年)を引用するセント・アンドルーズ大学の記録で確認できる。同じ研究はさらに『9世紀のサービット・イブン・クッラ自身がこのペアを知っていた可能性がある』とまで論じており、最初の発見者を一つに絞ることはできない。
数学的な性質・豆知識
17296の真の約数(1, 2, 4, 8, 16, 23, 46, 47, 92, 94, 184, 188, 368, 376, 752, 1081, 2162, 4324, 8648)をすべて足すと18416に、逆に18416の真の約数(1, 2, 4, 8, 16, 1151, 2302, 4604, 9208)を足すと17296に戻る——これが『友愛数』と呼ばれる関係だ。この辞典の220/284(最小のペア)・1184/1210・2620/2924・5020/5564・6232/6368・10744/10856・12285/14595に続く8番目のペアにあたる(OEIS A002025)。9世紀のアラブの数学者サービット・イブン・クッラが示した友愛数生成公式(h=3·2ⁿ−1、t=3·2ⁿ⁻¹−1、s=9·2²ⁿ⁻¹−1がすべて素数のとき(2ⁿht, 2ⁿs)が友愛数ペアになる)にn=2〜10を実際に全数代入して検証したところ、n=2で(220, 284)、n=4でちょうど(17296, 18416)が生成されることを確認した。フランスの数学者フェルマーが1636年に発見したとされるが、セント・アンドルーズ大学の数学史アーカイブMacTutorは、13〜14世紀のイスラム世界の数学者アルファーリシーがこのペアをすでに証明していたと明記し、専門論文(Hogendijk, 1985年)を引用しつつ『9世紀のサービット・イブン・クッラ自身がこのペアを知っていた可能性がある』とまで論じている。gcd(17296,18416)=16で両者を割った商(1081=23×47、1151)がともに平方因子を持たないため、この辞典独自の分類基準では『正則な友愛数ペア』にあたり、非正則だった12285/14595との対比になる。桁の和は1+7+2+9+6=25で、さらに2+5=7に還元される。
縁起・風水・吉凶
伝統的な吉凶の対象ではなく、この辞典の8番目の友愛数ペア(相方は18416)として数学史に名を残す数字です。
17296は、自分自身を除く約数の和が互いに相手の数と一致する『友愛数』のペアの一つで、相方は18416です。この辞典の220/284・1184/1210・2620/2924・5020/5564・6232/6368・10744/10856・12285/14595に続く8番目のペアにあたります。フランスの数学者フェルマーが1636年に発見したとされますが、それより数世紀早く13〜14世紀のイスラム世界の数学者アルファーリシーがすでに証明していたことが数学史研究で確認されており、最初の発見者をめぐる謎は今も完全には解けていません。9世紀のサービット・イブン・クッラが示した友愛数生成公式でn=4のケースとして得られる、由緒ある組み合わせでもあります。
よくある質問
Q. 17296と18416はどんな関係の数字ですか？
A. 友愛数(親和数)とは、自分自身を除く約数(真の約数)の和が互いに相手の数と一致する2つの数の組です。17296の真の約数(1, 2, 4, 8, 16, 23, 46, 47, 92, 94, 184, 188, 368, 376, 752, 1081, 2162, 4324, 8648)の和は18416に、18416の真の約数(1, 2, 4, 8, 16, 1151, 2302, 4604, 9208)の和は17296になります。この辞典の220/284からはじまり、1184/1210・2620/2924・5020/5564・6232/6368・10744/10856・12285/14595と続いてきた友愛数シリーズの8番目のペアにあたります(OEIS A002025: 220, 1184, 2620, 5020, 6232, 10744, 12285, 17296…)。
Q. 17296/18416は誰が発見したのですか？
A. 定説では、フランスの数学者ピエール・ド・フェルマーが1636年に発見したとされます。しかしセント・アンドルーズ大学のMacTutor(数学史アーカイブ)は、13〜14世紀のイスラム世界の数学者カマール・アッディーン・アルファーリシーがこのペアをすでに証明していたと明記しており、専門論文(J. P. Hogendijk, 1985年)を引用しつつ『9世紀のサービット・イブン・クッラ自身がこのペアを知っていた可能性がある』とまで論じています。モロッコの数学者イブン・アル＝バンナー(1256-1321)が独立に発見していたという説を紹介する資料もありますが、この情報源には一次資料で直接到達できませんでした。最初の発見者を一つに断定することはできません。
Q. サービット・イブン・クッラの定理とはどんな関係がありますか？
A. 9世紀のアラブの数学者サービット・イブン・クッラは、整数nについてh=3·2ⁿ−1、t=3·2ⁿ⁻¹−1、s=9·2²ⁿ⁻¹−1がすべて素数のとき、(2ⁿht, 2ⁿs)が友愛数ペアになるという公式を示しました。n=2では(220, 284)、n=4では(17296, 18416)が生成されることをNode.jsでの全数探索(n=2〜10)で確認しました。この公式で実際に友愛数ペアが得られるのはn=2, 4, 7(9363584, 9437056、未収録)の3通りのみで、これがオイラー以前に知られていた友愛数がわずか3組だったとされる理由と一致します。
出典・参考
公開日: 2026-08-25