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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

134 NUMBER THEORY<br />

For example, (~(12) = cp(4)(p(3) = 292 = 4, because n is prime to 12 if “Sisint A et B nuand<br />

only if n mod 4 = (1 or 3) and n mod 3 = (1 or 2). The four values prime<br />

to 12 are (l,l), (1,2), (3,111, (3,2) in the residue number system; they are<br />

meri inter se primi<br />

et numerus partium<br />

ad A primarum<br />

1, 5, 7, 11 in ordinary decimal notation. Euler’s theorem states that n4 3 1 sjt = a, numerus<br />

(mod 12) whenever n I 12.<br />

vero partium ad B<br />

A function f(m) of positive integers is called mult$icative if f (1) = 1 ~~f~u~e$ raz’<br />

and tium ad productum<br />

AB primarum erit<br />

f(mlm2) = f(m)f(m2) whenever ml I mz. (4’5l) = “‘:L. Euler [#J]<br />

We have just proved that q)(m) is multiplicative. We’ve also seen another<br />

instance of a multiplicative function earlier in this chapter: The number of<br />

incongruent solutions to x’ _=<br />

1 (mod m) is multiplicative. Still another<br />

example is f(m) = ma <strong>for</strong> any power 01.<br />

A multiplicative function is defined completely by its values at prime<br />

powers, because we can decompose any positive integer m into its primepower<br />

factors, which are relatively prime to each other. The general <strong>for</strong>mula<br />

f(m) = nf(pmpl, if m= rI pmP (4.52)<br />

P P<br />

holds if and only if f is multiplicative.<br />

In particular, this <strong>for</strong>mula gives us the value of Euler’s totient function<br />

<strong>for</strong> general m:<br />

q(m) = n(p”p -pm,-‘) = mn(l -J-).<br />

P\m P\m r<br />

For example, (~(12) = (4-2)(3- 1) = 12(1 - i)(l - 5).<br />

Now let’s look at an application of the cp function to the study of rational<br />

numbers mod 1. We say that the fraction m/n is basic if 0 6 m < n. There<strong>for</strong>e<br />

q(n) is the number of reduced basic fractions with denominator n; and<br />

the Farey series 3,, contains all the reduced basic fractions with denominator<br />

n or less, as well as the non-basic fraction f.<br />

The set of all basic fractions with denominator 12, be<strong>for</strong>e reduction to<br />

lowest terms, is<br />

Reduction yields

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

Saved successfully!

Ooh no, something went wrong!