next up previous contents index
Next: Inversion in Euclidean Circles Up: Neutral and Non-Euclidean Geometries Previous: Proof of Claim and

Strange New Triangles

  If tex2html_wrap_inline16144 and tex2html_wrap_inline17364 are limiting parallel to each other, the convention is to pretend that they go through an ideal point tex2html_wrap_inline17366  and denote them simply by the segments tex2html_wrap_inline17368 and tex2html_wrap_inline17370. The figure consisting of these rays and the segment PQ is then called a trilateral . Note that here we do not assume that PQ is necessarily perpendicular to tex2html_wrap_inline17370. Trilaterals are also called singly asymptotic triangles . The angles of a trilateral are the angles tex2html_wrap_inline17728 and tex2html_wrap_inline17730, and these are called its interior angles.

Just as we have defined a trilateral--singly asymptotic triangle--we can define a DAT--doubly asymptotic triangle.

Given a point P and two non-opposite rays through P--tex2html_wrap_inline15776 and tex2html_wrap_inline15782--let tex2html_wrap_inline11154 be the line that is limiting parallel to tex2html_wrap_inline15776 and limiting parallel to tex2html_wrap_inline15782 in the opposite direction. Let tex2html_wrap_inline17366 denote the ideal point in the direction of tex2html_wrap_inline15776 and let tex2html_wrap_inline17750 denote the ideal point in the direction of tex2html_wrap_inline15782. Then we can identify the line tex2html_wrap_inline11154 with the segment tex2html_wrap_inline17756 and the segments tex2html_wrap_inline17368, tex2html_wrap_inline17760 and tex2html_wrap_inline17756 form a doubly asymptotic triangle. The angle tex2html_wrap_inline17764 is the fan angle of tex2html_wrap_inline11154 and P.  

Many of the properties of trilaterals are analogous to those of triangles.

Lemma 14.1:[Crossbar Theorem for Trilaterals]  A line which subdivides an angle of a trilateral intersects the opposite side.

Lemma 14.2:[Pasch's Theorem for Trilaterals]  A line which intersects a side of the trilateral tex2html_wrap_inline17458 but does not pass through a vertex will intersect another side, provided the line is not limiting parallel to either tex2html_wrap_inline17772 or tex2html_wrap_inline17774 at tex2html_wrap_inline17366.

Lemma 14.3: The sum of the interior angles of a trilateral is less than tex2html_wrap_inline11150.

Lemma 14.4:[Exterior Angle Theorem]  If tex2html_wrap_inline17374 is a trilateral, the exterior angles at P and Q are greater than their respective opposite interior angles.

figure3993

Proof: Choose tex2html_wrap_inline17398 so that tex2html_wrap_inline17400. We need to show that tex2html_wrap_inline17402.

There is a unique ray tex2html_wrap_inline17364 lying on the same side of tex2html_wrap_inline15614 as tex2html_wrap_inline17366 so that tex2html_wrap_inline17410. If tex2html_wrap_inline17412 is so that tex2html_wrap_inline17414, then tex2html_wrap_inline17416. Thus, we have that the alternate interior angles are congruent. Let M be the midpoint of PQ and let A and B be the feet of M in tex2html_wrap_inline17428 and tex2html_wrap_inline17430, respectively. By AAS tex2html_wrap_inline17432 so that tex2html_wrap_inline15366 and tex2html_wrap_inline17436. Thus, A, M, and B are collinear. Thus, tex2html_wrap_inline17428 and tex2html_wrap_inline17430 have a common perpendicular. Thus, tex2html_wrap_inline17448. Thus tex2html_wrap_inline17364 lies between tex2html_wrap_inline17452 and tex2html_wrap_inline17454, from which it follows that tex2html_wrap_inline17402.

Two trilaterals are congruent  if the angles and segment of one are congruent, respectively, to the angles and segment of the other.

Lemma 14.5: If in the trilateral tex2html_wrap_inline17458 and tex2html_wrap_inline17460 we have tex2html_wrap_inline17462, then
displaymath17358

figure4030

Proof: First, let us assume that tex2html_wrap_inline12592 but tex2html_wrap_inline17480. We may suppose that tex2html_wrap_inline17482. Then, there is a unique ray tex2html_wrap_inline17484 between tex2html_wrap_inline17486 and tex2html_wrap_inline13314 so that tex2html_wrap_inline17490. Since tex2html_wrap_inline17492 and tex2html_wrap_inline17486 are limiting parallel, tex2html_wrap_inline17484 must intersect tex2html_wrap_inline17492 in a point X. There is a point tex2html_wrap_inline17502 so that tex2html_wrap_inline17504. Then by SAS tex2html_wrap_inline17506. Therefore, tex2html_wrap_inline17508. Then, tex2html_wrap_inline17510 and tex2html_wrap_inline17512 are not limiting parallel, a contradiction.

Now assume that tex2html_wrap_inline17514 and tex2html_wrap_inline13632. We may then assume that AB>CD. There is a unique point tex2html_wrap_inline17520 so that tex2html_wrap_inline17522. Let tex2html_wrap_inline17524 be the limiting parallel ray to tex2html_wrap_inline17492 from P. Thus, tex2html_wrap_inline17524 is also parallel to tex2html_wrap_inline17486. The first part of this proof now implies tex2html_wrap_inline17534. But tex2html_wrap_inline17536 is exterior to tex2html_wrap_inline17538, by the Exterior Angle Theorem tex2html_wrap_inline17540, a contradiction.


next up previous contents index
Next: Inversion in Euclidean Circles Up: Neutral and Non-Euclidean Geometries Previous: Proof of Claim and

droyster@math.uncc.edu