25.11.2014 Views

Explorations of the Collatz Conjecture - Moravian College

Explorations of the Collatz Conjecture - Moravian College

Explorations of the Collatz Conjecture - Moravian College

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.

3.1 Applying Garner’s Stems<br />

In this section we show that if an integer m has a parity vector beginning with s i ,<br />

<strong>the</strong>n <strong>the</strong> integer m + 1 must have a parity vector beginning with s ′ i<br />

. The following<br />

lemma and <strong>the</strong>orem combine to give this result.<br />

Lemma 3. If P i+1 (m) = 〈0 11...1〉, <strong>the</strong>n P i+1 (m + 1) = 〈1 11...1〉 and T i+1 (m + 1) =<br />

3T i+1 (m) + 2.<br />

}{{}<br />

i 1’s<br />

}{{}<br />

i 1’s<br />

Pro<strong>of</strong>. We proceed by induction. Base case: i = 0<br />

Assume P 1 (m) = 〈0〉. Then we know that m ≡ 0 mod 2. This means that m + 1 ≡<br />

1 mod 2. So, P 1 (m + 1) = 〈1〉. Therefore <strong>the</strong> statement is true for i = 0.<br />

3.1,<br />

Assume <strong>the</strong> statement is true for i = n − 1.<br />

Next, suppose i = n. Then, we are assuming T n (m) ≡ 1 mod 2. From Equation<br />

T n (m) = 3n−1<br />

2 (m) + 1 ∑n−2<br />

( ) n−i 1 n 2 + 3 n−i−1<br />

2<br />

i=1<br />

= 1 ( ) n 3<br />

m + 1 3 2 2 + 1 ∑n−2<br />

( ) n−i 3<br />

.<br />

3 2<br />

Since we are assuming <strong>the</strong> statement is true for i = n−1, P n (m+1) = 〈1 11...1〉.<br />

i=1<br />

}{{}<br />

n−1 1’s<br />

19

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

Saved successfully!

Ooh no, something went wrong!