이산수학과 정수론 · 피보나치 수열

피보나치 수열

피보나치 수열 1, 1, 2, 3, 5, 8, …은 두 개의 1로 시작하며, 이후 각 항은 바로 앞 두 항의 합입니다. 이웃한 두 항의 비는 황금비 φ = (1 + √5)/2 ≈ 1.618에 가까워집니다. 임의의 두 양수에서 같은 규칙으로 만든 수열도 마찬가지입니다.

이 시각화에서 보는 피보나치 수열

피보나치 수열 1, 1, 2, 3, 5, 8, 13, …은 두 개의 1로 시작하며, 이후 각 항은 바로 앞 두 항의 합입니다. 같은 규칙 xk=xk−1+xk−2x_k = x_{k-1} + x_{k-2}는 임의의 두 양수 x1=ax_1 = a와 x2=bx_2 = b에서도 시작할 수 있습니다. 2, 1로 시작하면 뤼카 수(2, 1, 3, 4, 7, 11, …)가 됩니다. 여기서는 직사각형에 정사각형을 붙여 이런 수열을 만들고, 이웃한 항의 비 rk=xk/xk−1r_k = x_k / x_{k-1}가 황금비 φ에 가까워지는 모습을 따라가며, 어느 양수 시작값에서든 그렇게 되는 이유를 거미줄 도표에서 볼 수 있습니다.

처음에는 너비 a, 높이 b인 직사각형입니다. 가장 최근 항의 길이와 같은 변에 정사각형을 붙이면 새 항이 생깁니다. 변 길이가 xk−1x_{k-1}와 xk−2x_{k-2}인 직사각형에 변 길이 xk−1x_{k-1}인 정사각형을 붙이면 xkx_k와 xk−1x_{k-1}를 변으로 하는 직사각형이 됩니다. 따라서 세 번째 항부터 rkr_k는 긴 변을 짧은 변으로 나눈 값, 즉 직사각형의 모양을 나타냅니다. 그림에서는 직사각형의 크기를 일정하게 유지하여 수의 증가보다 모양이 안정되는 모습을 보여 줍니다.

정사각형을 붙이면 일정한 규칙 rk+1=(xk+xk−1)/xk=1+1/rkr_{k+1} = (x_k + x_{k-1})/x_k = 1 + 1/r_k에 따라 비가 바뀝니다. 정사각형을 붙여도 모양이 같으려면 r=1+1/rr = 1 + 1/r, 즉 r2=r+1r^2 = r + 1여야 하며, 이 식의 양의 해가 황금비 φ=(1+5)/2≈1.618\varphi = (1 + \sqrt5)/2 \approx 1.618입니다. 이것이 황금 직사각형입니다. 정사각형을 붙이면 같은 모양이면서 변 길이가 φ배가 됩니다. 거미줄 도표는 이 규칙을 그립니다. 비 r에서 위로 올라가 곡선 y=1+1/ry = 1 + 1/r에서 다음 비를 읽고, 가로로 이동해 대각선 y=ry = r에 도달한 뒤 그 값에서 다음 단계를 시작합니다. 곡선과 대각선은 (φ, φ)에서 만납니다.

비는 왜 번갈아 커졌다 작아지며, 모든 양수 시작값에서 같은 극한으로 갈까요? φ=1+1/φ\varphi = 1 + 1/\varphi이므로 한 단계가 φ와의 차이를 정확히 다음과 같이 바꿉니다.

정사각형 하나를 더 붙인 뒤의 차이
rk+1−φ=−rk−φφ rkr_{k+1} - \varphi = -\frac{r_k - \varphi}{\varphi\, r_k}

처음부터 정확한 황금비가 아니라면 음수 부호 때문에 각 비는 이전 비와 φ의 반대편에 놓입니다. r3r_3부터 모든 비가 1보다 크므로, 매 단계 차이의 크기에 1/φ≈0.6181/\varphi \approx 0.618보다 작은 수를 곱하게 되어 차이가 0으로 줄어듭니다. 멀어질 수 있는 것은 첫 단계뿐입니다. r2=b/ar_2 = b/a가 1/φ보다 작으면 차이가 커집니다. φ 근처에서는 곱하는 값이 −1/φ2≈−0.382-1/\varphi^2 \approx -0.382에 가까워집니다. 이는 곡선과 대각선의 교점에서의 기울기이므로, 결국 매 단계 차이는 이전의 약 0.382배가 됩니다.

항 자체는 거의 등비적으로 증가하며, 각 항은 이전 항의 φ배에 점점 더 가까워집니다. 피보나치 수 F1=F2=1F_1 = F_2 = 1에 대해서는 비네 공식이 정확한 식을 줍니다.

비네 공식
Fn=φn−ψn5,ψ=1−52=−1φF_n = \frac{\varphi^n - \psi^n}{\sqrt5}, \qquad \psi = \frac{1 - \sqrt5}{2} = -\frac{1}{\varphi}

∣ψ∣<1|\psi| < 1이므로 FnF_n는 φn/5\varphi^n/\sqrt5에 가장 가까운 정수입니다. 고유벡터 페이지에서는 같은 두 수가 이웃한 항의 쌍을 다음 쌍으로 옮기는 행렬의 고유값으로 나타납니다.

살펴볼 점

  • 비가 φ와 같으려면 이전 비도 φ여야 합니다. 1+1/r=φ1 + 1/r = \varphi가 성립하는 것은 정확히 r=φr = \varphi일 때이기 때문입니다. 따라서 황금비로 시작하지 않으면 비는 φ에 도달하지 않고 가까워지기만 합니다. 이웃한 피보나치 비의 차이는 정확히 1/(FkFk−1)1/(F_k F_{k-1})입니다.

조작

  • 거미줄 도표의 r축을 누르거나 따라 끌어 b를 바꾸면 시작 모양 r2=b/ar_2 = b/a도 바뀝니다. b는 정수에 맞춰집니다.

관련 항목