09.12.2012 Views

Concrete mathematics : a foundation for computer science

Concrete mathematics : a foundation for computer science

Concrete mathematics : a foundation for computer science

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

146 NUMBER THEORY<br />

22 The number 1111111111111111111 is prime. Prove that, in any radix b, Is this a test <strong>for</strong><br />

(11 . . . 1 )b can be prime only if the number of 1 ‘s is prime.<br />

strabismus?<br />

23 State a recurrence <strong>for</strong> p(k), the ruler function in the text’s discussion of<br />

ez(n!). Show that there’s a connection between p(k) and the disk that’s<br />

moved at step k when an n-disk Tower of Hanoi is being transferred in<br />

2" - 1 moves, <strong>for</strong> 1 < k 6 2n - 1.<br />

24 Express e,(n!) in terms of y,,(n), the sum of the digits in the radix p Look, ma,<br />

representation of n, thereby generaliZing (4.24). sideways addition.<br />

25 We say that m esactly divides n, written m\\n, if m\n and m J- n/m.<br />

For example, in the text’s discussion of factorial factors, p”P(“!)\\n!.<br />

Prove or disprove the following:<br />

a k\\n and m\\n ++ km\\n, if k I m.<br />

b For all m,n > 0, either gcd(m, n)\\m or gcd(m, n)\\n.<br />

26 Consider the sequence I& of all nonnegative reduced fractions m/n such<br />

that mn 6 N For example,<br />

cJIO = 0 11111111 z 1 z i 3 2 5 3 4 s 6 z s 9 lo<br />

1'10'9'8'7'b'5'4'3'5'2'3'1'2'1'2'1'2'1'1'~'1'1'1'1' 1<br />

Is it true that m’n - mn’ = 1 whenever m/n immediately precedes<br />

m//n’ in $Y!N?<br />

27 Give a simple rule <strong>for</strong> c:omparing rational numbers based on their representations<br />

as L’s and R’s in the Stern-Brocot number system.<br />

28 The Stern-Brocot representation of 7[ is<br />

rr = R3L7R’5LR29i’LRLR2LR3LR14L2R,. . ;<br />

use it to find all the simplest rational approximations to rc whose denominators<br />

are less than 50. Is y one of them?<br />

29 The text describes a correspondence between binary real numbers x =<br />

(.blb2b3.. . )2 in [0, 1) and Stern-Brocot real numbers o( = B1 B2B3 . . . in<br />

[O, 00). If x corresponds to 01 and x # 0, what number corresponds to<br />

l--x?<br />

30 Prove the following statement (the Chinese Remainder Theorem): Let<br />

ml, . . . . m, be integers with mj I mk <strong>for</strong> 1 6 j < k < r; let m =<br />

ml . . . m,; and let al, . . . . arr A be integers. Then there is exactly one<br />

integer a such that<br />

a=ak(modmk)fOrl

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!