4.1: Euclidean Geometry

All of the rest of the axioms and definitions (that remain unspecified!) of neutral geometry remain in effect but in addition we add:

Euclidean Parallel Postulate (Local Form)

There exists a line and a point not on that line such that there is at most one line on that point that is parallel to the original line.

[Note: Recall from neutral geometry that we always have at least one parallel so now exactly one parallel.]

Euclidean Parallel Postulate (Global Form)

For any line and any point not on that line, there is at most one line on that point that is parallel to the original line.

Theorem

These two axioms are equivalent.

Proof: Obviously, Global implies Local. Conversely, assume Local is true. Then, since the "no parallels" case does not exist (we’re in neutral geometry), the negation of Global would imply some line and some point not on that line at which there were multiple parallels. But then the global form of the Hyperbolic Parallel Postulate would imply that the given local hyperbolic situation must be true, the needed contradiction. QED.

Angle Sum Theorem (Euclidean geometry form)

The sum of the angles of a triangle is equal to two right angles. [So for an 𝑛-gon, exactly 180⁢(𝑛 −2).]

Proof: Consider any triangle, say △ABC. At A on AB, and on the opposite side, copy ∠𝐴⁢𝐵⁢𝐶, say ∠𝐷⁢𝐴⁢𝐵, and at A on AC, and on the opposite side, copy ∠𝐴⁢𝐶⁢𝐵 to obtain ∠EAC. Why is line DA =AE so that 𝛼 +𝛽 +𝛾 =180∘?

Alternate Interior Angle Theorem

If two parallel lines are cut by a transversal, they form congruent alternate interior angles with the transversal [and alternate exterior angles and corresponding angles].

Proof: PS 4, #2. Note: This gives another easy proof of the Angle Sum Theorem - start with the parallel.

Definition

The area of square of length 1 unit is 1 square unit and, by extension, the area of any 𝑚 ×𝑛 rectangle is mn square units. The area of a finite, bounded, simple (no overlaps), region (in the plane) is the greatest lower bound of the sums of the areas of all rectangles that can be inscribed inside the region with no overlap of their interiors provided that number is equal to the least upper bound of the sums of the areas of all rectangles that contain the region with no overlap of their interiors.

[Note: To prove this definition is meaningful requires more real analysis than we are going to assume.]

Theorem 4.1.1

Two triangles are equivalent if and only if they have the same area. More generally, a triangle is equivalent to an 𝑛-gon iff they have the same area.

Proof: It should not be surprising that area would be preserved under equivalence but why not in hyperbolic geometry? That said, one proof (for triangles only) is to modify the corresponding theorem in hyperbolic geometry by replacing every occurrence of "angle sum" by “area" (PS 4, #28). Do less sophisticated proofs exist? Absolutely. For other polygons, induct on the number of sides (PS 4, #33). (This is not true for angle sum in hyperbolic geometry.) QED.

Theorem

Area formulas of ordinary polygons.

Pythagorean Theorem

If △ABC with sides a,b,c is a right triangle with right angle at C, then a2 +b2 =c2. That is, the sum of the areas of the squares on its two legs is equal to the area of the square on its hypotenuse.

Proof 1: There are many proofs of this result; some quite different from others. Among the easiest is to build a square of sides 𝑎 +𝑏 around the triangle and use a little algebra. Adding the areas of the pieces we have (a+b)2 =4⁢((1/2)⁢ab) +c2 that simplifies to: a2 +b2 =c2. The details are left as PS⁢4, #19. QED.

Proof 2: This is the traditional proof from Euclid’s Elements in Book 1, Prop 47 and every prospective high school geometry teacher should be familiar with it. With a little more work, it can be adjusted to prove the squares are equivalent; i.e., the two smaller squares can be "cut up" into a finite number of pieces and rearranged into the larger. In the right triangle of the figure, △ABC, with squares on each side, assume auxiliary lines are as they appear with CK determined by the line on 𝐶 perpendicular to the hypotenuse 𝐴⁢𝐵 of the original right triangle. The area of △EBA is half the area of the small square BCDE (base BE and height BC ) and, by SAS, △EBA ≅△CBF (rotate by 90∘ about point B ). For the second triangle, use base BF with height BL. Thus square BCDE has the same area as rectangle BFKL. By symmetry, (segments BH and CG ) square ACIH and rectangle AGKL have the same area. QED.

Proof 3: Much easier is a proof that directly proves that the two smaller squares are equivalent to the larger one. In this one, fold the square on one leg to overlap the triangle and fold the square on the hypotenuse across both the triangle and the adjacent squares. Note that D′,E′,F′, and G′ are not part of the proof; they are only there to help visualize the situation in its traditional form. Amazingly, this requires only one auxiliary line, FK, where K is the perpendicular on F to line BC. The idea is to show that the square on BC⁡(a2) together with the square on AC⁡(b2) is equivalent to the square on AB⁡(c2). Since there is so much overlap, the equivalence only requires confirming that △AGH ≅△BFK, △BLE ≅△FMK, and △ALD ≅△GMI and that G is collinear with H and I. The details are left as as PS 4 , #20. QED.

Other proofs are given in in PS 4, #21-24.

Converse of the Pythagorean Theorem

If △ABC is such that a2 +b2 =c2, then it is a right triangle with right angle at C.

Proof: Construct a right triangle with legs of size a and b. By the Pythagorean Theorem, the third side is ...? Then by SSS...? QED.

Midpoints Theorem

The segment joining the midpoints of two sides of a triangle is half the length of the third side and parallel to it.

Proof: Let M and N be the midpoints of segments AB and AC of △ABC and double segment MN to determine D as indicated. With the vertical angles at N we have △CND ≅△ANM by SAS. Then AM ≅CD and ∠DCN ≅∠A by cpctc and we have congruent alternate interior angles so lines AM =BM and CD are parallel. With AM ≅BM so that BM ≅CD, we have quadrilateral BCDM with a pair of opposite sides that are both parallel and congruent. Since we are in Euclidean geometry, the quadrilateral is a parallelogram (PS 4, #15) so its opposite sides are congruent (PS 4, #12). That is, MD ≅𝐵⁢𝐶 and, since MN ≅ND by construction, N is the midpoint of segment MD known to be congruent to BC. Thus we have segment MN parallel to and half of segment BC as required. QED.

Definition: Term

Two polygons are similar (indicated “ "), and the correspondence a similarity, if (so iff) there is a proportional correspondence between their sides that preserves its angles; i.e., a 1-1 correspondence of the sides of one to the other with a positive real number r, the common ratio, such that the length of the second is the length of the first multiplied by r and the angle between two corresponding sides is unchanged.

For example, △ MAN ∼△𝐵⁢𝐴⁢𝐶 with 𝑟 =2 in the last theorem since the other two pairs of angles are congruent because the lines are parallel. Even more trivially, congruent figures are similar with common ratio 𝑟 =1.

Theorem: SAS Similarity

If two triangles are such that the ratios between two of its sides are the same and the angles between those two pairs of sides are congruent, then the triangles are similar.orem text

Proof: First off, this looks like our proportion is wrong because this speaks of the ratio of two sides of the same triangle instead of the presence of a constant of proportionality for the correspondence (image side length to original side length). This fact is due to the property of ordinary fractions:

𝑎/𝑏 =𝑥/𝑦 iff 𝑎/𝑥 =𝑏/𝑦 iff their reciprocals agree; i.e., 𝑥/𝑎 =𝑦/𝑏.

Here, think of 𝑥 as the length of the image of the side of length 𝑎, and 𝑦 likewise for 𝑏, and under the correspondence that, we hope, turns out to be a similarity correspondence. Let 𝑟 be that common ratio; i.e., 𝑟 =𝑥/𝑎 or 𝑥 =𝑟⁢𝑎 and 𝑦 =𝑟 b. To be proved is that, for any 𝑟 >0, the other 2 angles are also congruent and the third sides are in the same ratio r. The proof is based on induction on r =n as natural numbers and simple fractions 𝑟 =1/𝑛 with the new triangle with two sides and included angle superimposed on the original △ABC (by SAS for congruent triangles) with the two sides of length r⁡(AB) and 𝑟⁡(AB).

Case r =1: This is just SAS Congruence as mentioned above.

Case r =2: This is just an an immediate consequence of the last theorem. In order to prepare for a proof by Mathematical Induction, we rename the vertices as pictured, with midpoints B =B1 and C =C1 making lengths AB2 =2⁢AB and AC2 =2⁢AC. By the last theorem, the length of B2⁢C2 =2⁢ B1⁢C1 and line B2⁢C2 parallel to line B1⁢C1 confirming ∠AB1⁢C1 ≅∠AB2⁢C2 and ∠AC1⁢ B1 ≅∠AC2⁢ B2. Letting 𝑀2 be the midpoint of segment 𝐵2⁢𝐶2 determines 3 new triangles all congruent to the original △𝐴⁢𝐵⁢𝐶, 4 =22 congruent triangles.

Case 𝑟 =1/2: This time, interchange the initial triangle 𝐵 =𝐵2 and 𝐶 =𝐶2 making lengths 𝐴⁢𝐵1 =(1/2)⁢𝐴⁢𝐵 and AC1 =(1/2)⁢AC, the midpoint situation of the motivating theorem above.

Case 𝑟 =𝑛: For 𝑛 any positive integer, induct on 𝑛 beyond the case of 𝑟 =2 as follows:

Assume the result (similarity with common factor r =n with n2 internal congruent triangles) is valid for 𝑟 =2,3,…,𝑛 and consider any triangle △ABn+1⁢Cn+1 with length ABn+1 =(n +1)⁢AB, length ACn+1 =(n +1)⁢AC, and, for convenience, the same LA. By the Ruler Postulate, identify n points to determine 𝑛 +1 congruent segments along each segment ABn+1 and ACn+1 by subscript number and apply the inductive hypothesis to △ABn⁢Cn. Following the proof of the the preceding theorem, extend segment 𝐵𝑛⁢𝐶𝑛, of length 𝑛⁢𝐵⁢𝐶 by the inductive hypothesis, by a segment of length 𝐵⁢𝐶 to determine point 𝐷 and consider Δ⁢𝐶𝑛+1⁢𝐷⁢𝐶𝑛. This triangle is congruent to the original, Δ⁢𝐶𝑛+1⁢𝐶𝑛⁢𝐷 ≅Δ⁢𝐴⁢𝐶⁢𝐵 by SAS. By cpctc of segments and angles and transitivity, DC𝑛+1 ≅Bn⁢Bn+1 and their lines are parallel so quadrilateral Bn⁢B𝑛+1⁢𝐶𝑛+1⁢D has a pair of opposite sides that are both congruent and parallel so it is a parallelogram (PS 4, #15) and its other pair of opposite sides are also congruent and parallel (PS⁢4,#12). Since Bn⁢D is of length nBC +BC =(n +1)⁢BC, the needed side Bn+1⁢𝐶n+1 is also along with the appropriate congruence of the angles at Bn+1 and Cn+1 confirming similarity with Δ⁢ABC. Finally, counting the number of the internal congruent triangles, we have the original 𝑛2 plus 𝑛 +1 new ones oriented with △ABC and 𝑛 between them oriented upside-down: 𝑛2 +(𝑛 +1) +𝑛 =𝑛2 +2⁢𝑛 +1 =(𝑛+1)2 and the inductive step is complete. (For better understanding, carefully follow the proof with 𝑛 =3; the ideas are exactly the same.)

Case r =1/n: For any positive integer n and two triangles that satisfy the SAS for Similarity conditions with common ratio r =1/n (one pair of congruent angles and there including pairs of sides in the same 1/n ratio), divide each of the including sides of the larger triangle, say △ABC into n congruent segments (Ruler Postulate) and index them as with the proof of any natural number 𝑟 =𝑛; that is 𝐵𝑛 =𝐵 and 𝐶𝑛 =𝐶 and each point of those subdivisions as Bi and Ci along the way. Then by SAS Congruency, the smaller of the triangles is congruent to Δ⁢AB1⁢C1 starting from which we can recover similarity with the original Δ⁢ABC by the case of 𝑟 =𝑛.

Case 𝑟 =𝑚/𝑛 : For any positive rational number: In this case, start with either the numerator or the denominator and apply the appropriate cases in sequence.

Case r : For any positive real number r : If r is rational, it is already done so assume r is irrational. Consider any sequence of positive rational numbers that converges to 𝑟 and use continuity. 𝑄⁢𝐸⁢𝐷

Theorem: SSS Similarity

If two triangles are such that the ratio between all three pairs of their corresponding sides is the same, then the triangles are similar.

Proof: Here the constant of proportionality for the correspondence is that common ratio 𝑟. It would be possible to start from scratch as in the proof of SAS Similarity but it’s not necessary. Choose two of the sides of the first triangle and consider the triangle formed by the angle between them but with the two sides r times as long. By SAS Similarity, the third side of that triangle is 𝑟 times the original third side, ra. But then, by SSS Congruence,... QED.

Theorem: AA Similarity

If two triangles are such that two of its angles are congruent, then the triangles are similar.

Proof: Where is the constant of proportionality for the correspondence? It is the ratio r of the sides included by the two pairs of congruent angles, 𝑟 =𝑦/𝑏.

Since there is only one pair of sides under consideration, "they" all agree and proceed as with SSS as above. More explicitly, suppose △ABC and △XYZ are such that ∠A ≅∠X and ∠C ≅∠Z as indicated. Multiplying the 2 sides of ∠𝐴 by the same factor 𝑟, r >0, we have similar triangles △ABC ∼△AB′⁢C′ by SAS similarity. By definition of similarity, ∠C′ ≅∠C so, by transitivity, ∠C′ ≅∠Z and we have △AB⁢′⁢C′ ≅△X⁢YZ by ASA congruence. Finally, △ABC ∼△XYZ by transitivity.

Theorem

The altitude from the right angle of a right triangle divides the triangle into two triangles each similar to the original.

Proof: The acute angles of a right triangle are complementary so the result is immediate by AA Similarity. QED.

Proof 4: This fact gives the heart of yet another proof of the Pythagorean Theorem; nice in that it has the traditional picture but with a much easier proof. Starting as before with right △ABC with a square on each side, take the line on the right angle vertex 𝐶 perpendicular to the hypotenuse so that CL is the altitude from the right angle of right △ABC. That implies that BL/a =a/c so that c⁡(BL) =a2. That is, the area of square BCDE is the area of rectangle BFKL. Similarly b2 is the area of rectangle AGKL. QED. (see PS⁡4,#21)

Parallel lines cut off proportional segments

[More explicitly, the lengths of the segments of 2 transversals to 3 (or more) parallel lines are proportional (have the same ratios)].

Proof: In the figure, the 3 lines ℓ1,𝑙2, and 𝑙3 are parallel lines cut by transversals 𝑚 and 𝑛. We need to show that the determined segments are proportional; i.e., show that 𝑤/𝑥 =𝑦/𝑧.

If the transversals 𝑚 and 𝑛 are parallel, the determined quadrilaterals are parallelograms so w =y and x =z and trivial equality of the ratios so assume they intersect. Let X be the intersection of 𝑚 and 𝑛. That determines 3 triangles, all similar by AA Similarity. The equality of the desired ratios follows from straightforward application of the similarity ratios of these triangles. The details are left as PS 4, #18.

Construct: The product and the quotient of two line segments.

More specifically, given line segments of lengths a, 𝑏, and unit length 1, construct segments of length ab and 𝑎/𝑏. and D as indicated in the figure determines △ABD. Copy ∠B at point C as indicated to determine point E on the other ray. Then x, the length of segment DE, is the required length, 𝑥 =𝑎⁢𝑏. For a/b, it’s the same construction except start with the b followed by a on one ray and the 1 on the other ray.

Proof: By construction, ∠ABD ≅∠ACE and congruent corresponding angles implies that lines CE and BD are parallel. Since parallel lines cut off proportional segments, 1/𝑏 =𝑎/𝑥. Therefore 𝑥 =𝑎⁢𝑏.

Theorem: The bisector of an angle of a triangle divides the opposite side proportionately with the sides of the angle.

That is, in the associated figure, if ray AD is the bisector of ∠𝐴, then AB/AC =DB/DC.

Proof: Let E be the intersection of line AC with the line on B parallel to line AD and consider the triangle created: △DCA ∼△BCE. QED.

Corollary: The bisector of an angle of a triangle is a median if and only if the triangle is isosceles.

Theorem: Inscribed Angle Theorem: An angle inscribed in a circle has measure half the measure of its intercepted (subtended) arc; i.e., half that of its corresponding central angle.

Proof: In all cases, vertex 𝐴 is on the circle with center at 𝑂.

Case 1: One side of the angle is a diameter. In this case, the central angle is exactly the exterior angle of the isosceles triangle determined by the inscribed angle. Explicitly, since OA and OB are radii of the same circle, △AOB is isosceles and its base angles (at 𝐴 and 𝐵 ) are congruent so that their sum is twice 𝛼 =𝑚⁡(∠𝐴). By the Euclidean form of the EAT, 2⁢𝛼 =2⁢ m⁢(∠A) =m⁡(∠BOC). Since arc measure is defined to be the measure of the central angle that subtends it, the assertion is proved.

Case 2: The center of the circle is interior to the angle. Include diameter OD: 2⁢𝛼 =2⁢(𝛼1+𝛼2) =2⁢𝛼1 +2⁢𝛼2.

Case 3: The center of the circle is exterior to the angle.

Note that ∠𝐵⁢𝐴⁢𝐶 =∠𝐵⁢𝐴⁢𝐷 −∠𝐶⁢𝐴⁢𝐷. This implies that 2⁢𝛼 =2⁢((𝛼+𝛼1)−𝛼1) =2⁢(𝛼+𝛼1) −2⁢𝛼1.

Case 4: One side of the angle is tangent to the circle. Assume line AB is tangent to the circle at A, and that ∠𝐵⁢𝐴⁢𝐶 is acute. Consider ∠𝐶⁢𝐴⁢𝐷, the complementary angle with the diameter AD determined by the radius OA since, by previous theorem, lines AB and AD are perpendicular. Obviously, the measure of arc AC is x =180∘ −m⁡(arc⁡CD) so, by Case 1 , 𝑥 =180∘ −2⁢𝛽 =2⁢(90∘−𝛽) =2⁢𝛼 and we’re done. If ∠𝐵⁢𝐴⁢𝐶 is obtuse, its supplement is acute so use the acute case and subtract from 360∘.

Corollary: A triangle inscribed in a semicircle (i.e., one side is a diameter) is a right triangle.

Historically, this fact is known as the Theorem of Thales. Thales was a philosopher mathematician who lived approximately 300 years prior to Euclid and has been called the first philosopher of the Greek tradition.

Corollary: Construct the tangents from a point outside a circle to the circle.

[Note: This was PS 2, #25, in neutral geometry. Why do it again? This construction is the one that is usually taught so is much better known than the earlier one. This situation is a bit strange since both constructions are in the original Euclid, Book III, the neutral geometry one is easier to prove, and is given earlier (Prop. 17 versus Prop. 31). It does make a nice example, however, of a situation where changing the axioms leaves the proposition true (the ability to construct the tangents) but the Euclidean form given here is not valid in neutral geometry. The steps of the construction can be done but, not only does the proof fail, it never produces the actual tangents!]

Construction: Bisect the segment determined by the point and the center of the circle and consider the circle centered at that point with radius determined by either of those points, (M; MO). Its intersections with the circle are the points of tangency. More explicitly, (if the center of the circle is not given) construct the center of the circle, O, the midpoint M of line segment PO, and the circle with center at M and radius MP = MO. Letting 𝐴 and 𝐵 be the points of intersection of this circle with the original circle, the lines PA and PB are the desired tangents.

Proof: This is immediate from the theorem on triangles inscribed in semicircles. QED.

Theorem: Construct a line segment of length the square root of the length of a segment:

Solution: Given segments of unit length and length a, construct 𝑀, the midpoint of a segment of length 1 +a,(AB +BC =AC in the figure ), and the circle centered at 𝑀 of radius 𝑀⁢𝐶. Finally, construct the perpendicular at point 𝐵 to determine point 𝐷. Then segment BD is the required segment.

Proof: This is a triangle inscribed in a semicircle so △ACD is a right triangle and BD is the altitude from the right angle so △ADB ∼△DCB and we have 𝑥/1 =𝑎/𝑥 so that 𝑥2 =𝑎 or 𝑥 =√𝑎. QED.

Theorem: Construct the geometric mean of the lengths of two line segments:

That is, given segments of lengths a and 𝑏, solve: 𝑥2 =𝑎⁢𝑏 geometrically.

Solution: Start with m⁡(AB) =a and m⁡(BC) =b in the figure above. QED.

Construct all positive solutions of a quadratic equation: That is, if a, b, and c are constructible and the equation has real solutions, solve 𝑎⁢𝑥2 +𝑏⁢𝑥 +𝑐 =0 geometrically.

Solution: For 𝑎⁢𝑥2 +𝑏⁢𝑥 +𝑐 =0,𝑎 ≠0, recall that the quadratic formula gives its solutions:

𝑥 =−𝑏±√𝑏2−4⁢𝑎⁢𝑐2⁢𝑎 Each step of the algorithm is constructible. QED.

Theorem: Parallel lines intersecting a circle determine congruent arcs.

Proof: This is immediate from the Inscribed Angle Theorem.

Note: There is a problem in that we have never discussed what congruent arcs even means; everything has been in terms of breaking a figure into congruent triangles which is impossible for arcs of circles. Obviously, congruent circles are those with congruent radii. For congruent arcs, we mean arcs of congruent circles that determine congruent central angles or equivalently (by SAS congruence of triangles) congruent chords.

[Note: This is NOT true in hyperbolic geometry: ( Poincaré arc: DC ≅AB <EB ).]

Theorem: The Chord Theorem: For a point inside a circle, the product of the lengths of the segments determined on any chord through it is constant (i.e., 𝑤⁢𝑥 =𝑦⁢𝑧 in the figure), and the measure of an angle determined by two chords through the point is half the sum of its intercepted (subtended) arcs.

Proof: By the Inscribed Angle Theorem, ∠E ≅∠C and ∠B ≅∠D so, by AA Similarity, △ABE ∼△ADC so AB/AD =AE/AC or w/y =z/x. Finally, wx =yz. For the angles, m⁡(∠BAD) =m⁡(∠ABE) +m⁡(∠AEB) by the Euclidean form of the EAT and use the Inscribed Angle Theorem to express m⁡(∠ABE) and m⁡(∠AEB) in terms of the arc measures of their subtended arcs. QED.

Theorem: The Secant Theorem

For a point outside of a circle, the product of the lengths of the external segment times its entire secant (external segment plus the chord) is constant and in the tangent case that constant is just the square of the length of the segment. The measure of the angle at the point determined by two secants is half the difference of the subtended arcs. That is and as pictured, including the tangent case, w⁢(w +x) =y⁢(y +z) =t2.

Proof: The angle at 𝐴 is in common and, by the Inscribed Angle Theorem, ∠𝐶 ≅∠E so we have △ABE ∼△ADC by AA Similarity. For the constant product conclusion, AB/AE =AD/AC and cross multiply. For the angles, use the Euclidian form of the ETA,m⁡(∠CDE) =m⁡(∠DAC) +m⁡(∠DCA), or 𝛿 =𝛼 +𝛾 or 𝛼 =𝛿 −𝛾. Now by the Inscribed Angle Theorem with arcs 𝐶⁢𝐸 and BD, we have 𝛿 =(1/2)⁢(m⁡(CE) −m⁡(BD)). For the tangent case, see PS⁢4,#7 QED.

Back in Chapter 1, we learned how to construct the center of a circle in neutral geometry; namely, choose any three points of the circle and the perpendicular bisectors of any two chords determined intersect to determine the center of the circle. This construction was familiar to many of you as a construction for the circumcircle of a triangle. That is, construct the perpendicular bisectors of two of the sides of the triangle to determine the circumcircle and the segment from that point to any of its vertices is its radius. We saw in Chapter 3 that it is not valid in neutral geometry because it is false in hyperbolic geometry; i.e., we know that some triangles have no circumcircle because sometimes those perpendicular bisectors do not intersect. In the Euclidean case, failure to intersect would imply that the two sides chosen were part the same line so that the triangle was not a triangle but a so-called "degenerate" triangle; i.e., three collinear points. Polygons with more than three sides, however, are not so clear; usually a polygon has no circumcircle but there is a surprising characterization for quadrilaterals:

Theorem

A quadrilateral has a circumcircle if and only if each pair of opposite angles has sum of 180∘.

Proof: The inscribed angle theorem immediately implies that if a quadrilateral can be inscribed in a circle, opposing angles must add to 180∘. Conversely, suppose we have quadrilateral with opposite angles that add to 180∘. Use any three of the vertices to construct the circumcircle of that triangle, the triangle those three points determine and prove that the fourth vertex must lie on it as well. In essence, the chord theorem (if the point were inside) and the secant theorem (if the point were outside) would imply that the angle sum would be wrong. The details are left as Ex 30.

Construct: The product and the quotient of two line segments using the chord theorem:

An alternate construction for the product (and for the quotient) of the lengths of two line segments of given lengths is by starting with any two intersecting lines as the lines of the their eventual chords with the constructed sum of the segments from the intersection of the lines as one of the chords and a segment of unit length from that point as one segment of the other chord. That determines 3 points of the desired circle and use them to construct the determined circle. The length of the segment from the point of intersection to the circle is the desired length (PS 4, #31). [Note: Using the 𝑥 and 𝑦 axes as the chord lines and the lengths as pictured, the product can be directly "read off"’ the positive 𝑥-axis ( ∼(3/2)⁢(5/2) =15/4).]