도구스학업·수학

레카만 수열 계산기

a(n) = a(n−1) − n을 쓰되 양수이고 아직 안 나온 값일 때만 허용하는 레카만 수열(OEIS A005132)을 계산합니다. 각 항이 뺄셈·덧셈 중 어느 쪽으로 정해졌는지 과정을 보여주고, 아치 그림으로 눈에 익은 모양을 그려줍니다.

0 ~ 400까지 계산합니다.

a(30)

45

전체 31항 중 뺄셈 12번 · 덧셈 18번 · 최댓값 63

가로가 수직선입니다. 짝수 단계는 위, 홀수 단계는 아래로 반원을 그립니다.

최댓값63
최솟값0
뺄셈으로 정해진 항12개
덧셈으로 정해진 항18개
0 → 1 → 3 → 6 → 2 → 7 → 13 → 20 → 12 → 21 → 11 → 22 → 10 → 23 → 9 → 24 → 8 → 25 → 43 → 62 → 42 → 63 → 41 → 18 → 42 → 17 → 43 → 16 → 44 → 15 → 45

0항부터 순서대로.

na(n−1)후보 = a(n−1)−n판정a(n)
10-1덧셈 (후보가 음수·0)1
21-1덧셈 (후보가 음수·0)3
330덧셈 (후보가 음수·0)6
462뺄셈 (양수·새 값)2
52-3덧셈 (후보가 음수·0)7
671덧셈 (후보가 이미 나옴)13
7136덧셈 (후보가 이미 나옴)20
82012뺄셈 (양수·새 값)12
9123덧셈 (후보가 이미 나옴)21
102111뺄셈 (양수·새 값)11
11110덧셈 (후보가 음수·0)22
122210뺄셈 (양수·새 값)10
1310-3덧셈 (후보가 음수·0)23
14239뺄셈 (양수·새 값)9
159-6덧셈 (후보가 음수·0)24
16248뺄셈 (양수·새 값)8
178-9덧셈 (후보가 음수·0)25
18257덧셈 (후보가 이미 나옴)43
194324덧셈 (후보가 이미 나옴)62
206242뺄셈 (양수·새 값)42
214221덧셈 (후보가 이미 나옴)63
226341뺄셈 (양수·새 값)41
234118뺄셈 (양수·새 값)18
2418-6덧셈 (후보가 음수·0)42
254217뺄셈 (양수·새 값)17
2617-9덧셈 (후보가 음수·0)43
274316뺄셈 (양수·새 값)16
2816-12덧셈 (후보가 음수·0)44
294415뺄셈 (양수·새 값)15
3015-15덧셈 (후보가 음수·0)45
규칙은 두 줄이지만 두 조건을 다 확인해야 합니다. a(n) = a(n−1) − n을 쓰려면 그 값이 양수이고, 0항부터 지금까지 나온 모든 값과 달라야 합니다. n=1~3은 후보가 음수이거나 0이라 첫 조건에서 걸리고, n=6·n=7은 후보가 양수인데도 이미 나온 값(각각 a1=1, a3=6)이라 둘째 조건에서 걸립니다 — 바로 앞 항 하나만 비교해서는 이 차이를 잡을 수 없습니다.
모든 자연수가 언젠가 나오는지는 아직 증명되지 않았습니다. 2018년 기준 10^17 항까지 컴퓨터로 확인했지만 그것이 증명은 아닙니다. 이 계산기는 그 질문에 답하지 않고, 딱 넣은 항수만큼만 계산해 보여 줍니다.

계산 방법

  1. 1항수 n을 넣습니다. 0부터 n항까지 계산합니다.
  2. 2아치 그림에서 반원이 위·아래로 번갈아 그려지는 모양을 봅니다.
  3. 3표에서 각 항이 뺄셈·덧셈 중 무엇으로 정해졌는지, 후보가 왜 거부됐는지 확인합니다.

자주 묻는 질문

a(0)=0에서 시작해, a(n) = a(n−1) − n을 씁니다. 단 그 값이 양수이고 0항부터 지금까지 나온 모든 값과 달라야만 씁니다. 두 조건 중 하나라도 어긋나면 대신 a(n−1) + n으로 물러섭니다.

"아직 안 나온 값"인지는 0항부터 지금까지 나온 모든 값과 비교해야 하기 때문입니다. 예를 들어 n=6에서 후보 a(5)−6=1은 양수지만 이미 a(1)=1로 나왔던 값이라 거부되고, n=7의 후보 6도 이미 a(3)=6으로 나왔던 값이라 거부됩니다. 둘 다 바로 앞 항(a(5), a(6))과는 다른 값인데도 거부되는 것이 핵심입니다.

증명되지 않은 미해결 문제입니다. 2018년 기준 10^17항까지 컴퓨터로 확인한 결과 몇몇 예외를 빼고는 나온다고 알려져 있지만, 모든 수에 대한 증명은 아직 없습니다.

규칙상 뺄셈은 결과가 양수일 때만 허용하므로 음수가 나올 수 없습니다. 지금까지 계산된 모든 범위에서 최솟값은 항상 0(a(0))입니다.

이론적으로는 가능하지만(규칙이 덧셈 쪽 결과의 중복은 막지 않습니다), 알려진 범위에서는 관측된 적이 없습니다. 이 계산기는 그런 경우가 생기면 표에 «이미 나온 값 위에 다시 찍힘»으로만 표시하고 규칙을 바꾸지 않습니다.

전송되지 않습니다. 모든 계산은 브라우저 안에서 이뤄지고, 입력값은 이 기기에만 남습니다.

알아두면 좋은 점

  • 항수는 400까지 계산합니다. 그 이상은 화면에 다 그리기 어려워 자릅니다.
  • 아치 그림·수열 목록은 앞부분(각각 계산 가능한 만큼, 목록은 60개)까지만 보여 줍니다.
  • 값이 무한히 넓게 퍼지는 수열이라 항수가 커지면 아치 그림의 반원 크기 차이도 커집니다.

함께 보면 좋은 도구

마지막 검증: 2026년 9월 3일 · 결과는 참고용 추정치입니다.