Difference between revisions of "2007 iTest Problems/Problem 41"
(Created page with "== Problem == The sequence of digits <math>123456789101112131415161718192021\ldots</math> is obtained by writing the positive integers in order. If the <math>10^{nth}</math> dig...") |
Rockmanex3 (talk | contribs) (Solution to Problem 41 — exhausting and satisfying NT problem) |
||
Line 1: | Line 1: | ||
== Problem == | == Problem == | ||
− | The sequence of digits <math>123456789101112131415161718192021\ldots</math> is obtained by writing the positive integers in order. If the <math>10^{nth}</math> digit in this sequence occurs in the part of the sequence in which the m-digit numbers are placed, define <math>f(n)</math> to be <math>m</math>. For example, <math>f(2) = 2</math> because the <math>100^{\text{th}}</math> digit enters the sequence in the placement of the two-digit integer <math>55</math>. Find the value of <math>f(2007)</math>. | + | The sequence of digits <math>123456789101112131415161718192021\ldots</math> is obtained by writing the positive integers in order. If the <math>10^{nth}</math> digit in this sequence occurs in the part of the sequence in which the m-digit numbers are placed, define <math>f(n)</math> to be <math>m</math>. For example, <math>f(2) = 2</math> because the <math>100^{\text{th}}</math> digit enters the sequence in the placement of the two-digit integer <math>55</math>. Find the value of <math>f(2007)</math>. |
+ | |||
+ | ==Solution== | ||
+ | |||
+ | To begin, we can find out for what values of <math>n</math> result in a certain <math>f(n)</math> (or <math>m</math>). A table can help organize the findings. | ||
+ | |||
+ | {|class="wikitable" style="margin-left: auto; margin-right: auto;" | ||
+ | |- | ||
+ | |<math>m</math> | ||
+ | |Number of digits that make up <math>m</math>-digit numbers | ||
+ | |Highest value of <math>n</math> where <math>f(n) = m</math> | ||
+ | |- | ||
+ | |<math>1</math> | ||
+ | |<math>9</math> | ||
+ | |<math>9</math> | ||
+ | |- | ||
+ | |<math>2</math> | ||
+ | |<math>180</math> | ||
+ | |<math>189</math> | ||
+ | |- | ||
+ | |<math>3</math> | ||
+ | |<math>2700</math> | ||
+ | |<math>2889</math> | ||
+ | |- | ||
+ | |<math>4</math> | ||
+ | |<math>36000</math> | ||
+ | |<math>38889</math> | ||
+ | |- | ||
+ | |<math>5</math> | ||
+ | |<math>45 \cdot 10^4</math> | ||
+ | |<math>488889</math> | ||
+ | |} | ||
+ | |||
+ | It seems as if for a given value <math>m</math>, highest <math>n</math> where <math>f(n) = m</math> is a string of digits with <math>n-1</math> followed by <math>n-1</math> eights and a nine. To prove that this is the case, we use [[induction]]. The base case for both of our wanted outcomes is seen in the table. | ||
+ | |||
+ | <br> | ||
+ | For the inductive step, assume the highest <math>n</math> where <math>f(n) = m</math> is the string of digits <math>(m-1) \underbrace{888 \cdots 8}_{m-1 \text{ digits}} 9</math> | ||
+ | There are <math>((10^{m+1} - 1) - (10^{m} + 1)) \cdot (m+1) = 10^{m} \cdot 9(m+1)</math> (the string of digits <math>9(m+1)</math> followed by <math>m</math> zeroes) digits that make up <math>(m+1)</math> digit numbers. | ||
+ | |||
+ | <br> | ||
+ | Note that the last <math>m</math> digits of <math>10^{m} \cdot 9m</math> are zeroes, so the last <math>m</math> digits are still <math>\underbrace{888 \cdots 8}_{m-1 \text{ digits}} 9</math>. The preceding string of digits are <math>m-1+9m+9 = 10m + 8</math>. The first string of digits are the string of digits of <math>m</math>, and it is followed by <math>m</math> eights and a nine, so the inductive step is complete. | ||
+ | |||
+ | <br> | ||
+ | Using the new discovery, the highest <math>n</math> where <math>f(n) = 2007</math> has <math>4 + 2006 + 1 = 2011</math> digits, the highest <math>n</math> where <math>f(n) = 2003</math> has <math>4 + 2002 + 1 = 2007</math> digits, and the highest <math>n</math> where <math>f(n) = 2004</math> has <math>4 + 2003 + 1 = 2008</math> digits. Since <math>10^{2007}</math> has <math>2008</math> digits and <math>10^{2007}</math> is less than <math>2003\underbrace{888 \cdots 8}_{2003 \text{ digits}} 9</math> (highest <math>n</math> where <math>f(n) = 2004</math>), <math>f(10^{2007}) = \boxed{2004}</math>. | ||
+ | |||
+ | ==See Also== | ||
+ | {{iTest box|year=2007|num-b=40|num-a=42}} | ||
+ | |||
+ | [[Category:Intermediate Number Theory Problems]] | ||
== Solution == | == Solution == |
Revision as of 17:12, 2 July 2018
Contents
Problem
The sequence of digits is obtained by writing the positive integers in order. If the digit in this sequence occurs in the part of the sequence in which the m-digit numbers are placed, define to be . For example, because the digit enters the sequence in the placement of the two-digit integer . Find the value of .
Solution
To begin, we can find out for what values of result in a certain (or ). A table can help organize the findings.
Number of digits that make up -digit numbers | Highest value of where | |
It seems as if for a given value , highest where is a string of digits with followed by eights and a nine. To prove that this is the case, we use induction. The base case for both of our wanted outcomes is seen in the table.
For the inductive step, assume the highest where is the string of digits
There are (the string of digits followed by zeroes) digits that make up digit numbers.
Note that the last digits of are zeroes, so the last digits are still . The preceding string of digits are . The first string of digits are the string of digits of , and it is followed by eights and a nine, so the inductive step is complete.
Using the new discovery, the highest where has digits, the highest where has digits, and the highest where has digits. Since has digits and is less than (highest where ), .
See Also
2007 iTest (Problems, Answer Key) | ||
Preceded by: Problem 40 |
Followed by: Problem 42 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25 • 26 • 27 • 28 • 29 • 30 • 31 • 32 • 33 • 34 • 35 • 36 • 37 • 38 • 39 • 40 • 41 • 42 • 43 • 44 • 45 • 46 • 47 • 48 • 49 • 50 • 51 • 52 • 53 • 54 • 55 • 56 • 57 • 58 • 59 • 60 • TB1 • TB2 • TB3 • TB4 |