non euclidean geometry
Download
Skip this Video
Download Presentation
Non –Euclidean Geometry

Loading in 2 Seconds...

play fullscreen
1 / 34

Non –Euclidean Geometry - PowerPoint PPT Presentation


  • 104 Views
  • Uploaded on

Non –Euclidean Geometry. Chapter 4. Alternate Interior Angles Theorem. Thm 4.1: Alterenate Interior Angles (AIA): If two lines cut by a transversal have a pair of congruent alternate interior angles, then the two lines parallel.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Non –Euclidean Geometry' - maisie


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
alternate interior angles theorem
Alternate Interior Angles Theorem
  • Thm 4.1: Alterenate Interior Angles (AIA): If two lines cut by a transversal have a pair of congruent alternate interior angles, then the two lines parallel.
  • Corr 1: Two lines perpendicular to the same line are parallel.
  • Corr 2 (Euc I.31): If l is an line and P is any point not on l, there exists at least one line m through P parallel to l.
exterior angle theorem
Exterior Angle Theorem
  • Thm 4.2:Exterior Angle (EA): An exterior angle of a triangle is greater than either remote interior angle.
  •  Corr 1: If a triangle has a right or obtuse angle the other two angles are acute.
  • P4.1: (SAA) Given AC  DF, A D and

B E. Then ABC DEF.

  • P4.2: Hypotenuse-Leg Criterion (H-L): Two right triangles are congruent if the hypotenuse and a leg of one are congruent respectively to the hypotenuse and a leg of the other.
slide4
P4.3 (Midpoints) Every segment has a unique midpoint.
  • P4.4: (Bisectors) Every angle has a unique bisector. Every segment has a unique perpendicular bisector.
  • P4.5: In a triangle ABC, the greater angle lies opposite the greater side and the greater side lies opposite the greater angle
  • P4.6: Given ABC and A\'B\'C\', if AB  A\'B\' and BC  B\'C\' then B < B’ iff AC < A\'C\'.
thm 4 3 measurement theorem
Thm 4.3: Measurement Theorem
  • A: There is a unique way of assigning a

degree measure to each angle such

that the following properties hold:

0)(A) is a real number such that 0 < (A) < 180.

1)(A) = 90 iff A is a right angle.

2) (A) = (B) iff A B.

(more)

thm 4 3 measurement thm con d
Thm 4.3: Measurement Thm (con’d)

3) If is interior to DAB,

then (DAB) = (DAC) + (CAB)

4) For every real number x between 0 and 180, there exists an angle A such that (A) = x .

5) If B is supplementary to A,

then (A) + (B) = 180

6)(A) > (B) iff A > B

(more)

thm 4 3 measurement thm con d1
Thm 4.3: Measurement Thm (con’d)
  • B: Given a segment OI, called a unit segment. Then there is a unique way of assigning a length

to each segment AB such that the follow properties hold;

7) is a positive real number and = 1.

8) = iff AB  CD.

9) A*B*C iff

10) < iff AB < CD.

11) For every positive real number x, there exists

a segment AB such that = x.

corr 2 to ea theorem
Corr 2: to EA Theorem:
  • The sum of the degree measures of any two angle of a triangle is less

than 180.

triangle inequality
Triangle Inequality:
  • If A, B, and C are three noncollinear points, then
  • Corr : For any Hilbert plane, the converse to the triangle inequality is equivalent to the circle-circle continuity principle. Hence the converse to the triangle inequality holds in Euclidean planes.
euclid 5 th postulate
Euclid 5th Postulate:
  • If two lines are intersected by a transversal in such a way that the sum of the degree measures of the two interior angles on one side of the transversal is less than 180, then the two lines meet on that side of the transversal .
theorem 4 4
Theorem 4.4:
  • Euclid\'s fifth postulate  Hilbert\'s parallel postulate.
  • (Note: Hilbert/Euclidean Postulate: For every line l and every point P not lying on l there is at most one line m through P such that m is parallel to l.)
parallel equivalencies
Parallel Equivalencies:
  • P4.7: Hilbert\'s parallel postulate  if a line intersects one of two parallel lines, then it also intersects the other.
  • P4.8: Hilbert\'s parallel postulate  converse to Theorem 4.1 (alternate interior angles).
  • P4.9: Hilbert\'s parallel postulate  if t is a transversal to l and m, l || m, and tl, then tm.
  • P4.10: Hilbert\'s parallel postulate k || l, mk, and nl, then either m = n or m || n
p4 11
P4.11:
  • In any Hilbert plane, Hilbert’s Euclidean parallel postulate implies that for every triangle ABC,

( A) + ( B) + ( C) = 180.

(The angle sum of every triangle is 180 if we assume Hilbert’s Euclidean parallel postulate.)

last stop before non euclidean geometry
Last Stop before Non-EuclideanGeometry!

Saccheri

And

Lambert

Quadrilaterals

saccheri quadrilateral
Saccheri Quadrilateral

  • Def: A quadrilateral ABDC is bi-right if adjacent angles  A and  B are right angles. AB is called the base; CD the summit.
  • Def: A Saccheri quadrilateral is an isoscoles (CA  DB, called sides) bi-right quadrilaterial.

See figure:

lambert quadrilateral
Lambert Quadrilateral
  • A quadrilateral with at least three right angles is called a Lambert Quadrilateral.
p4 12
P4.12:
  • a) (Sac I). The summit angles of a Saccheri quadrilateral are congruent to each other.
  • b) (Sac II). The line joining the midpoints of the summit and the base is perpendicular to both the summit and the base.
p4 13
P4.13
  • In any bi-right quadrilateral ABDC,  C >  D  BD > AC. (The greater side is opposite the greater summit angle.)

Corr: 1, 2 & 3 follow

p4 13 corr 1
P4.13 Corr: 1
  • Given any acute angle with vertex V. Let Y be any point on one side of the angle, let Y’ be any point farther out on the side, i.e. V*Y*Y’. Let X, X’ be the feet of the perpendiculars from Y,Y’, respectively, to the other side of the angle. The Y’X’ > YX. (In other words: The perpendicular segments from one side of an acute angle to the other increase as you move away from the vertex of the angle.)
p4 13 corr 2 3
P4.13 Corr: 2 & 3
  • Corr 2: Euclid V implies Aristotle’s axiom.
  • Corr 3: (Sac II, Corr I) A side adjacent to the fourth angle  of a Lambert quadrilateral is, respectively, greater than, congruent to, or less than its opposide side  is acute, right or obtuse, respectively.
lambert quadrilateral1
Lambert Quadrilateral
  • A quadrilateral with at least three right angles is called a Lambert Quadrilateral.
p4 13 corr 4
P4.13 Corr: 4
  • Corr 4: (Sac III) the summit of a Saccheri quadrilateral is, respectively, greater than, congruent to, or less than the base  its summit angle is acute, right or obtuse, respectively.
uniformity theorem
Uniformity Theorem:
  • For any Hilbert plane, if one Saccheri quadrilateral has acute (respectively, right, obtuse) summit angles, then so do all Saccheri quadrilaterals.
  • Corr: 1,2,3 & 4 follow.
uniformity thm
Uniformity Thm:
  • Corr 1: For any Hilbert plane, if one Lambert quadrilateral has an acute (respectively, right, obtuse) fourth angle, then so do all Lambert quadrilaterals. Furthermore, the type of the fourth angle is the same as the type of the summit angles of Saccheri quadrilaterals.
uniformity theorem1
Uniformity Theorem:
  • Corr 2: There exists a rectangle in a Hilbert plane  the plane is semi- Euclidean. Opposite sides of a rectangle are congruent to each other.
uniformity theorem2
Uniformity Theorem:
  • Corr 3: In a Hilbert plane satisfying the acute (respectively, obtuse) angle hypothesis, a side of a Lambert quadrilateral adjacent to the acute (respectively, obtuse) angle is greater than (respectively, less than) its opposite side.
uniformity theorem3
Uniformity Theorem:
  • Corr 4: In a Hilbert plane satisfying the acute(respectively, obtuse) angle hypothesis, the summit of a Saccheri quadrilateral is greater than (respectively, less than) the base. The midline segment MN is the only common perpendicular segment between the summit line and the base line. If P is any point  M on the summit line and Q is the foot of the perpendicular from P to the base line, then PQ > MN (respectively, PQ < MN). As P moves away from M along a ray of the summit line emanating from M, PQ increases (respectively, decreases).
saccheri angle theorem for any hilbert plane
Saccheri Angle Theorem: For any Hilbert plane:

a) If there exists a triangle whose angle sum is < 180, then every triangle has an angle sum of < 180, and this is equivalent to the fourth angles of Lambert quadrilaterals and the summit angles of Saccheri quadrilaterals being acute.

(continued)

saccheri angle theorem for any hilbert plane1
Saccheri Angle Theorem:For any Hilbert plane:
  • If there exists a triangle whose angle sum is = 180, then every triangle has an angle sum of = 180, and this is equivalent to the plane being semi-Euclidean.

(continued)

saccheri angle theorem for any hilbert plane2
Saccheri Angle Theorem:For any Hilbert plane:

c) If there exists a triangle whose angle sum is > 180, then every triangle as an angle sum of > 180, and this is equivalent to the fourth angles of Lambert quadrilaterals and the summit angles of Saccheri quadrilaterals being obtuse.

saccheri angle theorem lemma
Saccheri Angle Theorem:Lemma:
  • Let ABDC be a Saccheri quadrilateral with summit angle class . Consider the alternate interior angles ACB and DBC with respect to diagonal CB:
  • a) ACB < DBC  is acute.
  • b) ACB  DBC  is right.

c) ACB > DBC  is obtuse.

.

non obtuse angle theorem
Non-Obtuse-Angle Theorem:
  • A Hilbert plane satisfying Aristotle’s axiom either is semi-Euclidean or satisfies the acute angle hypothesis (so that by Saccheri’s angle theorem, the angle sum of every triangle is  180). (Corollary follows)
non obtuse angle theorem corr
Non-Obtuse-Angle Theorem Corr:
  • In a Hilbert plane satisfying Aristotle’s axiom, an exterior angle of a triangle is greater than or congruent to the sum of the two remote interior angles.
saccheri legendre theorem
Saccheri-Legendre Theorem:
  • In an Archimedean Hilbert plane, the angle sum of every triangle is  180.
ad