수리논술, 배움에서 논증의 완성까지.

자연계열 5번

문제

제시문 2

(가) 큰 자연수를 나타낼 때, 어떤 수의 거듭제곱을 사용하면 편리한 경우가 있다. 예를 들어, 30400000은 오른쪽 끝으로부터 연속하여 5개의 0이 나타나므로 10의 거듭제곱을 이용하여 나타내면 30400000=304×105\displaystyle 30400000=304\times10^5이다. 다른 경우로 29282\displaystyle 29282는 11의 거듭제곱을 이용하여 29282=2×114\displaystyle 29282=2\times11^4과 같이 나타낼 수 있다.

자연수 100의 팩토리얼, 즉 100!=100×99×98××2×1\displaystyle 100!=100\times99\times98\times\cdots\times2\times1을 계산하여 십진법 수로 표현했을 때, 오른쪽 끝으로부터 연속하여 나타나는 0의 개수를 구하여 보자. 1에서 100까지의 수 각각을 소인수분해할 때, 소인수 5는 5의 배수마다 한 번씩 나오고, 또 5²의 배수마다 한 번씩 더 나오므로, 100!\displaystyle 100!의 소인수분해에 나타나는 2의 지수를 p\displaystyle p, 5의 지수를 q\displaystyle q라고 하면, q=[1005]+[10025]=20+4=24\displaystyle q=\left[\frac{100}5\right]+\left[\frac{100}{25}\right]=20+4=24이고, p>q\displaystyle p>q이다. (이 식에서 기호 [x]\displaystyle [x]x\displaystyle x 이하의 정수 중 가장 큰 것을 뜻한다.) 따라서 100!\displaystyle 100!의 약수 중에서 10의 거듭제곱 꼴로서 지수가 가장 큰 것은 10q=1024\displaystyle 10^q=10^{24}이고, 100!\displaystyle 100!의 십진법 수 표현에서 오른쪽 끝으로부터 연속하여 나타나는 0은 24개이다.

(나) 수를 표현하는 다른 방법으로 12진법을 생각해보자. 예를 들어, 12진법으로 표현한 네 자리 수 abcd(12)\displaystyle abcd_{(12)}는 십진법 수로 abcd(12)=a×123+b×122+c×12+d\displaystyle abcd_{(12)}=a\times12^3+b\times12^2+c\times12+d와 같이 계산된다. 어떤 자연수를 12진법 수로 표현했을 때 오른쪽 끝으로부터 연속하여 나타나는 0의 개수를 구하려면, 그 자연수의 약수 중에서 12r\displaystyle 12^r 꼴로서 지수 r\displaystyle r이 가장 큰 것을 찾아야 한다.

이제, 100!=100×99×98××2×1\displaystyle 100!=100\times99\times98\times\cdots\times2\times1을 12진법 수로 표현했을 때 오른쪽 끝으로부터 연속하여 나타나는 0의 개수를 구해보자. 12=22×3\displaystyle 12=2^2\times3이므로, 100!\displaystyle 100!의 소인수분해에 나타나는 2의 지수 p\displaystyle p, 3의 지수 q\displaystyle q를 구해보면 다음과 같다.p=[1002]+[1004]+[1008]+[10016]+[10032]+[10064]=50+25+12+6+3+1=97\displaystyle p=\left[\frac{100}2\right]+\left[\frac{100}4\right]+\left[\frac{100}8\right]+\left[\frac{100}{16}\right]+\left[\frac{100}{32}\right]+\left[\frac{100}{64}\right]=50+25+12+6+3+1=97q=[1003]+[1009]+[10027]+[10081]=33+11+3+1=48\displaystyle q=\left[\frac{100}3\right]+\left[\frac{100}9\right]+\left[\frac{100}{27}\right]+\left[\frac{100}{81}\right]=33+11+3+1=48따라서 100!\displaystyle 100!의 약수 중에서 12의 거듭제곱 꼴로서 지수가 가장 큰 것은 1248\displaystyle 12^{48}이고, 100!\displaystyle 100!의 12진법 표현에서 오른쪽 끝으로부터 연속하여 나타나는 0은 48개이다.

(다) 0 이상의 정수를 표현하는 방법으로 1!\displaystyle 1!의 자리, 2!\displaystyle 2!의 자리, 3!\displaystyle 3!의 자리, 4!\displaystyle 4!의 자리, \displaystyle \cdots 등을 사용하는 팩토리얼 진법이 있다. 팩토리얼 진법의 n\displaystyle n자리 수 (anan1a2a1)(!)\displaystyle (a_na_{n-1}\cdots a_2a_1)_{(!)}는 십진법 수로 (anan1a2a1)(!)=k=1nak×k!\displaystyle (a_na_{n-1}\cdots a_2a_1)_{(!)}=\sum_{k=1}^n a_k\times k!과 같이 계산된다. 여기에서 가장 높은 자리인 n!\displaystyle n!의 자리의 수 an\displaystyle a_n1,2,,n\displaystyle 1,2,\cdots,n 중 하나이고, k<n\displaystyle k<n이면 k!\displaystyle k!의 자리의 수 ak\displaystyle a_k0,1,2,,k\displaystyle 0,1,2,\cdots,k 중 하나이다.예를 들어, 1320(!)=1×4!+3×3!+2×2!+0×1!=24+18+4=46\displaystyle 1320_{(!)}=1\times4!+3\times3!+2\times2!+0\times1!=24+18+4=46을 나타낸다. 그리고 팩토리얼 진법으로 표현한 네 자리 수 가운데 가장 큰 자연수는4321(!)=4×4!+3×3!+2×2!+1×1!=96+18+4+1=119\displaystyle 4321_{(!)}=4\times4!+3\times3!+2\times2!+1\times1!=96+18+4+1=119이다. 팩토리얼 진법에서 10!\displaystyle 10!의 자리 이상은 그 자리의 수가 10 이상이 될 수 있으므로, 10,11,12,\displaystyle 10,11,12,\cdots를 다른 기호, 예를 들어 알파벳 A, B, C, \displaystyle \cdots 등으로 나타내어 BA070000010(!)=11×11!+10×10!+7×8!+1×2!\displaystyle \mathrm{BA070000010}_{(!)}=11\times11!+10\times10!+7\times8!+1\times2!과 같이 표현한다. 하지만 자리가 높아질수록 그 자리에 쓸 수 있는 수들을 나타낼 기호가 점점 더 많이 필요하게 된다는 단점이 있다.하나의 자연수에 대한 팩토리얼 진법 표현은 유일하다. 이 사실은 팩토리얼 진법으로 표현된 n\displaystyle n자리 수 P\displaystyle Pn\displaystyle n이 아닌 다른 개수의 자리들로는 표현할 수 없음을 보이고, 이후 P\displaystyle Pn\displaystyle n자리의 다른 팩토리얼 진법 표현을 가진다고 가정하면 모순이 생김을 보임으로써 증명할 수 있다.

[문제 5]어떤 자연수 P\displaystyle P에 대하여 다음과 같이 서로 다른 두 가지 팩토리얼 진법 표현이 존재한다고 가정하자.P=(anan1a2a1)(!)=k=1nak×k! (1)\displaystyle P=(a_na_{n-1}\cdots a_2a_1)_{(!)}=\sum_{k=1}^n a_k\times k!\qquad\cdots\cdots\cdots\ (1)P=(bnbn1b2b1)(!)=k=1nbk×k! (2)\displaystyle P=(b_nb_{n-1}\cdots b_2b_1)_{(!)}=\sum_{k=1}^n b_k\times k!\qquad\cdots\cdots\cdots\ (2)그러면 (1)과 (2)의 두 표현에서 같은 자리의 수를 비교할 때 서로 다른 값이 나오는 자리가 있어야 한다. 이 중 가장 높은 자리를 m!\displaystyle m!의 자리라고 하자. 즉, ambm\displaystyle a_m\ne b_m이고, k>m\displaystyle k>mk\displaystyle k가 있다면 ak=bk\displaystyle a_k=b_k이다.이 사실과 [문제 4]에서 증명한 식을 이용하여, (1)의 가장 오른쪽 변과 (2)의 가장 오른쪽 변의 차가 0이 되지 않는 모순이 있음을 보이시오.

해설강의 준비중

주어진 자연수 P\displaystyle P에 대하여 n!M<(n+1)!\displaystyle n!\le M<(n+1)!을 만족하는 자연수 n\displaystyle n은 단 하나 존재하고, 이것이 P\displaystyle P의 팩토리얼 진법 표현의 자리의 개수가 되는 이유는 (n1)!\displaystyle (n-1)! 이하의 자리로 표현되는 최대 자연수는 k=1n1k×k!=n!1<n!\displaystyle \sum_{k=1}^{n-1}k\times k!=n!-1<n!이고, (n+1)!\displaystyle (n+1)! 이상의 자리로 표현되는 최소 자연수는 1000n(!)=(n+1)!\displaystyle \overset{n\text{개}}{100\cdots0}_{(!)}=(n+1)!이기 때문이다. 만일 P\displaystyle P에 대하여 서로 다른 두 가지 팩토리얼 진법 표현이 존재한다면, 그것을Correction. n!M<(n+1)!\displaystyle n!\le M<(n+1)!M\displaystyle M은 주어진 자연수 P\displaystyle P의 오기이다. 그러나 원칙에 따라 원문 표기를 그대로 실었다.P=(anan1a2a1)(!)=k=1nak×k! (1)\displaystyle P=(a_na_{n-1}\cdots a_2a_1)_{(!)}=\sum_{k=1}^n a_k\times k!\qquad\cdots\cdots\cdots\ (1)P=(bnbn1b2b1)(!)=k=1nbk×k! (2)\displaystyle P=(b_nb_{n-1}\cdots b_2b_1)_{(!)}=\sum_{k=1}^n b_k\times k!\qquad\cdots\cdots\cdots\ (2)로 나타냈을 때, akbk\displaystyle a_k\ne b_kk\displaystyle k1,2,,n\displaystyle 1,2,\cdots,n 중에 있을 것이고, 그 중 가장 큰 것을 m\displaystyle m이라고 하자.

식(1)에서 식(2)를 빼면 0=PP=k=1nak×k!k=1nbk×k!=k=1n(akbk)×k!\displaystyle 0=P-P=\sum_{k=1}^n a_k\times k!-\sum_{k=1}^n b_k\times k!=\sum_{k=1}^n(a_k-b_k)\times k!이다. 여기서 (1)의 가장 오른쪽 변과 (2)의 가장 오른쪽 변의 차이를 나타내는 k=1n(akbk)×k!\displaystyle \sum_{k=1}^n(a_k-b_k)\times k!이 0이 아니면 모순이다.k=1n(akbk)×k!\displaystyle \sum_{k=1}^n(a_k-b_k)\times k!에서, k>m\displaystyle k>mk\displaystyle k가 있다면 akbk=0\displaystyle a_k-b_k=0이므로, k=1n(akbk)×k!=k=1m(akbk)×k!\displaystyle \sum_{k=1}^n(a_k-b_k)\times k!=\sum_{k=1}^m(a_k-b_k)\times k!이다.

먼저, m=1\displaystyle m=1인 경우는 k=1m(akbk)×k!=(a1b1)×1!0\displaystyle \sum_{k=1}^m(a_k-b_k)\times k!=(a_1-b_1)\times1!\ne0이다.

2mn\displaystyle 2\le m\le n인 경우에는 k=1m(akbk)×k!=(ambm)×m!+k=1m1(akbk)×k!\displaystyle \sum_{k=1}^m(a_k-b_k)\times k!=(a_m-b_m)\times m!+\sum_{k=1}^{m-1}(a_k-b_k)\times k!와 같이 가장 높은 항과 나머지 항들의 합으로 분리하여 쓸 수 있다. 이 식에서, (ambm)\displaystyle (a_m-b_m)는 0이 아닌 정수이므로, ambm1\displaystyle |a_m-b_m|\ge1이다. 따라서 (ambm)×m!m!\displaystyle |(a_m-b_m)\times m!|\ge m!이다. 즉, 가장 높은 항 (ambm)×m!\displaystyle (a_m-b_m)\times m!의 절댓값은 m!\displaystyle m! 이상이다. 그런데, k=1m1(akbk)×k!\displaystyle \sum_{k=1}^{m-1}(a_k-b_k)\times k!에서 kakbkk\displaystyle -k\le a_k-b_k\le k이므로, 〈문제 4〉에서 증명한 식을 이용하면 나머지 항들의 합 k=1m1(akbk)×k!\displaystyle \sum_{k=1}^{m-1}(a_k-b_k)\times k!의 절댓값은 k=1m1(akbk)×k!k=1m1k×k!=m!1<m!\displaystyle \left|\sum_{k=1}^{m-1}(a_k-b_k)\times k!\right|\le\sum_{k=1}^{m-1}k\times k!=m!-1<m!임을 얻는다.따라서 (ambm)×m!\displaystyle (a_m-b_m)\times m!k=1m1(akbk)×k!\displaystyle \sum_{k=1}^{m-1}(a_k-b_k)\times k!의 합이 0이 될 수가 없다.

그러므로 m=1\displaystyle m=1인 경우와 2mn\displaystyle 2\le m\le n인 경우 모두 (1)의 가장 오른쪽 변과 (2)의 가장 오른쪽 변의 차가 0이 되지 않아서 모순이다. 따라서 자연수 P\displaystyle P에 대하여 서로 다른 두 가지 팩토리얼 진법 표현이 존재할 수 없다.

평가 기준
m\displaystyle m에 대한 사실을 이용함
m=1\displaystyle m=1인 경우 확인
③ 가장 높은 항과 나머지 항들의 합으로 분리함
④ 가장 높은 항 (ambm)×m!\displaystyle (a_m-b_m)\times m!의 절댓값은 m!\displaystyle m! 이상임을 보임
⑤ 나머지 항들의 합 k=1m1(akbk)×k!\displaystyle \sum_{k=1}^{m-1}(a_k-b_k)\times k!의 절댓값이 m!\displaystyle m! 미만임을 보임

* 제시문에 근거하여 자료를 정확하게 분석하였는가?

* 제시문에 근거하여 논리적인 추론을 전개하였는가?

* 정확한 어법과 표현을 사용하여 서술하였는가?

첨삭 사례

아직 등록된 첨삭 사례가 없습니다.

질문과 답변 · 0개질문과 답변 · 고정 0개

아직 등록된 질문이 없습니다. 질문 작성은 멤버십 회원만 가능합니다.