42
Device Constructions with Hyperbolas Alfonso Croeze 1 William Kelly 1 William Smith 2 1 Department of Mathematics Louisiana State University Baton Rouge, LA 2 Department of Mathematics University of Mississippi Oxford, MS July 8, 2011 Croeze, Kelly, Smith LSU&UoM Device Constructions with Hyperbolas

Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

  • Upload
    others

  • View
    7

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Device Constructions with Hyperbolas

Alfonso Croeze1 William Kelly1 William Smith2

1Department of MathematicsLouisiana State University

Baton Rouge, LA

2Department of MathematicsUniversity of Mississippi

Oxford, MS

July 8, 2011

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 2: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Hyperbola Definition

Conic Section

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 3: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Hyperbola Definition

Conic Section

Two Foci

Focus and Directrix

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 4: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

The Project

Basic constructions

Constructing a Hyperbola

Advanced constructions

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 5: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Rusty Compass

Theorem

Given a circle centered at a point A with radius r and any point Cdifferent from A, it is possible to construct a circle centered at Cthat is congruent to the circle centered at A with a compass andstraightedge.

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 6: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

C A

B

X

Y

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 7: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

C A

B

X

Y

D

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 8: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Angle Duplication

A X

A B X Y

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 9: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Angle Duplication

A X

A B X Y

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 10: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

A B

C

X Y

Z

A B

C

X Y

Z

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 11: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

A B

C

X Y

Z

A B

C

X Y

Z

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 12: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Constructing a Perpendicular

C

A B

C

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 13: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

A B

C

X

Y

A B

C

X

Y

O

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 14: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

We Need to Draw a Hyperbola!

Trisection of an angle and doubling the cube cannot beaccomplished with a straightedge and compass.

We needed a way to draw a hyperbola.

Items we needed:

one cork boardone poster boardone pair of scissorsone roll of stringa box of push pinssome paper if you do not already have somea writing utensilsome straws, which we picked up at McDonald’s

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 15: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

We Need to Draw a Hyperbola!

Trisection of an angle and doubling the cube cannot beaccomplished with a straightedge and compass.

We needed a way to draw a hyperbola.

Items we needed:

one cork boardone poster boardone pair of scissorsone roll of stringa box of push pinssome paper if you do not already have somea writing utensilsome straws, which we picked up at McDonald’s

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 16: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

We Need to Draw a Hyperbola!

Trisection of an angle and doubling the cube cannot beaccomplished with a straightedge and compass.

We needed a way to draw a hyperbola.

Items we needed:

one cork boardone poster boardone pair of scissorsone roll of stringa box of push pinssome paper if you do not already have somea writing utensilsome straws, which we picked up at McDonald’s

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 17: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

The Device

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 18: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

F2 F1

P

R = length of tube

C = length of string

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 19: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

F2 F1

P

C = PF1 + (R – PF2) + R

PF1 – PF2 = C – 2R

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 20: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Hyperbolas and Triangles

Lemma

Let 4ABP be a triangle with the following property: point P liesalong the hyperbola with eccentricity 2, B as its focus, and theperpendicular bisector of AB as its directrix. Then ∠B = 2∠A.

A B

P

c c

ah

g

b

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 21: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Proof.

h2 = a2 − (c − b)2

h2 = g2 − (c + b)2

...a

b= 2

...

2

(h

g

)(b + c

g

)=

h

a

2 sin(∠A) cos(∠A) = sin(∠B)

sin(2∠A) = sin(∠B)

2∠A = ∠B

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 22: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Lemma

Let 4ABP be a triangle such that ∠B = 2∠A. Then point P liesalong the hyperbola with eccentricity 2, B as its focus, and theperpendicular bisector of AB as its directrix.

A B

P

c c

ah

g

b

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 23: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Proof.

2∠A = ∠B

sin(2∠A) = sin(∠B)

2 sin(∠A) cos(∠A) = sin(∠B)

2

(h

g

)(b + c

g

)=

h

a...

(a− 2b)(2c − a) = 0a

b= 2

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 24: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Result

Theorem

Let AB be a fixed line segment. Then the locus of points P suchthat ∠PBA = 2∠PAB is a hyperbola with eccentricity 2, withfocus B, and the perpendicular bisector of AB as its directrix.

A B

P

c c

ah

g

b

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 25: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Trisecting the Angle - The Classical Construction

Let O denote the vertex of theangle.

Use a compass to draw a circlecentered at O, and obtain thepoints A and B on the angle.

Construct the hyperbola witheccentricity ε = 2, focus B,and directrix the perpendicularbisector of AB.

Let this hyperbola intersect thecircle at P.

Then OP trisects the angle.

A

B

O

P

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 26: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Trisecting the Angle

Given an angle ∠O, mark a point A on on the the given rays.

A

O

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 27: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Trisecting the Angle

Draw a circle, centered at O with radius OA. Mark theintersection on the second ray B, and draw the segment AB.

A B

O

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 28: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Trisecting the Angle

Draw a circle, centered at O with radius OA. Mark theintersection on the second ray B, and draw the segment AB.

A B

O

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 29: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Divide the segment AB into 6 equal parts: to do this, we pick apoint G1, not on AB, and draw the ray AG1. Mark points G2, G3,G4, G5, and G6 on the ray such that:

AG1 = G1G2 = G2G3 = G3G4 = G4G5 = G5G6.

A B

G1

G2

G3

G4

G5

G6

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 30: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Draw G6B. Draw lines through G1, G2, G3, G4 and G5 parallel toG6B. Each intersection produces equal length line segments onAB. Mark each intersection as shown, and treat each segment as aunit length of one.

A B

G1

G2

G3

G4

G5

G6

C D1 V

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 31: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Extend AB past A a length of 2 units as shown below. Mark thispoint F2. Construct a line perpendicular to AB through the pointD1. Using F2 and B as the foci and V as the vertex, use the deviceto construct a hyperbola, called h. Since the distance from the thecenter, C , to F1 is 4 units and the distance C to the vertex, V , is2 units, the hyperbola has eccentricity of 2 as required.

F2 A BC D1 V

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 32: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Mark the intersection point between the hyperbola, h, and thecircle OA as P. Draw the segment OP. The angle ∠POB trisects∠AOB.

A

P

BC D1 V

O

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 33: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Constructing 3√

2

Start with a given unit length of AB.

A B

Construct a square with side AB and mark the point shown.

A B

E

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 34: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Constructing 3√

2

Start with a given unit length of AB.

A B

Construct a square with side AB and mark the point shown.

A B

E

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 35: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Draw a line l through the points A and E . Extend line AB past Ba unit length of AB. Draw a circle, centered at A, with radius ACand mark the intersection on l as V . Draw a circle centered at Ewith radius AE and mark the intersection on l as F1. Draw thecircle centered at A with radius AF1 and mark that intersection onl as F2. Bisect the segment EB and mark the point O.

A

B C

E

O

V

F1

F2

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 36: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Draw a circle centered at O with a radius of OA. Using the device,draw a hyperbola with foci F1 and F2 and vertex V .

A

B C

E

O

V

F1

F2

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 37: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

The circle intersects the hyperbola twice. Mark the leftmostintersection X and draw a perpendicular line from AC to X . Thissegment has length 3

√2.

A

C

D

X

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 38: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Construction Proof

We can easily prove that the above construction is valid if wetranslate the above into Cartesian coordinates.

If we allow the point A to be treated as the origin of the x - yplane and B be the point (1, 0), we can write the equations ofthe circle and hyperbola.

The circle is centered at 1 unit to the right and 12 units up,

giving it a center of (1, 12) and a radius of√

54 . This gives the

circle the equation:

(x − 1)2 +

(y − 1

2

)2

=5

4.

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 39: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

The hyperbola, being rectangular with vertex (√2,√2), has

the equation xy = 2, so y = 2/x .

Substituting this expression into the circle’s equation andsolving for x yields the following:

(x − 1)2 +

(2

x− 1

2

)2

=5

4

x2 − 2x +4

x2− 2

x= 0

x4 − 2x − 2x3 + 4 = 0

(x3 − 2)(x − 2) = 0

From here we can see that both x = 3√2 and x = 2 are

solutions.

This proves that the horizontal distance from the y -axis to thepoint X is 3

√2.

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 40: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Bibliography

Heath, T., A History of Greek Mathematics, DoverPublications, New York, 1981.

Apostol, T.M. and Mnatsakanian, M.N., Ellipse to Hyperbola:With This String I Thee Wed, Mathematics Magazine 84(2011) 83-97.

http://en.wikipedia.org/wiki/Compass equivalence theorem

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 41: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Acknowledgements

Dr. Mark Davidson

Dr. Larry Smolinsky

Irina Holmes

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas

Page 42: Device Constructions with Hyperbolas - LSU Mathematics Presentation (Final).pdf · Device Constructions with Hyperbolas Alfonso Croeze1 William Kelly1 William Smith2 1Department of

Croeze, Kelly, Smith LSU&UoM

Device Constructions with Hyperbolas