난제 작업실

하나의 난제, 세 번의 몰입

이야기에서 내 추측까지

난제 이야기는 호기심을 여는 입구이고, 난제 작업실은 그 호기심을 검증 가능한 생각으로 발전시키는 다음 장소입니다.

  1. 1 · 발견질문 만나기언제 태어나 왜 아직 사람을 붙잡는지 이야기로 이해합니다.
  2. 2 · 도전한 사례 시험하기그림·계산·색칠로 5분 안에 내 첫 관찰을 만듭니다.
  3. 3 · 발전지금 여기생각 이어 붙이기관찰을 공개하고 다른 시도와 비교해 추측·반례·부분 풀이로 키웁니다.
Week 24 · Erdős해결됨
1차 출처

에르되시 불일치 문제 — ±1\pm 1 수열의 부분합은 유계인가

중급· 제기 1932

문제

x1,x2,…∈{+1,−1}x_1, x_2, \ldots \in \{+1, -1\}인 임의의 수열에 대해, 부분합

S(n,d)=∑k=1nxkdS(n, d) = \sum_{k=1}^n x_{kd}

이 *모든 n,d≥1n, d \ge 1에서 어떤 상수 CC로 유계가 되도록 수열을 선택할 수 있는가*?

Erdős 1932: 불가능하다고 추측 (sup⁡∣S(n,d)∣=∞\sup |S(n, d)| = \infty).

왜 흥미로운가

d=1d = 1: 단순 부분합 ∑k=1nxk\sum_{k=1}^n x_k — Bernoulli walk. d=2d = 2: 짝수 인덱스만의 부분합. *모든 dd에 동시에 유계가 되려면 수열이 모든 곱셈 구조에 균형을 맞춰야 함 — 불가능해 보이지만 80년간 증명 안 됨*. C=2C = 2 (가장 약한 형태)도 컴퓨터로 수열 길이 1160까지 진척 후 추가 진척 불가로 알려졌었다.

현재까지의 진척

Tao 2015-09-17 (Discrete Analysis 1, 2016) — 완전 해결. 핵심 단계: Polymath 5가 C=2C = 2를 컴퓨터로 길이 1160까지 검증 후 막힘 → Tao가 Liouville·Möbius 함수의 multiplicative 구조 + entropy decrement 논증으로 *모든 CC에 대한 일반 증명 완성. Polymath 프로젝트가 결정적 단계까지 끌어올린 후 한 사람의 통찰로 마무리된 21세기 협업 수학의 모범*.

더 읽기

💡 한 줄부터 함께 탐구하기(0건)

참여를 인기 순으로 등급화하지 않습니다. 큐레이터는 무엇이 명료하고 재현 가능한지 말하고, 동료 신호는 누군가 이해했거나 직접 따라 해봤다는 뜻입니다.

무엇을 발견했나요?

완전한 풀이가 아니어도 좋습니다. 작은 관찰 하나가 다음 탐구의 길을 엽니다.

마크다운 + KaTeX 지원 (`$x^2$` 인라인, `$$\sum_{k=1}^n k$$` 디스플레이)
0 / 3000자

모더레이션 정책을 확인해 주세요. 로그인하면 다른 기기에서도 이 시도를 이어서 편집·삭제할 수 있습니다.

불러오는 중…

연결된 개념

  • 조합론

    ±1\pm 1 수열의 부분합 유계성 — Bernoulli walk와 곱셈 구조의 조합 분석

연결된 수학자