Section 1 - Straight-edge and Compass Constructions Flashcards
How do you draw a circle from 3 non-colinear points?
- draw 2 lines AB & BC
- bisect them, midpt of AB is D & midpt of BC is E
- draw perp. to AB & BC at midpts
- these intersect at F
- claim F is centre of circle
- △ADF = △BDF by SAS
- AF = BF = CF
- radius = BF
What is the Gauss-Wentzel thm?
a regular n-gon can be constructed w/ straight-edge & compass iff n is a product of a power of 2 and zero or more Fermat primes.
what are Fermat primes?
primes of the form 2^(2^a) +1
what do 𝙸.2 and 𝙸.3 tell us?
we can use a compass to store length
what does 𝙸.4 tell us?
SAS
what does 𝙸.8 tell us?
SSS
what does 𝙸.26 tell us?
ASA & SAA
how do you construct a regular 4-gon on a given base?
- AB is given
- draw perp. to AB at A & perp. to AB at B
- extend the perps. D&C and measure so AB=AD=BC
- draw CD
- then DC = AB and int. angles are right angles
construction is proved using isosceles triangles and 𝙸.28 & 𝙸.29
or using a circle with diameter CA
what does 𝙸.28 state?
If a straight line falling on two straight lines makes the exterior angle equal to the interior and opposite angle on the same side (or the sum of the interior angles on the same side equal to two right angles) then the straight lines are parallel to one another.
what does 𝙸.29 state?
A straight line falling on parallel straight lines makes the alternate angles equal to one another, the exterior angle equal to the interior and opposite angle, and the sum of the interior angles on the same side equal to two right angles.
how do you divide a given line segment into n equal parts?
- given line AB
- draw l (not equal to AB) through A
- measure with compass so |AA₁|=|A₁A₂|=…=|Aₙ﹣₁Aₙ| on l
- draw BAₙ and parallels through Aₙ﹣₁ etc…
- these lines intersect AB and divide it into n equal parts
what does Thales’ thm state?
parallels cut any line they cross into proportional segments
when is a number constructible?
if a line segment of that length can be constructed from one unit length by straight-edge and compass
if a & b are constructible then…
so are a+b, a-b (if a>b), ab, and b/a
how do you construct ab?
- given a & b
- construct △0uA where |0u|=1 & |0a|=a
- extend 0u by b to get pt B
- draw parallels to uA at B
- let C be the pt where it meets the extension of 0A
- by Thales’ 1/a = b/|AC| so |AC|=ab