18.07.2014 Views

Discrete Geometry and Extremal Graph Theory - IMSA

Discrete Geometry and Extremal Graph Theory - IMSA

Discrete Geometry and Extremal Graph Theory - IMSA

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Other topics I have explored with my mentor include the following problems.<br />

1. Let F n be the Fibonacci sequence defined by F 1 = F 2 = 1 <strong>and</strong> F n+2 = F n+1 + F n for<br />

n ≥ 1. Show that gcd(F m , F n ) = F gcd(m,n) .<br />

Proof. First we note the following (which are easily proven by induction)<br />

• gcd(F n+1 , F n ) = 1<br />

• F m+n = F m+1 F n + F m F n−1 = F m F n+1 + F m−1 F n<br />

• n | m ⇒ F n | F m<br />

For instance, the first two can be done with straightforward induction while the third<br />

follows from induction <strong>and</strong> setting m = (k − 1)n, where m = kn. Now, without loss of<br />

generality, m ≥ n <strong>and</strong> let m = nq + r where 0 ≤ r < n. We have<br />

gcd(F m , F n ) = gcd(F nq+r , F n ) = gcd(F nq+1 F r + F nq F r+1 , F n ) = gcd(F r , F n )<br />

because F n | F nq <strong>and</strong> gcd(F nq+1 , F nq ) = 1. Now, we can write n = rq 1 + r 1 <strong>and</strong><br />

continue this procedure by writing r n = r n+1 q n+2 + r n+2 where r = r 0 , n = r −1 , <strong>and</strong><br />

0 ≤ r n+2 < r n+1 . Eventually, we will end up at r k = gcd(F m , F n ) <strong>and</strong> r k+1 = 0 for<br />

some k, at which point we have<br />

gcd(F m , F n ) = gcd(F rk , F rk+1 ) = gcd(F gcd(m,n) , 0) = F gcd(m,n)<br />

2. Show that ∏ p≤x p ≤ 4x where p is a prime.<br />

Proof. The base cases x ≤ 3 are easily verified. We may assume that x > 3 is<br />

an integer, as we will prove the result by induction. Note that for odd x, the even<br />

integer x + 1 clearly cannot be prime so we have<br />

∏<br />

p ≤ 4 x < 4 x+1<br />

p≤x+1<br />

p = ∏ p≤x<br />

so the result holds for x + 1 too. Now, for odd x = 2k + 1 where k > 1, note that<br />

primes k + 2 ≤ p ≤ 2k + 1 divide ( )<br />

2k+1<br />

k =<br />

(2k+1)!<br />

as they divide the numerator but<br />

k!(k+1)!<br />

not the denominator. Thus,<br />

∏<br />

( ) 2k + 1<br />

p ≤ = 1 (( ) ( ))<br />

2k + 1 2k + 1<br />

+<br />

< 1 k 2 k k + 1 2 (1 + 1)2k+1 = 4 k<br />

k+2≤p≤2k+1<br />

By the induction hypothesis, we have<br />

∏<br />

<strong>and</strong> multiplying these yields<br />

∏<br />

p≤k+1<br />

p<br />

p≤k+1<br />

∏<br />

k+2≤p≤2k+1<br />

p ≤ 4 k+1<br />

p =<br />

∏<br />

p≤2k+1<br />

p ≤ 4 2k+1<br />

4

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

Saved successfully!

Ooh no, something went wrong!