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.

What’s 114 in<br />

radix 11 ?<br />

<strong>for</strong> all c > 0.<br />

A ANSWERS TO EXERCISES 511<br />

4.70 This holds if and only if ~2 (n) = 1/3(n), according to exercise 24. The<br />

methods of [78] may help to crack this conjecture.<br />

4.71 When k = 3 the smallest solution is n = 4700063497 = 19.47.5263229;<br />

no other solutions are known in this case.<br />

4.72 This is known to be true <strong>for</strong> infinitely many values of a, including -1<br />

(of course) and 0 (not so obviously). Lehmer [199] has a famous conjecture<br />

that cp(n)\(n - 1) if and only if n is prime.<br />

4.73 This is known to be equivalent to the Riemann hypothesis (that all<br />

zeros of the complex zeta function with real part between 0 and 1 have real<br />

part equal to l/2).<br />

4.74 Experimental evidence suggests that there are about p( 1 - 1 /e) distinct<br />

values, just as if the factorials were randomly distributed modulo p.<br />

5.1 (11): = (14641),, in any number system of radix r 3 7, because of the<br />

binomial theorem.<br />

5.2 The ratio (Karl)/ = (n- k)/(k+ 1) is < 1 when k 3 Ln/2J and 3 1<br />

when k < [n/2], so the maximum occurs when k = [n/2] and k = [n/2].<br />

5.3 Expand into factorials. Both products are equal to f(n)/f(n - k)f(k),<br />

where f(n) = (n+ l)!n! (n- l)!.<br />

5.4 (-,‘) = (-l)k(k+;P’) = (-l)‘(;) = (-l)k[k>O].<br />

If 0 < k < p, there’s a p in the numerator of (E) with nothing to cancel<br />

t% the denominator. Since (E) = (“i’) + (:I;), we must have (“i’) = (-l)k<br />

(mod p), <strong>for</strong> 0 < k c p.<br />

5.6 The crucial step (after second down) should be<br />

The original derivation <strong>for</strong>got to include this extra term, which is [n = 01.

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

Saved successfully!

Ooh no, something went wrong!