M328K First Midterm Solutions, February 21, 2003

1. Using induction, prove the formula:

displaymath92

We prove this by induction. The formula is true for the base case n=1, since tex2html_wrap_inline96 Now for the inductive step. We assume the formula is true for n=m-1 and show it works for n=m. If it is true for n=m-1, then

displaymath104

But then

displaymath106

which is the formula we needed to show.

2. As you know, the Fibonacci numbers tex2html_wrap_inline108 are defined by tex2html_wrap_inline110 , tex2html_wrap_inline112 and, for n>2, tex2html_wrap_inline116 . Give a rigorous proof of the assertion: `` tex2html_wrap_inline108 is divisible by 3 if and only if n is divisible by 4.'' [Hint: Before writing down your proof, you may want to first determine which Fibonacci numbers are congruent to 1 (mod 3), which are congruent to 2 (mod 3), and which are divisible by 3. I'm sure you'll see the patters quickly enough.]

I claim that

displaymath122

If we can prove this, then the original assertion follows, since being divisible by 4 is the same as being congruent to 0 or 4 modulo 8.

We prove the claim by (generalized) induction. It is true for the base cases n=1 and n=2, since tex2html_wrap_inline128 . Now, for m;SPMgt;2, suppose that it is true for all values of n up to m-1. We must show it is true for n=m. There are 8 cases to check:

If tex2html_wrap_inline138 , then tex2html_wrap_inline140 and tex2html_wrap_inline142 , so tex2html_wrap_inline144 and tex2html_wrap_inline146 , so tex2html_wrap_inline148 .

If tex2html_wrap_inline150 , then tex2html_wrap_inline152 and tex2html_wrap_inline154 , so tex2html_wrap_inline156 and tex2html_wrap_inline158 , so tex2html_wrap_inline160 .

Similarly, if tex2html_wrap_inline162 , then tex2html_wrap_inline164 and tex2html_wrap_inline146 , so tex2html_wrap_inline168 .

If tex2html_wrap_inline170 , then tex2html_wrap_inline156 and tex2html_wrap_inline146 , so tex2html_wrap_inline176 .

If tex2html_wrap_inline178 , then tex2html_wrap_inline156 and tex2html_wrap_inline182 , so tex2html_wrap_inline184 .

If tex2html_wrap_inline186 , then tex2html_wrap_inline144 and tex2html_wrap_inline158 , so tex2html_wrap_inline176 .

If tex2html_wrap_inline194 , then tex2html_wrap_inline164 and tex2html_wrap_inline182 , so tex2html_wrap_inline176 .

If tex2html_wrap_inline202 , then tex2html_wrap_inline144 and tex2html_wrap_inline182 , so tex2html_wrap_inline208 , and then we're done.

3. Greatest common factors:

a) Find the greatest common factor of 66 and 52.

By the Euclidean algorithm: 66 = 1(52) + 14; 52 = 3(14) + 10; 14 = 1(10)+4; 10 = 2(4) + 2; 4 = 2(2). So (66,52)=2.

b) Write this number explicitly as a linear combination of 66 and 52. For instance, if (66,52) were equal to 24 (which it obviously isn't!), you might write `` tex2html_wrap_inline210 ''.

Working through the algorithm, we have 14 = 66 - 52; 10 = 52 - 3(14) = 4(52) - 3(66); 4 = 14 - 10 = 4(66) - 5(52); and finally our answer: 2 = 10 - 2(4) = 14(52) - 11(66).

c) What is the least common multiple of 66 and 52?

tex2html_wrap_inline212 .

4. Congruences, Diophantine equations and the Chinese Remainder Theorem.

a) Find all integer solutions to the equation 25 x + 38 y = 1.

By inspection, or by the Euclidean algorithm, you can see that -3(25) + 2(38) = -75 + 76 = 1. Thus ALL integer solutions are of the form

displaymath218

where n is an arbitrary integer.

b) Find a solution to the equation tex2html_wrap_inline222 .

This is the same question, and the answer is x=-3 (or x=35, or any number that is congruent to -3 modulo 38).

c) Find a solution to the equation tex2html_wrap_inline230 .

There was a typo in the question.  It should have read "mod 25", not "mod 28".  As written, there is no answer, since the left hand side is always congruent to 0 (mod 38).  As intended, the answer is x=2 (or anything congruent to 2 modulo 25).

d) Find a positive solution to the congruences tex2html_wrap_inline234 , tex2html_wrap_inline236 .

Since tex2html_wrap_inline238 and tex2html_wrap_inline240 , and since tex2html_wrap_inline242 and tex2html_wrap_inline244 , x=5(76)+8(-75) = -220 is congruent to 5 modulo 25 and 8 modulo 38. However, we wanted a POSITIVE solution, so we add an arbitrary multiple of (25)(38)=950. The smallest solution is -220+950 = 730.



Lorenzo Sadun

Mon Feb 24 08:38:44 CST 2003