아래의 배경 설명은 아직 번역되지 않아 영어로 표시됩니다.
해피 수 소개
The iteration came first and the name came later. The earliest known treatment is a three-page paper by Arthur Porges, "A Set of Eight Numbers", in the American Mathematical Monthly volume 52 (1945), pages 379–382. Porges — an American writer who held a bachelor's and a master's degree in mathematics and taught the subject at college level before turning to short fiction full time — proved the fact that makes the whole puzzle well posed: take any positive integer, replace it by the sum of the squares of its digits, repeat, and you must end either at 1 or in the cycle 4, 16, 37, 58, 89, 145, 42, 20. Nothing else can happen in base ten. The reason is a size argument: any number of four or more digits maps to something strictly smaller, so every trajectory falls below 1000 within a few steps and is then trapped in a range small enough to check exhaustively by hand.
Where the cheerful name came from is genuinely unclear, and the usual story is a chain of custody rather than a discovery. The most widely repeated account has the problem reaching Reginald Allenby, a British author and senior lecturer in pure mathematics at the University of Leeds, by way of his daughter, who had met it at school; the same account adds only that the idea may have originated in Russia. Nobody has pinned it down further.
What drew research mathematicians was density. Esam El-Sedy and Samir Siksek proved that the happy numbers contain arbitrarily long runs of consecutive integers. Justin Gilmer later showed that their lower density is below 0.1138 while their upper density is above 0.18577 — the bounds do not meet, so the happy numbers have no natural density at all, even though counting them over any fixed range gives a suspiciously stable answer near 14%.
주요 성질
- In base 10, iterating the sum of the squares of the digits always reaches either 1 or the eight-term cycle 4 → 16 → 37 → 58 → 89 → 145 → 42 → 20 → 4.
- 7 is the smallest happy number above 1, by way of 7 → 49 → 97 → 130 → 10 → 1.
- 142 of the integers from 1 to 999 are happy; of the integers from 1 to 2,000,000, exactly 282,005 are, which is about 14.1%.
- The first pair of consecutive happy numbers is 31 and 32; the first run of three is 1880, 1881, 1882; the first run of four begins at 7839.
- El-Sedy and Siksek proved that runs of consecutive happy numbers can be made arbitrarily long.
- Gilmer proved that the lower density of the happy numbers is less than 0.1138 and the upper density greater than 0.18577, so the sequence has no natural density.
- A number of four or more digits always maps to a strictly smaller value, which is why every trajectory is eventually confined below 1000.
- Base 2 and base 4 are the only bases below 5×10⁸ known to be "happy", meaning every number in them reaches 1; whether any others exist is an open question.
등장하는 곳
- Project Euler problem 92, "Square Digit Chains", asks how many starting numbers below ten million arrive at 89 rather than 1 — a question that only makes sense because of Porges's theorem.
- Happy numbers are a standard programming-interview warm-up (LeetCode problem 202), because the iteration is a functional graph and Floyd's cycle-detection trick applies directly.
- The 2007 Doctor Who episode "42" uses happy primes as the answer to a series of door-lock puzzles.
- The primes that are also happy form their own catalogued sequence, OEIS A035497, beginning 7, 13, 19, 23, 31, 79, 97, 103.
- The digit-square map itself is catalogued as OEIS A003132 and is a common classroom example of an iteration with exactly two possible destinations.
이 생성기 사용법
생성된 값은 위쪽에 표시되고 옆에 복사 단추가 있습니다. 이미지로 만들려면 이미지 만들기의 스타일에서 모양을 고르고, 내보내기 크기를 정한 뒤 PNG·JPEG·WebP로 내려받으세요. 모두 브라우저에서 그려지므로 생성한 내용이 서버로 전송되지 않습니다.
작업하는 동안 주소창이 갱신되므로, 링크는 항상 지금 보이는 상태를 그대로 재현합니다. 특정 수열을 공유하거나 설정을 저장해 두기에 좋습니다. 값을 일반 텍스트로 가져가려면 복사를, CSV·JSON·NDJSON·SQL·XML이 필요하면 데이터 내보내기를 사용하세요.
출처
- Happy number — Wikipedia — CC BY-SA 4.0
- OEIS A007770 — Happy numbers — CC BY-SA 4.0
- OEIS A035497 — Happy primes — CC BY-SA 4.0
- OEIS A003132 — Sum of the squares of the digits of n — CC BY-SA 4.0
- Arthur Porges — Wikipedia — CC BY-SA 4.0
이 페이지의 역사적 설명은 위에 나열한 공개 라이선스 자료를 바탕으로 합니다. 잘못된 내용을 발견하셨나요? 알려주시면 바로잡겠습니다.