난제 작업실

하나의 난제, 세 번의 몰입

이야기에서 내 추측까지

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

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

에르되시 서로 다른 거리 — 평면 nn점은 거리 몇 가지를 만드는가

중급· 제기 1946

문제

평면 위의 *nn개 점이 서로 결정하는 거리의 가짓수의 최솟값* g(n)g(n)은?

Erdős 1946: g(n)=Ω(n/log⁡n)g(n) = \Omega(n / \sqrt{\log n}) 추측. 2010년 Guth–Katz에서 *g(n)=Ω(n/log⁡n)g(n) = \Omega(n / \log n) 증명으로 추측에 로그factor만 차이*로 거의 해결.

왜 흥미로운가

*직선 위 nn점*: 최소 거리 가짓수 =n−1= n - 1. *정사각 격자 n×n\sqrt{n} \times \sqrt{n}*: ∼n/log⁡n\sim n / \sqrt{\log n} — 정수 표현 가능 거리수 (Landau-Ramanujan 상수). 격자가 최적에 가깝다는 게 Erdős의 직관. 증명은 대수기하·incidence 이론·다항법이 동원되는 깊은 결과 — 조합기하의 새 기법이 이 문제로부터 탄생.

현재까지의 진척

Guth–Katz 2010-11 (Annals of Math 2015) — 다항식 분할 방법과 대수기하의 ruled-surface 분석으로 *g(n)≥c⋅n/log⁡ng(n) \ge c \cdot n / \log n 증명. Erdős 추측 n/log⁡nn/\sqrt{\log n}과는 log⁡n\sqrt{\log n} factor 차이만 남음. 조합기하의 폴리노미얼 방법 (Dvir 2008 finite-field Kakeya의 연장)이 결정적. 2010 Polya Prize* 수상.

더 읽기

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

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

무엇을 발견했나요?

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

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

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

불러오는 중…

연결된 개념

  • 조합론

    nn점이 만드는 거리 가짓수의 최솟값 — 격자 구조 vs 무작위 분포의 조합론

  • 대수 기하

    Guth–Katz 2010 폴리노미얼 분할 + ruled-surface 분석 — 대수기하의 incidence 도구가 결정적

연결된 수학자