하나의 난제, 세 번의 몰입
이야기에서 내 추측까지
난제 이야기는 호기심을 여는 입구이고, 난제 작업실은 그 호기심을 검증 가능한 생각으로 발전시키는 다음 장소입니다.
콜라츠 추측 (3n+1) — 규칙은 한 줄, 증명은 아직
아무 자연수에서 시작 — 짝수면 ÷2, 홀수면 ×3+1. 모든 수가 결국 1에 도달하는가? 1937년 이후 아무도 답하지 못함. 에르되시: "수학은 아직 이런 문제를 풀 준비가 안 됐다."
그림·약수·색칠처럼 손으로 작은 사례를 즉시 시험할 수 있어요.
시작 난이도는 문제를 이해하고 작은 사례를 탐험하는 기준입니다. 완전한 증명의 난이도와는 다릅니다.
5분 첫 시도로 내려가기공식 상금은 없다. 핵심은 계산 확인·밀도 정리·전체 명제를 구분하는 데 있다.
직접 숫자를 넣어보기 — 콜라츠 sandbox
아무 양의 정수 n을 넣으면 즉시 trajectory가 다시 그려집니다. 원하는 시드를 공유 링크로 복사해 친구가 같은 화면을 볼 수 있게.
문제의 진술
함수 f(n)을 정의: n이 짝수면 n/2, 홀수면 3n+1. 모든 양의 정수 n에 대해 f를 반복하면 결국 1에 도달하는가? 2025년 공개 기록 기준 2^71 미만을 계산으로 확인했지만 무한히 많은 시작값 전체의 증명은 아니다.
이 난제의 이야기
27에서 시작하면 82, 41, 124, …를 지나 111번 만에 1에 도달하며 중간에 9232까지 올라간다. 작은 수를 많이 시험하면 규칙이 참처럼 보이지만, 한 궤도가 커졌다 작아지는 방식이 시작값마다 달라 단순한 귀납법이 잘 맞지 않는다.
계산 검증은 계속 넓어져 2025년에는 2^71 미만의 모든 시작값이 1에 도달함이 확인됐다. 그러나 유한한 범위가 아무리 커도 그 바깥의 반례나 다른 순환을 배제하지는 못한다. “검산”과 “모든 수에 대한 증명”의 차이를 체감하기 좋은 사례다.
2019년 테렌스 타오는 로그 밀도 의미에서 거의 모든 시작값의 궤도가, 아무리 느리게 무한대로 가는 함수 f(n)를 골라도 결국 f(n) 아래로 내려온다는 강한 결과를 증명했다. 이것은 거의 모든 궤도가 1에 간다는 결론도, 각 개별 시작값의 결론도 아니다. 초보자는 궤도를 그릴 수 있고, 전문가는 확률적 모형과 결정론적 명제 사이의 간격을 연구한다.
직접 시도해보기
직접 27에서 시작해보자. 종이에 적어가며 1까지의 경로를 추적 — 몇 단계가 필요한가? 최댓값은 얼마인가? (정답: 111단계, 최대 9232). 다음으로 시도할 만한 어려운 시작값: 871 (178단계). 너의 컴퓨터로 10000까지 모든 수가 1에 도달하는지 검증하는 작은 프로그램을 짤 수 있을까?
MathVoyage 너머로
불러오는 중…