CS 6104 : Solutions to Homework Assignment 3

June 9, 1998

Problem 1. [Solution Courtesy of Duxing Cai]

Chapter 5, Problem 24. Do not look up the answer. Think about the Chinese Remainder Theorem.

Also, derive all solutions for n=30.


Solution:

Let tex2html_wrap_inline346 , where tex2html_wrap_inline348 are powers of distinct primes. We know:

displaymath350

Note that, tex2html_wrap_inline352 are relatively prime, we have:

displaymath354

i.e. The solutions of tex2html_wrap_inline356 are equivalent to the solutions of the systems:

displaymath358

So the numbers of solutions should be the same. Also note that:

displaymath360

So the solution of tex2html_wrap_inline362 must satisfy: tex2html_wrap_inline364 or
tex2html_wrap_inline366 .

i.e. For each tex2html_wrap_inline352 we have two choices. So we can get tex2html_wrap_inline370 different systems:

displaymath372

where tex2html_wrap_inline374 or 1.

By the Chinese Remainder Theorem, each system must have one unique solution modulo tex2html_wrap_inline346 . Furthermore, by the Extended Chinese Remainder Theorem we know these systems have distinct solutions. Actually, if two different system have the same solution x, then within these two system must exist the following two different equations associated with some tex2html_wrap_inline352 :

displaymath384

displaymath386

But this is impossible.

So we can conclude that the equation tex2html_wrap_inline388 (mod n) has exactly tex2html_wrap_inline370 different solutions. Now we can derive all solutions for n=30:

Since n=30=2*3*5, we can get the following tex2html_wrap_inline398 systems:

With the Extended Chinese Remainder Theorem, system (1) can be reduced to the following system:

displaymath416

displaymath418

Since tex2html_wrap_inline420 , we get: t=3*h for some h. So the system becomes: tex2html_wrap_inline426 . Thus the solution of this system is:

displaymath428

Similarly we can find all the other solutions as following: tex2html_wrap_inline430
tex2html_wrap_inline432
tex2html_wrap_inline434
tex2html_wrap_inline436
tex2html_wrap_inline438
tex2html_wrap_inline440
tex2html_wrap_inline442


Problem 2. [Solution Courtesy of Cara Struble]

Use Theorem 5.8.1 to compute the Legendre symbol

displaymath78

is two distinct ways. If

eqnarray82

then find a solution x to the congruence

eqnarray86

(Consult Theorem 7.1.1 and Corollary 7.1.2.)


Using Theorem 5.8.1, there are many different ways to compute a Legendre symbol. The first method I present is simple and direct. Using rule (1), we have

eqnarray89

Mathematicacomputes the right hand side of the equivalence to be 1, so the Legendre symbol is 1.

Another way to compute the Legendre symbol is to break up 958816 using rule (2). The number 958816 has prime factorization tex2html_wrap_inline446 . So

eqnarray95

Now we can look at each of these individually. Using rule (5),

eqnarray105

So

eqnarray111

Since 129527 does not divide 19, we can apply rule (4) and get

eqnarray115

Since 83 is prime, rule (6) can be used to flip the numbers and the sign is determined by raising -1 to tex2html_wrap_inline448 . This power comes out odd so we have

eqnarray123

Next we apply rule (3), choosing b = 47 so that tex2html_wrap_inline452 . And we get

eqnarray130

Using rule (6), we once again get -1 to an odd power, so

eqnarray136

Now rule (3) applies again if we choose b = 36 because tex2html_wrap_inline456 . So

eqnarray143

Since 36 is tex2html_wrap_inline458 and 47 does not divide 6, we can apply rule (4) and get that

eqnarray149

Thus,

eqnarray155

The second part of the problem is to solve

eqnarray165

which can be simplified to

eqnarray168

Now Corollary 7.1.2 can be applied to solve for x:

eqnarray170




cs6104 class account
Wed Jun 10 21:15:20 EDT 1998