ํผ๋ณด๋์น ์ ๊ณ์ฐ๊ธฐ๋?
์ด ๋๊ตฌ๋ ์์์ ์์ ์ ์ ์์ n์ ๋ํด n๋ฒ์งธ ํผ๋ณด๋์น ์, ์ฆ \(F_n\)์ ๊ตฌํด ์ค๋๋ค. ํผ๋ณด๋์น ์์ด์ ์ํ์์ ๊ฐ์ฅ ์ ๋ช ํ ์ ์ ์์ด ์ค ํ๋๋ก, ๊ฐ ํญ์ด ๋ฐ๋ก ์ ๋ ํญ์ ํฉ์ผ๋ก ์ ์๋ฉ๋๋ค. ์ด๊น๊ฐ์ \(F_1 = 1\), \(F_2 = 1\)๋ก ๋๋ฉด ์์ด์ 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144 โฆ์ฒ๋ผ ๋์์ด ์ด์ด์ง๋๋ค. ํผ๋ณด๋์น ์๋ ์์ฐ, ์์ , ์ปดํจํฐ ๊ณผํ, ๊ทธ๋ฆฌ๊ณ ํฉ๊ธ๋น์ ์ด๋ฅด๊ธฐ๊น์ง ๋ค์ํ ๊ณณ์์ ๋ชจ์ต์ ๋๋ฌ๋ ๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
์ ๋ ฅ๋์ ์์ n(1, 2, 3, โฆ)์ ์ ๊ณ ์คํํ๊ธฐ๋ง ํ๋ฉด ๋ฉ๋๋ค. ๊ณ์ฐ๊ธฐ๋ \(F_n\)์ ์ ํํ ๊ฐ์ ๋๋ ค์ค๋๋ค. ํผ๋ณด๋์น ์๋ ๋๋ต \(\phi^n / \sqrt{5}\)์ ๋น๋กํด ์ปค์ง๋ฏ๋ก ๊ฐ์ด ์์๊ฐ์ ์์ฒญ๋๊ฒ ๋ถ์ด๋ฉ๋๋ค. ๊ทธ๋์ ์ด ๋๊ตฌ๋ ๋ถ๋์์์ ๋์ ์ ํํ ํฐ ์ ์(big integer) ์ฐ์ฐ์ ์ฌ์ฉํฉ๋๋ค. ๋๋ถ์ ๊ฒฐ๊ณผ๊ฐ ์๋ฌด๋ฆฌ ์ปค๋ ๋ฐ์ฌ๋ฆผ ์ค์ฐจ ์์ด ์๋ฒฝํ๊ฒ ์ ํํ ๊ฐ์ ์ป์ ์ ์์ต๋๋ค.
๊ณต์ ํ์ด
ํผ๋ณด๋์น ์๋ฅผ ์ ์ํ๋ ์ ํ์์ \(F_1 = 1\), \(F_2 = 1\)์ ์ด๊น๊ฐ์ผ๋ก ํ๋ ๋ค์๊ณผ ๊ฐ์ต๋๋ค.
$$F_{n} = F_{n-1} + F_{n-2}, \qquad F_1 = F_2 = 1$$๋ซํ ํํ์ ๊ณต์์ธ ๋น๋ค(Binet) ๊ณต์๋ ์์ต๋๋ค.
$$F_n = \frac{\phi^n - \psi^n}{\sqrt{5}}$$์ฌ๊ธฐ์ \(\phi = \frac{1 + \sqrt{5}}{2}\)๋ ํฉ๊ธ๋น์ด๊ณ \(\psi = \frac{1 - \sqrt{5}}{2}\)์ ๋๋ค. 1๋ถํฐ ์์ํ๋ ์ด ๋ฐฉ์์์๋ ๋ ๊ณต์ ๋ชจ๋ ๊ฐ์ ๊ฐ์ ์ฃผ์ง๋ง, ๋น๋ค ๊ณต์์ n์ด ์ปค์ง์๋ก ๋ถ๋์์์ ๋ฐ์ฌ๋ฆผ ๋๋ฌธ์ ์ ๋ฐ๋๊ฐ ๋จ์ด์ง๋๋ค. ๊ทธ๋์ ์ด ๊ณ์ฐ๊ธฐ๋ ์ ํ์ฑ์ ์ํด ๋ฐ๋ณต(iterative) ๋ฐฉ์์ผ๋ก ๊ฐ์ ๊ณ์ฐํฉ๋๋ค.
ํ์ด ์์
n = 12์ธ ๊ฒฝ์ฐ ์์ด์ ์ฐจ๋ก๋๋ก ์์ ๋ด ๋๋ค. \(F_1=1\), \(F_2=1\), \(F_3=2\), \(F_4=3\), \(F_5=5\), \(F_6=8\), \(F_7=13\), \(F_8=21\), \(F_9=34\), \(F_{10}=55\), \(F_{11}=89\), \(F_{12}=144\). ๋ฐ๋ผ์ \(F_{12} = 144\)์ ๋๋ค. ๋น๋ค ๊ณต์์ผ๋ก ํ์ธํด ๋ณด๋ฉด \(\phi^{12}\)๋ ์ฝ 321.9969, \(\psi^{12}\)๋ ์ฝ 0.0031์ด๊ณ , $$\frac{321.9969 - 0.0031}{\sqrt{5}} \approx 144.0$$ ์ด ๋์ด ๊ฒฐ๊ณผ๊ฐ ์ผ์นํจ์ ์ ์ ์์ต๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ \(F_0 = 0\)์ด ์๋๋ผ \(F_1 = 1\), \(F_2 = 1\)์ธ๊ฐ์? ์ด ๊ณ์ฐ๊ธฐ๋ ์์ด์ด ์์ 1์์ ์์ํ๋, ๋๋ฆฌ ์ฐ์ด๋ 1๋ถํฐ ์ธ๋ ๋ฐฉ์์ ๋ฐ๋ฆ ๋๋ค. ๋ค๋ฅธ ๋ฐฉ์์ธ 0๋ถํฐ ์ธ๋ ๋ฐฉ์์์๋ \(F_0 = 0\), \(F_1 = 1\)์ด ๋๋ฉฐ, ๋จ์ง ์์๊ฐ ํ ์นธ์ฉ ๋ฐ๋ฆฐ ๊ฒ์ผ ๋ฟ ๊ฐ ์์ฒด๋ ๊ฐ์ต๋๋ค.
n์ด ์์ฃผ ์ปค๋ ๊ณ์ฐํ ์ ์๋์? ๋ค. ์ ํํ ํฐ ์ ์ ์ฐ์ฐ์ ์ฌ์ฉํ๋ฏ๋ก ์์๊ฐ ์๋ฌด๋ฆฌ ํฌ๋๋ผ๋ ๊ทผ์ฟ๊ฐ์ด ์๋ ์์ ํ ์ ํํ ์ ์๋ฅผ ๋๋ ค์ค๋๋ค.
n์ ์ต์๊ฐ์ ์ผ๋ง์ธ๊ฐ์? n์ ์์ ์ ์์ฌ์ผ ํ๋ฏ๋ก ์ต์๊ฐ์ n = 1์ด๋ฉฐ, ์ด๋ \(F_1 = 1\)์ ๋๋ค.