-ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued...

30
π-ish: Continued Fractions Zoe Shleifer and Elena Su PRIMES Conference 2020 June 6, 2020 Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 1 / 17

Transcript of -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued...

Page 1: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

π-ish: Continued Fractions

Zoe Shleifer and Elena Su

PRIMES Conference 2020

June 6, 2020

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 1 / 17

Page 2: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Outline

We’ll cover...

• What are continued fractions?

• How do we represent rationals?

• How can we use continued fractions to approximate irrationals?

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 2 / 17

Page 3: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

π-ish

Question

How do we approximate π?

• 3• 3.14• 3.14159265358979323846264338327950288419716939937510582097• 22

7

π − 314

100≈ .0015

22

7− π ≈ .0013

Question

How does a fraction with a denominator of only 7 get so close?

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 3 / 17

Page 4: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

π-ish

Question

How do we approximate π?

• 3

• 3.14• 3.14159265358979323846264338327950288419716939937510582097• 22

7

π − 314

100≈ .0015

22

7− π ≈ .0013

Question

How does a fraction with a denominator of only 7 get so close?

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 3 / 17

Page 5: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

π-ish

Question

How do we approximate π?

• 3• 3.14

• 3.14159265358979323846264338327950288419716939937510582097• 22

7

π − 314

100≈ .0015

22

7− π ≈ .0013

Question

How does a fraction with a denominator of only 7 get so close?

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 3 / 17

Page 6: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

π-ish

Question

How do we approximate π?

• 3• 3.14• 3.14159265358979323846264338327950288419716939937510582097

• 227

π − 314

100≈ .0015

22

7− π ≈ .0013

Question

How does a fraction with a denominator of only 7 get so close?

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 3 / 17

Page 7: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

π-ish

Question

How do we approximate π?

• 3• 3.14• 3.14159265358979323846264338327950288419716939937510582097• 22

7

π − 314

100≈ .0015

22

7− π ≈ .0013

Question

How does a fraction with a denominator of only 7 get so close?

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 3 / 17

Page 8: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

π-ish

Question

How do we approximate π?

• 3• 3.14• 3.14159265358979323846264338327950288419716939937510582097• 22

7

π − 314

100≈ .0015

22

7− π ≈ .0013

Question

How does a fraction with a denominator of only 7 get so close?

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 3 / 17

Page 9: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

A Weird Fraction

Example

Consider the number

a = 4 +1

3 + 12+ 1

3

.

We call this representation a continued fraction.

We evaluate this as follows:

a = 4 +1

3 + 37

= 4 +7

24=

103

24.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 4 / 17

Page 10: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

The Other Direction

Question

Given a rational number ab , how can we convert it into a continued fraction?

a

b= c +

1

1. Begin by taking the floor of ab . Call it c. Take the reciprocal of the

fractional part.

2. Take the floor of the fraction represented by the blue square. Call it d .

a

b= c +

1

d + 1�

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 5 / 17

Page 11: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

The Other Direction: Continued

a

b= c +

1

d + 1�

3. Repeat the process for the fraction in the red square. Continue untilthere are only integers and proper fractions in the continued fractionrepresentation.

a

b= c +

1

d + 1e+ 1

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 6 / 17

Page 12: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Continuing Fractions

Example

Consider the fraction 10324 .

In order to convert it to a continued fraction, we can follow the processoutlined in the previous slide:

103

24= 4 +

1247

= 4 +1

3 + 173

= 4 +1

3 + 12+ 1

3

.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 7 / 17

Page 13: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Continuing Fractions

Example

Consider the fraction 10324 .

In order to convert it to a continued fraction, we can follow the processoutlined in the previous slide:

103

24= 4 +

1247

= 4 +1

3 + 173

= 4 +1

3 + 12+ 1

3

.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 7 / 17

Page 14: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Continuing Fractions

Example

Consider the fraction 10324 .

In order to convert it to a continued fraction, we can follow the processoutlined in the previous slide:

103

24= 4 +

1247

= 4 +1

3 + 173

= 4 +1

3 + 12+ 1

3

.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 7 / 17

Page 15: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Do We Terminate?

Proposition

The above process terminates no matter what positive rational number westart with.

103

24= 4 +

1247

= 4 +1

3 + 173

= 4 +1

3 + 12+ 1

31

.

Looking at this example, we see that the 24 in the denominator, moves tothe numerator of the following iteration. We then take the floor, so thenumerator becomes 7. There is never an opportunity for this number to getlarger, because we take out the integral part when we floor.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 8 / 17

Page 16: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Terminator

In the previous example, as we move through successive iterations, thedenominator is strictly decreasing.

When we are converting any rational number to a continued fraction, wesubtract a multiple of the denominator from the numerator. When we takethe reciprocal, this numerator becomes the denominator of the nextiteration.

Therefore, in every continued fraction representation, the denominators arestrictly decreasing.

Eventually we must reach a denominator of 1, meaning our continuedfraction terminates.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 9 / 17

Page 17: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

What Happens With Irrationals?

If our number is irrational, we can still take the floor and the reciprocal, sowe follow the same process.

π = 3 + .141592653589793238462643383279

= 3 +1

7.0625133

= 3 +1

7 + 115.996594

= · · ·

= 3 +1

7 + 115+ 1

1+ 1···

This continued fraction is infinite.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 10 / 17

Page 18: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Approximating Irrational Numbers

π = 3 +1

7 + 115+ 1

1+ 1···

.

We can cut off this infinite fraction to get finite approximations:

3 = 3.0000

3 +1

7=

22

7= 3.1428571

3 +1

7 + 115

=333

106= 3.14150943

3 +1

7 + 115+ 1

1

=355

133= 3.141592920

We call these convergents.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 11 / 17

Page 19: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Good Convergents

To get a better sense of how these actually converge, let’s plot theconvergents.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 12 / 17

Page 20: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Good Convergents

To get a better sense of how these actually converge, let’s plot theconvergents.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 12 / 17

Page 21: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Convergents are the Best Approximations

It turns out that if we are using the convergent 79 to approximate an

irrational number, we can be confident that 79 is a better approximation

than 68 or 5

7 .

Theorem

If the following conditions hold:

• ab is a fraction

• α is an irrational number

• hnkn

is a convergent of α

• |α− ab | > |α−

hnkn|

then b < kn.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 13 / 17

Page 22: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Convergents are the Best Approximations

It turns out that if we are using the convergent 79 to approximate an

irrational number, we can be confident that 79 is a better approximation

than 68 or 5

7 .

Theorem

If the following conditions hold:

• ab is a fraction

• α is an irrational number

• hnkn

is a convergent of α

• |α− ab | > |α−

hnkn|

then b < kn.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 13 / 17

Page 23: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Wow! These approximations are good.

From this theorem, we realize why our approximations are so good. Theyhave to be the best of many options. For the convergent for pi, 333

106 , we canlook at all the fractions between 3.14 and 3.15 with smaller denominators.

3.14 3.1515750

17957

20164

2237124578267852899231199333106

32710430597283902618323976

21769

19562

17355324103

15148

28089

12941

23675

10734

299951926127788

8527

31810123374

14847

2116727487

6320

π

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 14 / 17

Page 24: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Wow! These approximations are good.

From this theorem, we realize why our approximations are so good. Theyhave to be the best of many options. For the convergent for pi, 333

106 , we canlook at all the fractions between 3.14 and 3.15 with smaller denominators.

3.14 3.1515750

17957

20164

2237124578267852899231199333106

32710430597283902618323976

21769

19562

17355324103

15148

28089

12941

23675

10734

299951926127788

8527

31810123374

14847

2116727487

6320

π

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 14 / 17

Page 25: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

What other Irrationals do we care about?

The continued fractions of roots of quadratics have a really interestingproperty. Let’s look at some examples.

1 +√

5

2= 1 +

1

1 + 11+ 1

1+···√

2 = 1 +1

2 + 12+ 1

2+···√

3 = 1 +1

1 + 12+ 1

1+ 12+ 1

···

They always repeat! eventually.It turns out that any repeating continued fraction can be expressed as thesolution to the equation ax2 + by + c = 0.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 15 / 17

Page 26: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

What other Irrationals do we care about?

The continued fractions of roots of quadratics have a really interestingproperty. Let’s look at some examples.

1 +√

5

2= 1 +

1

1 + 11+ 1

1+···√

2 = 1 +1

2 + 12+ 1

2+···√

3 = 1 +1

1 + 12+ 1

1+ 1

2+ 1···

They always repeat! eventually.It turns out that any repeating continued fraction can be expressed as thesolution to the equation ax2 + by + c = 0.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 15 / 17

Page 27: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

What other Irrationals do we care about?

The continued fractions of roots of quadratics have a really interestingproperty. Let’s look at some examples.

1 +√

5

2= 1 +

1

1 + 11+ 1

1+···√

2 = 1 +1

2 + 12+ 1

2+···√

3 = 1 +1

1 + 12+ 1

1+ 1

2+ 1···

They always repeat! eventually.It turns out that any repeating continued fraction can be expressed as thesolution to the equation ax2 + by + c = 0.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 15 / 17

Page 28: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Repetition

1 +1

1 +1

1 + 1···

We see that the two blue boxes are equal, if we set them equal to x we cansolve the equation

x = 1 +1

x0 = −x2 + x + 1

x =±1 +

√5

2

Regardless of the length of the beginning section of a continued fraction, ifwe know it repeats, we can guarantee that we can draw similar boxes.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 16 / 17

Page 29: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Repetition

1 +1

1 +1

1 + 1···

We see that the two blue boxes are equal, if we set them equal to x we cansolve the equation

x = 1 +1

x0 = −x2 + x + 1

x =±1 +

√5

2

Regardless of the length of the beginning section of a continued fraction, ifwe know it repeats, we can guarantee that we can draw similar boxes.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 16 / 17

Page 30: -ish: Continued Fractions€¦ · 6/3/2020  · Zoe Shleifer and Elena Su ˇ-ish: Continued Fractions June 6, 202014/17. Wow! These approximations are good. From this theorem, we

Acknowledgements

Theorem

We are deeply grateful for all the help and support we have received.

Proof.

Maya, our mentor, has been the best, most patient teacher we could haveasked for. We also want to thank Peter Haine for proof-reading our paper,organizing the program, and helping with this presentation. We couldn’thave done it without PRIMES Circle and our parents.

Zoe Shleifer and Elena Su π-ish: Continued Fractions June 6, 2020 17 / 17