비네 공식: 피보나치 수열의 일반항에 무리수 √5가 등장하는 이유 🌀

1. 먼저 주인공 소개: 피보나치 수열 🐇

피보나치 수열은 이탈리아 피사의 수학자 레오나르도, 흔히 피보나치라고 불리는 사람이 1202년에 쓴 책 『산반서(Liber Abaci)』에 등장한 토끼 문제로 유명해졌어. "한 쌍의 토끼가 매달 새끼 한 쌍을 낳고, 새끼는 두 달째부터 번식한다면 1년 뒤 토끼는 몇 쌍일까?"라는 문제였지.

규칙은 딱 하나야.

이런 식으로 "앞의 항들로 다음 항을 정하는" 규칙을 점화식이라고 불러. 점화식은 계산 방법은 확실히 알려주지만, 단점이 있어. 100번째 항을 알고 싶으면 1번째부터 99번째까지 다 구해야 한다는 거지. 그래서 수학자들은 늘 "n만 넣으면 바로 답이 나오는 식", 즉 일반항을 원해. 그 일반항이 바로 오늘의 주인공 비네 공식이야.

오른쪽 열 보여? 이웃한 두 항의 비율이 위아래로 흔들리면서 1.6180339…라는 수로 점점 다가가. 이게 바로 황금비 φ(파이)야. 이 φ 안에 √5가 들어 있다는 게 오늘 이야기의 첫 번째 단서야. 비율이 √5를 품은 수로 수렴한다면, 수열 자체도 √5와 깊은 관계가 있을 수밖에 없겠지?

2. 비네 공식, 정체를 드러내다 📜

바로 공식부터 보자.

간단하게 쓰려고 두 수에 이름을 붙여.

그러면 공식은 이렇게 깔끔해져.

진짜 되는지 바로 확인해 볼까? n = 1이면 φ − ψ = (1+√5)/2 − (1−√5)/2 = √5 니까, √5 ÷ √5 = 1. 정답! n = 2면 φ² − ψ² = (φ+ψ)(φ−ψ) = 1 × √5 니까 역시 1. 이것도 맞아. 신기하지? 무리수끼리 빼고 나누다 보니 정수가 튀어나와.

3. √5는 대체 어디서 왔을까? 핵심은 "x² = x + 1" 🔍

자, 이제 진짜 본론이야. √5가 등장하는 이유를 한 문장으로 요약하면 이거야.

무슨 소린지 차근차근 따라가 보자. 단계별로 쪼개 볼게.

정리하면 √5는 공식 안에서 두 번 얼굴을 비쳐. 한 번은 φ와 ψ 안쪽에서(특성방정식의 해로서), 한 번은 바깥 분모에서(초기 조건을 맞추는 계수로서). 그런데 이 둘은 사실 같은 뿌리야. 분모의 √5는 φ − ψ, 즉 두 근의 차이거든. 그리고 이차방정식에서 두 근의 차이는 언제나 √(판별식)/|a| 야. 결국 모든 길은 "판별식 = 5"로 통해.

4. 생성함수로 보면 또 √5가 보인다 🧮

같은 결론을 완전히 다른 길로도 얻을 수 있어. 수열을 다항식의 계수로 줄 세운 생성함수라는 도구를 써 보자.

G(x) = F₀ + F₁x + F₂x² + F₃x³ + … 라고 두면, 점화식을 이용해서 정리했을 때

가 나와. 이제 분모 1 − x − x²을 인수분해하면 (1 − φx)(1 − ψx)가 돼. 여기서도 φ와 ψ, 즉 √5가 등장하지. 그리고 부분분수로 쪼개면

각각을 등비급수 1 + φx + φ²x² + … 로 펼치면 xⁿ의 계수가 정확히 (φⁿ − ψⁿ)/√5. 비네 공식이 그대로 튀어나와! 특성방정식이든 생성함수든 어떤 방법으로 접근해도 분모의 이차식 x² − x − 1(또는 1 − x − x²)을 피할 수 없고, 그 판별식이 5라서 √5가 나타나는 거야. 이 정도면 √5는 우연이 아니라 구조적인 필연이라고 봐도 되겠지?

5. 그런데 왜 √5는 매번 깔끔하게 사라질까? 🪄

이제 더 재밌는 질문. 무리수를 거듭제곱하고, 빼고, 무리수로 나누는데 어떻게 결과는 꼬박꼬박 정수일까? 세 가지 시선으로 설명해 볼게.

① 이항정리로 직접 까 보기

(1+√5)ⁿ과 (1−√5)ⁿ을 이항정리로 전개하면, 항들이 √5의 0제곱, 1제곱, 2제곱… 순서로 나와. 둘의 차이는 딱 하나, √5의 홀수 제곱 항 부호만 반대야. 그래서 빼 주면 짝수 제곱 항(정수 항)은 전부 상쇄되고, 홀수 제곱 항만 2배로 남아.

남은 항은 모두 √5를 홀수 번 곱한 것, 즉 "√5 × (5의 거듭제곱)" 꼴이야. 여기서 바깥의 √5로 나누면 √5가 정확히 한 개씩 지워지면서

이 되어 무리수가 완전히 사라져. 직접 확인해 보자. n = 3이면 k = 1, 3이니까 (1/4)·(C(3,1)·1 + C(3,3)·5) = (1/4)·(3 + 5) = 2. F₃ = 2, 정답! n = 5면 (1/16)·(5 + 10·5 + 1·25) = (1/16)·80 = 5. F₅ = 5, 역시 정답이야.

② 대칭성으로 우아하게 보기

이번엔 조금 고급진 관점. 수식 속의 √5를 전부 −√5로 바꿔치기한다고 상상해 봐. 그러면 φ는 ψ로, ψ는 φ로 서로 자리를 바꿔. 분자 φⁿ − ψⁿ은 ψⁿ − φⁿ이 되니까 부호가 뒤집히고, 분모 √5도 −√5로 부호가 뒤집혀. 결국 전체 값은 그대로야.

"√5를 −√5로 바꿔도 변하지 않는 수"는 √5 성분이 0인 수, 즉 유리수뿐이야. a + b√5 꼴에서 b√5 → −b√5로 바꿔도 같으려면 b = 0이어야 하니까. 이건 현대대수학의 갈루아 이론에서 말하는 "켤레 사상에 대해 불변인 원소는 기본체에 속한다"는 원리의 아주 친절한 예시야. 비네 공식은 √5와 −√5라는 두 쌍둥이를 공평하게 대접하도록 설계되어 있어서, 무리수 흔적이 남을 수가 없는 거지.

③ 정수인 건 또 어떻게 보장돼?

유리수라는 건 알겠는데, 분수가 아니라 꼭 정수라는 건? 가장 쉬운 답은 "비네 공식이 점화식과 초기값 F₀ = 0, F₁ = 1을 만족하고, 이 조건을 만족하는 수열은 유일하니까 원래 피보나치 수열과 같다"야. 정수에서 시작해 정수끼리 더하기만 하니 당연히 모든 항이 정수지. 좀 더 대수적으로는 φ와 ψ가 최고차 계수 1인 정수 계수 방정식 x² − x − 1 = 0의 근, 즉 대수적 정수라서 거기서 만들어진 대칭식이 정수가 된다고 설명할 수도 있어.

6. 행렬의 눈으로 보기: 고윳값이 바로 φ와 ψ 🔢

피보나치 수열은 행렬로도 표현할 수 있어. 2×2 행렬 하나면 돼.

Q를 n번 곱하면 피보나치 수가 행렬 안에 줄줄이 나타나. 그런데 행렬을 거듭제곱하는 가장 똑똑한 방법은 고윳값 분해(대각화)야. Q의 고윳값을 구하려면 특성다항식 det(Q − λI) = 0을 풀어야 하는데

또 만났다, x² − x − 1! 고윳값은 φ와 ψ, 판별식은 5. 행렬 언어로 말하면, 비네 공식은 "Q를 고유벡터 방향으로 쪼개면, 한 방향은 φ배씩 늘어나고 다른 방향은 ψ배씩 줄어든다"는 사실을 수식으로 쓴 거야. 분모의 √5는 고유벡터 좌표계로 바꿨다가 원래 좌표계로 돌아올 때 필요한 정규화 상수 역할을 해.

보너스로 이 행렬에서 유명한 항등식도 하나 공짜로 얻을 수 있어. det(Q) = −1이니까 det(Qⁿ) = (−1)ⁿ이고, 이걸 풀어 쓰면

이게 카시니 항등식이야. 예를 들어 n = 6이면 13 × 5 − 8² = 65 − 64 = 1. 깔끔하지? 그리고 φ·ψ = −1(두 근의 곱 = 상수항)이라는 사실이 이 (−1)ⁿ의 정체이기도 해.

7. ψⁿ은 거의 유령: "반올림 공식"의 비밀 👻

ψ ≈ −0.618은 절댓값이 1보다 작아서, 거듭제곱하면 부호를 바꿔 가며 빠르게 0에 가까워져. 그래서 ψⁿ/√5 항은 n이 조금만 커져도 거의 무시할 수 있을 만큼 작아지지.

그래프에서 보듯이 이 오차 항은 n = 0일 때조차 절댓값이 약 0.447로 0.5보다 작아. 그 뒤로는 더 작아지기만 하고. 그 말은 곧 φⁿ/√5와 실제 Fₙ의 차이가 언제나 0.5 미만이라는 뜻이고, 그래서 다음 공식이 성립해.

예를 들어 n = 10이면 φ¹⁰ ≈ 122.9919, 이걸 √5 ≈ 2.2361로 나누면 약 55.0036. 반올림하면 55, 정확히 F₁₀이야! 결국 피보나치 수열은 "황금비의 거듭제곱을 √5로 나눈 수" 바로 옆에 붙어 다니는 정수열이라고 할 수 있어. Fₙ이 기하급수적으로, 정확히는 대략 φⁿ/√5 크기로 자란다는 사실도 여기서 바로 보이지.

8. 기하학 속의 √5: 1과 2로 만든 직각삼각형 📐

√5는 대수에서만 나오는 게 아니야. 그림으로 보면 훨씬 친근해. 두 변이 1과 2인 직각삼각형의 빗변이 바로 √(1² + 2²) = √5거든.

이 빗변 √5에 1을 더하고 2로 나누면 바로 φ = (1+√5)/2야. 고대 그리스 사람들이 자와 컴퍼스로 황금비를 작도할 때 쓰던 방법도 본질적으로 이거야. 한 변이 1인 정사각형의 한 변 중점에서 반대쪽 꼭짓점까지 거리를 재면 √(0.5² + 1²) = √5/2가 나오고, 여기에 0.5를 더하면 φ가 되지. 이게 그 유명한 황금 직사각형 작도법이야.

오른쪽의 정오각형도 봐. 한 변이 1인 정오각형의 대각선 길이는 정확히 φ야. 그래서 오각형과 별 모양(펜타그램)에는 황금비가 잔뜩 숨어 있어. 실제로 cos 36° = φ/2 = (1+√5)/4 라는 관계도 성립하지. 다섯 개의 꼭짓점을 가진 도형에 숫자 5의 제곱근이 등장하는 게 묘하게 어울리지 않아? 다만 이건 시적인 우연에 가깝고, 정확한 이유는 72°, 36° 같은 각도의 삼각비가 x² − x − 1 같은 이차방정식을 만족하기 때문이야.

9. 친척 수열들: √5가 사라지기도, 다른 무리수가 오기도 👨‍👩‍👧

뤼카 수열: √5가 없는 쌍둥이

피보나치와 똑같은 규칙인데 시작만 L₀ = 2, L₁ = 1로 바꾼 수열이 있어. 프랑스 수학자 에두아르 뤼카의 이름을 딴 뤼카 수열이야. 2, 1, 3, 4, 7, 11, 18, 29, 47, 76… 이렇게 이어져. 놀랍게도 이 수열의 일반항은

분모에 √5가 없어! 빼기가 아니라 더하기라서, 이항정리로 전개하면 √5의 짝수 제곱 항만 살아남고, 애초에 √5를 나눌 필요가 없는 거야. 피보나치는 "차이", 뤼카는 "합"이라는 것만 다를 뿐 같은 φ와 ψ를 공유하는 진짜 쌍둥이지.

이 둘 사이에는 예쁜 관계식이 많아.

특히 두 번째 식 Lₙ² − 5Fₙ² = ±4 를 보면, (Lₙ + Fₙ√5)/2 = φⁿ 이라는 사실이 숨어 있어. 다시 말해 φⁿ을 "정수 + 정수×√5" 꼴로 쓰면 그 계수가 뤼카 수와 피보나치 수라는 거야. 예를 들어 φ² = (3 + √5)/2, φ³ = (4 + 2√5)/2 = 2 + √5. 계수를 보면 (L₂, F₂) = (3, 1), (L₃, F₃) = (4, 2). 피보나치 수는 φⁿ 안에 들어 있는 "√5의 양"을 세는 수였던 셈이야. 이게 √5가 등장하는 이유를 가장 직관적으로 보여주는 장면이기도 해.

규칙을 바꾸면 무리수도 바뀐다

일반적으로 aₙ = p·aₙ₋₁ + q·aₙ₋₂ 꼴의 점화식이라면 특성방정식은 x² − px − q = 0이고 판별식은 p² + 4q야. 그 값에 따라 일반항에 들어가는 무리수가 결정돼.

펠 수열(0, 1, 2, 5, 12, 29, 70…)의 일반항은 ((1+√2)ⁿ − (1−√2)ⁿ)/(2√2)로 비네 공식과 구조가 완전히 같아. 그리고 이웃 항의 비율은 1 + √2 ≈ 2.414, 이른바 백은비로 수렴하지. 야콥스탈 수열(0, 1, 1, 3, 5, 11, 21…)은 판별식이 완전제곱수 9라서 일반항이 (2ⁿ − (−1)ⁿ)/3으로 무리수 없이 끝나. 이 비교표가 오늘 이야기의 결정적 증거야. √5는 피보나치만의 특별한 마법이 아니라, 판별식이라는 스위치가 정해 주는 값이라는 거지.

10. 직접 확인해 보자: 코드로 보는 비네 공식 💻

말로만 하면 재미없으니까 파이썬으로 확인해 보자. 점화식으로 구한 값과 비네 공식으로 구한 값을 비교하는 코드야.

import math

phi = (1 + math.sqrt(5)) / 2
psi = (1 - math.sqrt(5)) / 2

def fib_loop(n):
    a, b = 0, 1
    for _ in range(n):
        a, b = b, a + b
    return a

def fib_binet(n):
    return round((phi**n - psi**n) / math.sqrt(5))

for n in range(0, 100):
    if fib_loop(n) != fib_binet(n):
        print("처음 어긋나는 n:", n)
        break

이 코드를 돌려 보면 처음 몇십 항은 완벽하게 일치하다가, n이 70을 넘어가는 부근에서 비네 공식 쪽이 틀리기 시작해. 공식이 틀린 걸까? 아니야. 컴퓨터의 일반적인 실수형(64비트 부동소수점)은 유효숫자가 십진수로 약 15~17자리밖에 안 되는데, F₇₀ 정도면 이미 15자리 수라서 √5의 근삿값 오차가 결과를 망가뜨리는 거야. 수학적으로는 완벽하지만 컴퓨터 위에서는 무리수를 유한한 자릿수로 잘라 쓰는 순간 오차가 생긴다는 좋은 교훈이지.

그래서 실무에서 아주 큰 피보나치 수를 정확히 구할 때는 비네 공식을 그대로 쓰기보다, 앞에서 본 행렬 Qⁿ을 분할 정복(빠른 거듭제곱)으로 계산하거나 F₂ₙ = Fₙ(2Fₙ₊₁ − Fₙ) 같은 배가 공식을 정수 연산으로 쓰는 경우가 많아. 이런 방법은 O(log n)번의 곱셈으로 끝나고 오차도 전혀 없거든. 개발자 면접이나 알고리즘 문제에서 단골로 나오는 주제이기도 해서, 재능넷 같은 곳에서 코딩 과외나 알고리즘 멘토링을 찾는 사람들 사이에서도 "피보나치를 여러 방법으로 구현해 보기"는 거의 통과의례처럼 다뤄져.

11. 한 걸음 더: 정수론 속의 √5 🔬

√5는 피보나치 수의 나눗셈 성질에서도 은근히 얼굴을 내밀어. 몇 가지 유명한 사실만 맛보기로 소개할게.

두 번째 카드의 내용은 "√5가 p로 나눈 세계에서 존재하느냐"와 직결돼. 이차 상호 법칙에 따르면 5가 p로 나눈 나머지 세계에서 제곱수인지 여부는 p를 5로 나눈 나머지로 결정되거든. √5가 그 세계에 있으면 φ, ψ도 그 안에 있어서 페르마의 소정리가 φᵖ⁻¹ = 1을 주고, 없으면 조금 다른 규칙을 따르게 되는 거야. 여기서도 결국 판별식 5가 모든 걸 지휘하고 있어. 고등학교 수학 너머의 이야기지만, √5가 단순한 계산 부산물이 아니라 피보나치 수열의 DNA라는 걸 보여주는 좋은 예야.

12. 흔한 오해 바로잡기 🙅

13. 오늘의 핵심 한 장 요약 📝

처음 질문으로 돌아가 볼까? "정수만 나오는 수열에 왜 무리수가 들어 있을까?" 이제 우리는 답할 수 있어. 피보나치 수열은 겉으로는 정수 덧셈놀이처럼 보이지만, 그 속에서는 φ배로 자라는 성분과 ψ배로 사라지는 성분이 동시에 돌아가고 있어. 이 두 성분의 성장률이 이차방정식 x² = x + 1의 해이고, 그 판별식이 5라서 √5가 등장하는 거야. 그리고 두 성분이 정확히 대칭으로 짝을 이루기 때문에 √5의 흔적은 매번 완벽하게 지워지고 정수만 남지.

단순한 "1 + 1" 규칙 하나가 무리수, 황금비, 정오각형, 행렬의 고윳값, 정수론의 이차 상호 법칙까지 줄줄이 끌고 온다는 게 수학의 진짜 매력 아닐까? 다음에 1, 1, 2, 3, 5, 8을 보면 그 뒤에서 조용히 일하고 있는 √5를 한번 떠올려 줘. 🌻