#set document(title: "10.1 Points, Lines, and Planes", author: "OpenStax / XYZ Homework") #set page(width: 8.5in, height: auto, margin: 1in) #import "@preview/cetz:0.5.2" #set text(font: ("STIX Two Text", "Libertinus Serif", "New Computer Modern"), size: 10.5pt, lang: "en") #show math.equation: set text(font: ("STIX Two Math", "New Computer Modern Math")) #set par(justify: true, leading: 0.62em, spacing: 0.9em) #set enum(spacing: 1.1em) // room between list items so tall inline fractions don't collide #set list(spacing: 1.1em) #set table(stroke: 0.5pt + rgb("#c7ccd3")) #let BLUE = rgb("#183B6F") // brand navy — section bars + example/solution labels (white on navy 11.09:1) #let ORANGE = rgb("#A94509") // brand primary-700 — AA-safe deep orange for TEXT (5.93:1 on white; raw brand #F37021 is 2.94:1 and must never carry text) #let RED = rgb("#DC2626") // brand error-600 #let GREEN = rgb("#059669") // brand success-600 (decoration only; small green text uses green-text #007942) #show heading.where(level: 1): it => block(width: 100%, above: 0pt, below: 16pt, fill: gradient.linear(BLUE, rgb("#2C5AA0")), inset: (x: 14pt, y: 12pt), radius: 3pt, text(fill: white, weight: "bold", size: 19pt, it.body)) #show heading.where(level: 2): it => block(width: 100%, above: 18pt, below: 10pt, fill: BLUE, inset: (x: 10pt, y: 6pt), radius: 2pt, text(fill: white, weight: "bold", size: 12pt, it.body)) #show heading.where(level: 3): it => text(fill: ORANGE, weight: "bold", size: 12.5pt, it.body) #show heading.where(level: 4): it => text(fill: BLUE, weight: "bold", size: 10.5pt, it.body) #let examplebox(label, title, body) = block(width: 100%, breakable: true, fill: rgb("#EFF1F5"), stroke: 0.5pt + rgb("#CFDDF0"), radius: 4pt, inset: 10pt, above: 12pt, below: 12pt)[ #block(below: 6pt)[#box(fill: BLUE, inset: (x: 6pt, y: 2pt), radius: 2pt, text(fill: white, weight: "bold", size: 8.5pt, label)) #h(0.4em) #strong[#title]] #body] // rail = decorative left rule (raw brand token); labelcolor = AA-safe label text shade #let notebox(label, rail, labelcolor, tint, body) = block(width: 100%, breakable: true, fill: tint, stroke: (left: 3pt + rail), inset: (left: 10pt, rest: 8pt), radius: (right: 4pt), above: 11pt, below: 11pt)[ #text(fill: labelcolor, weight: "bold", size: 7.5pt, tracking: 0.5pt)[#upper(label)] #linebreak() #body] #let solutionbox(body) = block(above: 4pt, below: 8pt)[ #text(fill: BLUE, weight: "bold", size: 8.5pt)[Solution] #linebreak() #body] #let figph(msg) = block(width: 100%, height: 60pt, fill: rgb("#f6f7f9"), stroke: (paint: rgb("#c7ccd3"), dash: "dashed"), radius: 4pt, inset: 10pt)[ #align(center + horizon, text(fill: rgb("#889"), style: "italic", size: 9pt, msg))] // Standardize inlined figure sizes: measure the natural CeTZ canvas, then scale to a // consistent envelope (aspect-aware; see build_typst.py FIG_* constants). Unlike the // print preamble, dimensions are FLOORED: in an editor a user can trim a figure to a // degenerate 1-D shape (a bare line), and w/h or tw/w would then divide by zero. #let _STD_W = 3.5 #let _WIDE_W = 5.6 #let _MAX_H = 3.4 #let _ASPECT_WIDE = 2.2 #let _UPSCALE_MAX = 1.15 #let stdfig(body) = context { let m = measure(body) let w = calc.max(m.width / 1in, 0.01) let h = calc.max(m.height / 1in, 0.01) let tw = if w / h > _ASPECT_WIDE { _WIDE_W } else { _STD_W } let s = calc.min(tw / w, _MAX_H / h, _UPSCALE_MAX) align(center, box(scale(x: s * 100%, y: s * 100%, reflow: true, body))) } #show figure: set block(breakable: false) #set figure(gap: 8pt) #show figure.caption: set text(size: 8.5pt, fill: rgb("#555")) == 10.1#h(0.6em)Points, Lines, and Planes #figure(figph[A detail of the School of Athens by Raphael shows Euclid drawing the figure of a hexagram with a compass.], alt: "A detail of the School of Athens by Raphael shows Euclid drawing the figure of a hexagram with a compass.", caption: [The lower right-hand corner of #emph[The School of Athens] depicts a figure representing Euclid illustrating to students how to use a compass on a small chalkboard.]) === Learning Objectives After completing this section, you should be able to: + Identify and describe points, lines, and planes. + Express points and lines using proper notation. + Determine union and intersection of sets. In this section, we will begin our exploration of geometry by looking at the basic definitions as defined by Euclid. These definitions form the foundation of the geometric theories that are applied in everyday life. In #emph[The Elements], Euclid summarized the geometric principles discovered earlier and created an axiomatic system, a system composed of postulates. A #emph[postulate] is another term for axiom, which is a statement that is accepted as truth without the need for proof or verification. There were no formal geometric definitions before Euclid, and when terms could not be defined, they could be described. In order to write his postulates, Euclid had to describe the terms he needed and he called the descriptions “definitions.” Ultimately, we will work with theorems, which are statements that have been proved and can be proved. === Points and Lines The first definition Euclid wrote was that of a point. He defined a point as “that which has no part.” It was later expanded to “an indivisible location which has no width, length, or breadth.” Here are the first two of the five postulates, as they are applicable to this first topic: + #strong[Postulate 1]: A straight line segment can be drawn joining any two points. + #strong[Postulate 2]: Any straight line segment can be extended indefinitely in a straight line. Before we go further, we will define some of the symbols used in geometry in : #figure( stdfig([#grid(columns: 7, gutter: 1.5em, [#cetz.canvas({ import cetz.draw: * content((100.00pt, 214.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Point A]) circle((100.00pt, 100.00pt), radius: 1.8pt, fill: black, stroke: none) content((96.00pt, 96.00pt), anchor: "north-east", text(size: 9pt)[A]) })], [#cetz.canvas({ import cetz.draw: * content((100.00pt, 64.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Line segment AB]) line((25.00pt, 25.00pt), (175.00pt, 25.00pt), stroke: 0.7pt + black) circle((25.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((25.00pt, 29.00pt), anchor: "south", text(size: 9pt)[A]) circle((175.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((175.00pt, 29.00pt), anchor: "south", text(size: 9pt)[B]) })], [#cetz.canvas({ import cetz.draw: * content((100.00pt, 64.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Ray AB]) line((25.00pt, 25.00pt), (175.00pt, 25.00pt), stroke: 0.7pt + black) line((175.00pt, 25.00pt), (169.00pt, 27.50pt), (169.00pt, 22.50pt), close: true, fill: black, stroke: 0.7pt + black) circle((25.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((25.00pt, 29.00pt), anchor: "south", text(size: 9pt)[A]) circle((175.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((175.00pt, 29.00pt), anchor: "south", text(size: 9pt)[B]) })], [#cetz.canvas({ import cetz.draw: * content((100.00pt, 64.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Ray BA]) line((175.00pt, 25.00pt), (25.00pt, 25.00pt), stroke: 0.7pt + black) line((25.00pt, 25.00pt), (31.00pt, 22.50pt), (31.00pt, 27.50pt), close: true, fill: black, stroke: 0.7pt + black) circle((25.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((25.00pt, 29.00pt), anchor: "south", text(size: 9pt)[A]) circle((175.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((175.00pt, 29.00pt), anchor: "south", text(size: 9pt)[B]) })], [#cetz.canvas({ import cetz.draw: * content((100.00pt, 64.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Line AB]) line((25.00pt, 25.00pt), (175.00pt, 25.00pt), stroke: 0.7pt + black) line((175.00pt, 25.00pt), (169.00pt, 27.50pt), (169.00pt, 22.50pt), close: true, fill: black, stroke: 0.7pt + black) line((25.00pt, 25.00pt), (31.00pt, 22.50pt), (31.00pt, 27.50pt), close: true, fill: black, stroke: 0.7pt + black) circle((25.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((25.00pt, 29.00pt), anchor: "south", text(size: 9pt)[A]) circle((175.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((175.00pt, 29.00pt), anchor: "south", text(size: 9pt)[B]) })], [#cetz.canvas({ import cetz.draw: * content((100.00pt, 64.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Half-line AB]) line((25.00pt, 25.00pt), (175.00pt, 25.00pt), stroke: 0.7pt + black) line((175.00pt, 25.00pt), (169.00pt, 27.50pt), (169.00pt, 22.50pt), close: true, fill: black, stroke: 0.7pt + black) circle((25.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((25.00pt, 29.00pt), anchor: "south", text(size: 9pt)[A]) circle((175.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((175.00pt, 29.00pt), anchor: "south", text(size: 9pt)[B]) })], [#cetz.canvas({ import cetz.draw: * content((100.00pt, 64.00pt), text(font: sys.inputs.at("title-font", default: "STIX Two Text"), size: 11pt)[Half-line BA]) line((175.00pt, 25.00pt), (25.00pt, 25.00pt), stroke: 0.7pt + black) line((25.00pt, 25.00pt), (31.00pt, 22.50pt), (31.00pt, 27.50pt), close: true, fill: black, stroke: 0.7pt + black) circle((25.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((25.00pt, 29.00pt), anchor: "south", text(size: 9pt)[A]) circle((175.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((175.00pt, 29.00pt), anchor: "south", text(size: 9pt)[B]) })] )]), alt: "A table with three columns titled, Symbol, Definition, and Picture. The first row displays: Symbol, a point; Definition, Points are defined with capital letters, like point A; Picture, a point A. The second row displays: Symbol, A B with a line above it; Definition, A line segment from point A to point B; Picture, a line segment A B. The third row displays: Symbol, A B with an arrow above it; Definition, A ray from point A in the direction of B; Picture, a ray A B. The fourth row displays: Symbol, B A with an arrow above it, Definition, A ray from point B in the direction of A; Picture, a ray B A. The fifth row displays: Symbol, A B with a double-sided arrow above it; Definition, A line that includes the points A and B goes off indefinitely in both directions; Picture, a line A B. The sixth row displays: Symbol, A B with a circle and arrow above it; Definition, A half line from, but not including, point A in the direction of point B; Picture, a half-line A B. The seventh row displays: Symbol, B A with a circle and arrow above it; Definition, A half line from, but not including, point B in the direction of A; Picture, a half-line B A.", caption: [Basic Geometric Symbols for Points and Lines], ) From , we see the variations in lines, such as line segments, rays, or half-lines. What is consistent is that two collinear points (points that lie on the same line) are required to form a line. Notice that a line segment is defined by its two endpoints showing that there is a definite beginning and end to a line segment. A ray is defined by two points on the line; the first point is where the ray begins, and the second point gives the line direction. A half-line is defined by two points, one where the line starts and the other to give direction, but an open circle at the starting point indicates that the starting point is not part of the half-line. A regular line is defined by any two points on the line and extends infinitely in both directions. Regular lines are typically drawn with arrows on each end. #examplebox("Example 1")[Defining Lines][ For the following exercises, use this line . #figure(figph[A line with three points, D, E, and F marked on it.], alt: "A line with three points, D, E, and F marked on it.", caption: none) + Define #math.equation(block: false, alt: "D E ¯")[$overline(D E)$]. + Define #math.equation(block: false, alt: "F")[$F$]. + Define #math.equation(block: false, alt: "D F ↔")[$accent(D F, ↔)$]. + Define #math.equation(block: false, alt: "E F ¯")[$overline(E F)$]. #solutionbox[ + The symbol #math.equation(block: false, alt: "D E ¯")[$overline(D E)$], two letters with a straight line above, refers to the line segment that starts at point #math.equation(block: false, alt: "D")[$D$] and ends at point #math.equation(block: false, alt: "E")[$E$]. + The letter #math.equation(block: false, alt: "F")[$F$] alone refers to point #math.equation(block: false, alt: "F")[$F$]. + The symbol #math.equation(block: false, alt: "D F ↔")[$accent(D F, ↔)$], two letters with a line above containing arrows on both ends, refers to the line that extends infinitely in both directions and contains the points #math.equation(block: false, alt: "D")[$D$] and #math.equation(block: false, alt: "F")[$F$]. + The symbol #math.equation(block: false, alt: "E F ¯")[$overline(E F)$], two letters with a straight line above, refers to the line segment that starts at point #math.equation(block: false, alt: "E")[$E$] and ends at point #math.equation(block: false, alt: "F")[$F$]. ] ] There are numerous applications of line segments in daily life. For example, airlines working out routes between cities, where each city’s airport is a point, and the points are connected by line segments. Another example is a city map. Think about the intersection of roads, such that the center of each intersection is a point, and the points are connected by line segments representing the roads. #figure(figph[A diagram shows the airline routes. The regions included in the diagram are Honolulu, Guam, Okinawa, Taipei, Hong Kong, Bangkok, Colombo, Bombay, San Francisco Oakland, Los Angeles, Phoenix, Las Vegas, Tucson, Denver, Albu Querque, To Europe, Kansas City, Wichita, Amarillo, Oklahoma City, Chicago, St. Louis, Tulsa, Tampa, Miami, Atlanta, Nashville, Louisville, Cincinnati, Dayton, Indianapolis, Detroit, Boston, Hartford, Cleveland, Columbus, Pittsburgh, New York, Harrisburg, Philadelphia, Baltimore Washington, Paris, Geneva, Milan, Rome, Athens, Shannon, London, Frankfurt, Zurich, Telaviv, Dhahran, Cairo, Nairobi, Tripoli, Azores, Lisbon, Madrid, Tunis, Entebbe/Kampala, and Dar es Salaam.], alt: "A diagram shows the airline routes. The regions included in the diagram are Honolulu, Guam, Okinawa, Taipei, Hong Kong, Bangkok, Colombo, Bombay, San Francisco Oakland, Los Angeles, Phoenix, Las Vegas, Tucson, Denver, Albu Querque, To Europe, Kansas City, Wichita, Amarillo, Oklahoma City, Chicago, St. Louis, Tulsa, Tampa, Miami, Atlanta, Nashville, Louisville, Cincinnati, Dayton, Indianapolis, Detroit, Boston, Hartford, Cleveland, Columbus, Pittsburgh, New York, Harrisburg, Philadelphia, Baltimore Washington, Paris, Geneva, Milan, Rome, Athens, Shannon, London, Frankfurt, Zurich, Telaviv, Dhahran, Cairo, Nairobi, Tripoli, Azores, Lisbon, Madrid, Tunis, Entebbe/Kampala, and Dar es Salaam.", caption: [Air Line Routes]) #examplebox("Example 2")[Determining the Best Route][ View the street map as a series of line segments from point to point. For example, we have vertical line segments #math.equation(block: false, alt: "A B ¯")[$overline(A B)$], #math.equation(block: false, alt: "B C ¯ ,")[$overline(B C) ,$] and #math.equation(block: false, alt: "C D ¯")[$overline(C D)$] on the right. On the left side of the map, we have vertical line segments #math.equation(block: false, alt: "H I ¯")[$overline(H I)$], #math.equation(block: false, alt: "F G . ¯")[$overline(F G .)$] The horizontal line segments are #math.equation(block: false, alt: "H A ¯")[$overline(H A)$], #math.equation(block: false, alt: "E I ¯")[$overline(E I)$], #math.equation(block: false, alt: "I E ¯")[$overline(I E)$], #math.equation(block: false, alt: "E B ¯")[$overline(E B)$], #math.equation(block: false, alt: "F C ¯")[$overline(F C)$], #math.equation(block: false, alt: "C F ¯ ,")[$overline(C F) ,$] and #math.equation(block: false, alt: "G B ¯ .")[$overline(G B) .$] There are two diagonal line segments, #math.equation(block: false, alt: "A E ¯")[$overline(A E)$] and #math.equation(block: false, alt: "E F ¯ .")[$overline(E F) .$] Assume that each location is on a corner and that you live next door to the library. #figure(figph[An illustration shows line segments representing streets. The horizontal line segments are H A, I E, E B, F C, and G D. The vertical line segments are H I, A B, B C, C D, and F G. Two slant line segments are F E and E A. Grocery is located near I. Post office is located near F. Dry cleaners is located near C. Home and library are located near G.], alt: "An illustration shows line segments representing streets. The horizontal line segments are H A, I E, E B, F C, and G D. The vertical line segments are H I, A B, B C, C D, and F G. Two slant line segments are F E and E A. Grocery is located near I. Post office is located near F. Dry cleaners is located near C. Home and library are located near G.", caption: [Street Map]) + Let’s say that you want to stop at the grocery store on your way home from school. Come up with three routes you might take to do your errand and then go home. In other words, name the three ways by the line segments in the order you would walk, and which way do you think would be the most efficient route? + How about stopping at the library after school? Name four ways you might travel to the library and which way do you think is the most efficient? + Suppose you need to go to the post office and the dry cleaners on your way home from school. Name three ways you might walk to do your errands and end up at home. Which way do you think is the most efficient way to walk, get your errands done, and go home? #solutionbox[ + From school to the grocery store and home: first way #math.equation(block: false, alt: "A H ¯ , H I ¯ , I E ¯ , E F ¯ , F G ¯")[$overline(A H) , overline(H I) , overline(I E) , overline(E F) , overline(F G)$]; second way #math.equation(block: false, alt: "A B ¯ , B E ¯ , E I ¯ , I E ¯ , E F ¯ , F G ¯")[$overline(A B) , overline(B E) , overline(E I) , overline(I E) , overline(E F) , overline(F G)$]; third way #math.equation(block: false, alt: "A E ¯ , E I ¯ , I E ¯ , E F ¯ , F G ¯")[$overline(A E) , overline(E I) , overline(I E) , overline(E F) , overline(F G)$]. It seems that the third way is the most efficient way. + From school to the library: first way #math.equation(block: false, alt: "A E ¯ , E F ¯ , F G ¯")[$overline(A E) , overline(E F) , overline(F G)$]; second way #math.equation(block: false, alt: "A B ¯ , B C ¯ , C D ¯ , D G ¯")[$overline(A B) , overline(B C) , overline(C D) , overline(D G)$]; third way #math.equation(block: false, alt: "A B ¯ , B E ¯ , E F ¯ , F G ¯")[$overline(A B) , overline(B E) , overline(E F) , overline(F G)$]; fourth way #math.equation(block: false, alt: "A B ¯ , B C ¯ , C F ¯ , F G ¯")[$overline(A B) , overline(B C) , overline(C F) , overline(F G)$]. The first way should be the most efficient way. + From school to the post office or dry cleaners to home: first way #math.equation(block: false, alt: "A E ¯ , E F ¯ , F C ¯ , C D ¯ , D G ¯")[$overline(A E) , overline(E F) , overline(F C) , overline(C D) , overline(D G)$]; second way #math.equation(block: false, alt: "A B ¯ , B E ¯ , E F ¯ , F C ¯ , C D ¯ , D G ¯")[$overline(A B) , overline(B E) , overline(E F) , overline(F C) , overline(C D) , overline(D G)$]; third way #math.equation(block: false, alt: "A B ¯ , B C ¯ , C F ¯ , F G ¯")[$overline(A B) , overline(B C) , overline(C F) , overline(F G)$]. The third way would be the most efficient way. ] ] === Parallel Lines #strong[Parallel lines] are lines that lie in the same plane and move in the same direction, but never intersect. To indicate that the line #math.equation(block: false, alt: "l sub 1")[$l_(1)$] and the line #math.equation(block: false, alt: "l sub 2")[$l_(2)$] are parallel we often use the symbol #math.equation(block: false, alt: "l sub 1 ∥ l sub 2 .")[$l_(1) ∥ l_(2) .$] The distance #math.equation(block: false, alt: "d")[$d$] between parallel lines remains constant as the lines extend infinitely in both directions. #figure( stdfig([#cetz.canvas({ import cetz.draw: * line((15.38pt, 15.38pt), (169.23pt, 15.38pt), stroke: 0.7pt + black) line((15.38pt, 76.92pt), (169.23pt, 76.92pt), stroke: 0.7pt + black) line((92.31pt, 15.38pt), (92.31pt, 76.92pt), stroke: 0.7pt + black) line((92.31pt, 15.38pt), (84.31pt, 15.38pt), (84.31pt, 23.38pt), (92.31pt, 23.38pt), close: true, stroke: 0.6pt + black, fill: none) content((176.92pt, 15.38pt), anchor: "west", text(size: 9pt)[l₁]) content((176.92pt, 76.92pt), anchor: "west", text(size: 9pt)[l₂]) content((98.46pt, 46.15pt), anchor: "west", text(size: 9pt)[d]) })]), alt: "Two parallel lines, l subscript 1 and l subscript 2 are separated by a distance of d.", caption: [Parallel Lines], ) === Perpendicular Lines Two lines that intersect at a #math.equation(block: false, alt: "90 degrees")[$90^(∘)$] angle are #strong[perpendicular lines] and are symbolized by #math.equation(block: false, alt: "⊥")[$⊥$]. If #math.equation(block: false, alt: "l sub 1")[$l_(1)$] and #math.equation(block: false, alt: "l sub 2")[$l_(2)$] are perpendicular, we write #math.equation(block: false, alt: "l sub 1 ⊥ l sub 2 .")[$l_(1) ⊥ l_(2) .$] When two lines form a right angle, a #math.equation(block: false, alt: "90 degrees")[$90^(∘)$] angle, we symbolize it with a little square #math.equation(block: false, alt: "□ .")[$□ .$] #figure( stdfig([#cetz.canvas({ import cetz.draw: * line((0.00pt, 100.00pt), (200.00pt, 100.00pt), stroke: 0.7pt + black) content((100.00pt, 109.00pt), anchor: "south", text(size: 9pt)[l₁]) line((100.00pt, 0.00pt), (100.00pt, 200.00pt), stroke: 0.7pt + black) content((91.00pt, 100.00pt), anchor: "south", text(size: 9pt)[l₂]) line((100.00pt, 100.00pt), (108.00pt, 100.00pt), (108.00pt, 108.00pt), (100.00pt, 108.00pt), close: true, stroke: 0.6pt + black, fill: none) })]), alt: "Two perpendicular lines, l subscript 1 and l subscript 2 intersect forming a 90 degrees angle.", caption: [Perpendicular Lines], ) #examplebox("Example 3")[Identifying Parallel and Perpendicular Lines][ Identify the sets of parallel and perpendicular lines in . #figure( stdfig([#cetz.canvas({ import cetz.draw: * line((0.00pt, 0.00pt), (0.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((20.00pt, 0.00pt), (20.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((40.00pt, 0.00pt), (40.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((60.00pt, 0.00pt), (60.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((80.00pt, 0.00pt), (80.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((100.00pt, 0.00pt), (100.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((120.00pt, 0.00pt), (120.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((140.00pt, 0.00pt), (140.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((160.00pt, 0.00pt), (160.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((180.00pt, 0.00pt), (180.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((200.00pt, 0.00pt), (200.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 0.00pt), (200.00pt, 0.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 20.00pt), (200.00pt, 20.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 40.00pt), (200.00pt, 40.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 60.00pt), (200.00pt, 60.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 80.00pt), (200.00pt, 80.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 100.00pt), (200.00pt, 100.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 120.00pt), (200.00pt, 120.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 140.00pt), (200.00pt, 140.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 160.00pt), (200.00pt, 160.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 180.00pt), (200.00pt, 180.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((0.00pt, 200.00pt), (200.00pt, 200.00pt), stroke: (paint: rgb("#B6D4DA"), thickness: 0.4pt)) line((40.00pt, 0.00pt), (40.00pt, 200.00pt), stroke: 0.7pt + black) line((40.00pt, 200.00pt), (37.50pt, 194.00pt), (42.50pt, 194.00pt), close: true, fill: black, stroke: 0.7pt + black) line((40.00pt, 0.00pt), (42.50pt, 6.00pt), (37.50pt, 6.00pt), close: true, fill: black, stroke: 0.7pt + black) content((31.00pt, 100.00pt), anchor: "south", text(size: 9pt)[RS]) line((120.00pt, 0.00pt), (120.00pt, 200.00pt), stroke: 0.7pt + black) line((120.00pt, 200.00pt), (117.50pt, 194.00pt), (122.50pt, 194.00pt), close: true, fill: black, stroke: 0.7pt + black) line((120.00pt, 0.00pt), (122.50pt, 6.00pt), (117.50pt, 6.00pt), close: true, fill: black, stroke: 0.7pt + black) content((111.00pt, 100.00pt), anchor: "south", text(size: 9pt)[UV]) line((0.00pt, 80.00pt), (200.00pt, 80.00pt), stroke: 0.7pt + black) line((200.00pt, 80.00pt), (194.00pt, 82.50pt), (194.00pt, 77.50pt), close: true, fill: black, stroke: 0.7pt + black) line((0.00pt, 80.00pt), (6.00pt, 77.50pt), (6.00pt, 82.50pt), close: true, fill: black, stroke: 0.7pt + black) content((100.00pt, 89.00pt), anchor: "south", text(size: 9pt)[XY]) line((60.00pt, 160.00pt), (180.00pt, 40.00pt), stroke: 0.7pt + black) line((180.00pt, 40.00pt), (177.53pt, 46.01pt), (173.99pt, 42.47pt), close: true, fill: black, stroke: 0.7pt + black) line((60.00pt, 160.00pt), (62.47pt, 153.99pt), (66.01pt, 157.53pt), close: true, fill: black, stroke: 0.7pt + black) line((40.00pt, 80.00pt), (40.00pt, 88.00pt), (48.00pt, 88.00pt), (48.00pt, 80.00pt), close: true, stroke: 0.6pt + black, fill: none) line((120.00pt, 80.00pt), (120.00pt, 88.00pt), (128.00pt, 88.00pt), (128.00pt, 80.00pt), close: true, stroke: 0.6pt + black, fill: none) circle((40.00pt, 170.00pt), radius: 1.8pt, fill: black, stroke: none) content((36.00pt, 170.00pt), anchor: "east", text(size: 9pt)[R]) circle((40.00pt, 30.00pt), radius: 1.8pt, fill: black, stroke: none) content((36.00pt, 30.00pt), anchor: "east", text(size: 9pt)[S]) circle((120.00pt, 170.00pt), radius: 1.8pt, fill: black, stroke: none) content((124.00pt, 170.00pt), anchor: "west", text(size: 9pt)[U]) circle((120.00pt, 30.00pt), radius: 1.8pt, fill: black, stroke: none) content((124.00pt, 30.00pt), anchor: "west", text(size: 9pt)[V]) circle((30.00pt, 80.00pt), radius: 1.8pt, fill: black, stroke: none) content((30.00pt, 84.00pt), anchor: "south", text(size: 9pt)[X]) circle((170.00pt, 80.00pt), radius: 1.8pt, fill: black, stroke: none) content((170.00pt, 84.00pt), anchor: "south", text(size: 9pt)[Y]) })]), alt: "Four lines are graphed on a square grid. The lines, R S and U V are vertical and parallel. The lines, R S and X Y are perpendicular. The lines, U V and X Y are perpendicular. A decreasing line intersects X Y and U V at two different points.", caption: none, ) #solutionbox[ Drawing these lines on a grid is the best way to distinguish which pairs of lines are parallel and which are perpendicular. Because they are on a grid, we assume all lines are equally spaced across the grid horizontally and vertically. The grid also tells us that the vertical lines are parallel and the horizontal lines are parallel. Additionally, all intersections form a #math.equation(block: false, alt: "90 degrees")[$90^(∘)$] angle. Therefore, we can safely say the following: #math.equation(block: false, alt: "A B ↔ ∥ C D ↔")[$accent(A B, ↔) ∥ accent(C D, ↔)$], the line containing the points #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] is parallel to the line containing the points #math.equation(block: false, alt: "C")[$C$] and #math.equation(block: false, alt: "D")[$D$]. #math.equation(block: false, alt: "E F ↔ ∥ G H ↔")[$accent(E F, ↔) ∥ accent(G H, ↔)$], the line containing the points #math.equation(block: false, alt: "E")[$E$] and #math.equation(block: false, alt: "F")[$F$] is parallel to the line containing the points #math.equation(block: false, alt: "G")[$G$] and #math.equation(block: false, alt: "H")[$H$]. #math.equation(block: false, alt: "A B ↔ ⊥ E F ↔")[$accent(A B, ↔) ⊥ accent(E F, ↔)$], the line containing the points #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] is perpendicular to the line containing the points #math.equation(block: false, alt: "E")[$E$] and #math.equation(block: false, alt: "F")[$F$]. We know this because both lines trace grid lines, and intersecting grid lines are perpendicular. We can also state that #math.equation(block: false, alt: "A B ↔ ⊥ G H ↔")[$accent(A B, ↔) ⊥ accent(G H, ↔)$]; the line containing the points #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] is perpendicular to the line containing the points #math.equation(block: false, alt: "G")[$G$] and #math.equation(block: false, alt: "H")[$H$] because both lines trace grid lines, which are perpendicular by definition. We also have #math.equation(block: false, alt: "C D ↔ ⊥ E F ↔")[$accent(C D, ↔) ⊥ accent(E F, ↔)$]; the line containing the points #math.equation(block: false, alt: "C")[$C$] and #math.equation(block: false, alt: "D")[$D$] is perpendicular to the line containing the points #math.equation(block: false, alt: "E")[$E$] and #math.equation(block: false, alt: "F")[$F$] because both lines trace grid lines, which are perpendicular by definition. Finally, we see that #math.equation(block: false, alt: "C D ↔ ⊥ G H ↔")[$accent(C D, ↔) ⊥ accent(G H, ↔)$]; the line containing the points #math.equation(block: false, alt: "C")[$C$] and #math.equation(block: false, alt: "D")[$D$] is perpendicular to the line containing the points #math.equation(block: false, alt: "G")[$G$] and #math.equation(block: false, alt: "H")[$H$] because both lines trace grid lines, which are perpendicular by definition. ] ] === Defining Union and Intersection of Sets Union and intersection of sets is a topic from set theory that is often associated with points and lines. So, it seems appropriate to introduce a mini-version of set theory here. First, a #strong[set] is a collection of objects joined by some common criteria. We usually name sets with capital letters. For example, the set of odd integers between 0 and 10 looks like this: #math.equation(block: false, alt: "A equals { 1 , 3 , 5 , 7 , 9 } .")[$A = \{ 1 , 3 , 5 , 7 , 9 \} .$] When it involves sets of lines, line segments, or points, we are usually referring to the #strong[union] or #strong[intersection] of set. The union of two or more sets contains all the elements in either one of the sets or elements in all the sets referenced, and is written by placing this symbol #math.equation(block: false, alt: "union")[$∪$] in between each of the sets. For example, let set #math.equation(block: false, alt: "A equals { 1 , 2 , 3 } ,")[$A = \{ 1 , 2 , 3 \} ,$] and let set #math.equation(block: false, alt: "B equals { 4 , 5 , 6 } .")[$B = \{ 4 , 5 , 6 \} .$] Then, the union of sets A and B is #math.equation(block: false, alt: "A union B equals { 1 , 2 , 3 , 4 , 5 , 6 } .")[$A ∪ B = \{ 1 , 2 , 3 , 4 , 5 , 6 \} .$] The intersection of two or more sets contains only the elements that are common to each set, and we place this symbol #math.equation(block: false, alt: "intersection")[$∩$] in between each of the sets referenced. For example, let’s say that set #math.equation(block: false, alt: "A equals { 1 , 3 , 5 } ,")[$A = \{ 1 , 3 , 5 \} ,$] and let set #math.equation(block: false, alt: "B equals { 5 , 7 , 9 } .")[$B = \{ 5 , 7 , 9 \} .$] Then, the intersection of sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] is #math.equation(block: false, alt: "A intersection B equals { 5 } .")[$A ∩ B = \{ 5 \} .$] #examplebox("Example 4")[Defining Union and Intersection of Sets][ Use the line for the following exercises. Draw each answer over the main drawing. #figure(figph[A line with four points, A, B, C, and D marked on it.], alt: "A line with four points, A, B, C, and D marked on it.", caption: none) + Find #math.equation(block: false, alt: "B D → intersection C A ←")[$arrow(B D) ∩ accent(C A, ←)$]. + Find #math.equation(block: false, alt: "A B ¯ union A D ¯")[$overline(A B) ∪ overline(A D)$]. + Find #math.equation(block: false, alt: "A D ↔ union B C ¯")[$accent(A D, ↔) ∪ overline(B C)$]. + Find #math.equation(block: false, alt: "A D ↔ intersection B C ¯")[$accent(A D, ↔) ∩ overline(B C)$]. + Find #math.equation(block: false, alt: "B A ← intersection C D ¯")[$accent(B A, ←) ∩ overline(C D)$]. #solutionbox[ + Find #math.equation(block: false, alt: "B D → intersection C A ←")[$arrow(B D) ∩ accent(C A, ←)$]. This is the intersection of the ray #math.equation(block: false, alt: "B D →")[$arrow(B D)$] and the ray #math.equation(block: false, alt: "C A ← .")[$accent(C A, ←) .$] Intersection includes only the elements that are common to both lines. For this intersection, only the line segment #math.equation(block: false, alt: "B C ¯")[$overline(B C)$] is common to both rays. Thus, #math.equation(block: false, alt: "B D → intersection C A ← equals B C ¯ .")[$arrow(B D) ∩ accent(C A, ←) = overline(B C) .$] #figure( stdfig([#cetz.canvas({ import cetz.draw: * line((0.00pt, 25.00pt), (200.00pt, 25.00pt), stroke: 0.7pt + black) line((200.00pt, 25.00pt), (194.00pt, 27.50pt), (194.00pt, 22.50pt), close: true, fill: black, stroke: 0.7pt + black) line((0.00pt, 25.00pt), (6.00pt, 22.50pt), (6.00pt, 27.50pt), close: true, fill: black, stroke: 0.7pt + black) line((50.00pt, 62.50pt), (100.00pt, 62.50pt), stroke: 0.7pt + black) line((125.00pt, 87.50pt), (25.00pt, 87.50pt), stroke: 0.7pt + black) line((25.00pt, 87.50pt), (31.00pt, 85.00pt), (31.00pt, 90.00pt), close: true, fill: black, stroke: 0.7pt + black) line((75.00pt, 112.50pt), (175.00pt, 112.50pt), stroke: 0.7pt + black) line((175.00pt, 112.50pt), (169.00pt, 115.00pt), (169.00pt, 110.00pt), close: true, fill: black, stroke: 0.7pt + black) circle((25.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((25.00pt, 29.00pt), anchor: "south", text(size: 9pt)[A]) circle((75.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((75.00pt, 29.00pt), anchor: "south", text(size: 9pt)[B]) circle((125.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((125.00pt, 29.00pt), anchor: "south", text(size: 9pt)[C]) circle((175.00pt, 25.00pt), radius: 1.8pt, fill: black, stroke: none) content((175.00pt, 29.00pt), anchor: "south", text(size: 9pt)[D]) content((50.00pt, 62.50pt), anchor: "north", text(size: 9pt)[B]) content((100.00pt, 62.50pt), anchor: "north", text(size: 9pt)[C]) content((125.00pt, 87.50pt), anchor: "north", text(size: 9pt)[C]) content((25.00pt, 87.50pt), anchor: "north", text(size: 9pt)[A]) content((75.00pt, 112.50pt), anchor: "north", text(size: 9pt)[B]) content((175.00pt, 112.50pt), anchor: "north", text(size: 9pt)[D]) })]), alt: "A line with four points, A, B, C, and D marked on it. A line segment B C, a ray C A, and a ray B D are drawn above the line.", caption: none, ) + Find #math.equation(block: false, alt: "A B ¯ union A D ¯")[$overline(A B) ∪ overline(A D)$]. The problem is asking for the union of two line segments, #math.equation(block: false, alt: "A B ¯")[$overline(A B)$] and #math.equation(block: false, alt: "A D ¯ .")[$overline(A D) .$] Union includes all elements in the first line and all elements in the second line. Since #math.equation(block: false, alt: "A B ¯")[$overline(A B)$] is part of #math.equation(block: false, alt: "A D ¯")[$overline(A D)$], #math.equation(block: false, alt: "A B ¯ union A D ¯ equals A D ¯ .")[$overline(A B) ∪ overline(A D) = overline(A D) .$] #figure(figph[A line with four points, A, B, C, and D marked on it. Three line segments, A B, A D, and A D are drawn above the line.], alt: "A line with four points, A, B, C, and D marked on it. Three line segments, A B, A D, and A D are drawn above the line.", caption: none) + Find #math.equation(block: false, alt: "A D ↔ union B C ¯")[$accent(A D, ↔) ∪ overline(B C)$]. This is the union of the line #math.equation(block: false, alt: "A D ↔")[$accent(A D, ↔)$] with the line segment #math.equation(block: false, alt: "B C ¯")[$overline(B C)$]. As the line segment #math.equation(block: false, alt: "B C ¯")[$overline(B C)$] is included on the line #math.equation(block: false, alt: "A D ↔ ,")[$accent(A D, ↔) ,$] then the union of these two lines equals the line #math.equation(block: false, alt: "A D ↔")[$accent(A D, ↔)$]. #figure(figph[A line with four points, A, B, C, and D marked on it. A line segment, B C, and two lines, A D, and AD are drawn above the line.], alt: "A line with four points, A, B, C, and D marked on it. A line segment, B C, and two lines, A D, and AD are drawn above the line.", caption: none) + Find #math.equation(block: false, alt: "A D ↔ intersection B C ¯")[$accent(A D, ↔) ∩ overline(B C)$]. The intersection of the line #math.equation(block: false, alt: "A D ↔")[$accent(A D, ↔)$] with line segment #math.equation(block: false, alt: "B C ¯")[$overline(B C)$] is the set of elements common to both lines. In this case, the only element in common is the line segment #math.equation(block: false, alt: "B C ¯ .")[$overline(B C) .$] #figure(figph[A line with four points, A, B, C, and D marked on it. Two line segments, B C and B C, and a line, A D are drawn above the line.], alt: "A line with four points, A, B, C, and D marked on it. Two line segments, B C and B C, and a line, A D are drawn above the line.", caption: none) + Find #math.equation(block: false, alt: "A B ← intersection C D ¯")[$accent(A B, ←) ∩ overline(C D)$]. This is the intersection of the ray #math.equation(block: false, alt: "A B ←")[$accent(A B, ←)$] and the line segment #math.equation(block: false, alt: "C D ¯ .")[$overline(C D) .$] Intersection includes elements common to both lines. There are no elements in common. The intersection yields the empty set, as shown. Therefore, #math.equation(block: false, alt: "A B ← intersection C D ¯ equals the empty set")[$accent(A B, ←) ∩ overline(C D) = ∅$]. #figure(figph[A line with four points, A, B, C, and D marked on it. A line segment, C D, and a ray, B A are drawn above the line.], alt: "A line with four points, A, B, C, and D marked on it. A line segment, C D, and a ray, B A are drawn above the line.", caption: none) ] ] === Planes A #strong[plane,] as defined by Euclid, is a “surface which lies evenly with the straight lines on itself.” A plane is a two-dimensional surface with infinite length and width, and no thickness. We also identify a plane by three noncollinear points, or points that do not lie on the same line. Think of a piece of paper, but one that has infinite length, infinite width, and no thickness. However, not all planes must extend infinitely. Sometimes a plane has a limited area. We usually label planes with a single capital letter, such as Plane #math.equation(block: false, alt: "P")[$P$], as shown in , or by all points that determine the edges of a plane. In the following figure, Plane #math.equation(block: false, alt: "P")[$P$] contains points #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$], which are on the same line, and point #math.equation(block: false, alt: "C")[$C$], which is not on that line. By definition, #math.equation(block: false, alt: "P")[$P$] is a plane. We can move laterally in any direction on a plane. #figure( stdfig([#cetz.canvas({ import cetz.draw: * line((126.50pt, 102.00pt), (149.50pt, 102.00pt), stroke: 0.7pt + black) circle((126.50pt, 102.00pt), radius: 3.0pt, fill: black, stroke: none) content((126.50pt, 112.00pt), anchor: "south", text(size: 8pt)[A]) circle((149.50pt, 102.00pt), radius: 3.0pt, fill: black, stroke: none) content((149.50pt, 112.00pt), anchor: "south", text(size: 8pt)[B]) circle((138.00pt, 119.00pt), radius: 3.0pt, fill: black, stroke: none) content((143.00pt, 124.00pt), anchor: "south-west", text(size: 8pt)[C]) line((0.00pt, 85.00pt), (234.00pt, 85.00pt), stroke: 0.7pt + black, mark: (end: ">", fill: black, size: 0.18)) line((115.00pt, 0.00pt), (115.00pt, 174.00pt), stroke: 0.7pt + black, mark: (end: ">", fill: black, size: 0.18)) line((0.00pt, 85.00pt), (0.00pt, 82.00pt), stroke: 0.5pt + black) content((0.00pt, 80.00pt), anchor: "north", text(size: 8pt)[−10]) line((11.50pt, 85.00pt), (11.50pt, 82.00pt), stroke: 0.5pt + black) content((11.50pt, 80.00pt), anchor: "north", text(size: 8pt)[−9]) line((23.00pt, 85.00pt), (23.00pt, 82.00pt), stroke: 0.5pt + black) content((23.00pt, 80.00pt), anchor: "north", text(size: 8pt)[−8]) line((34.50pt, 85.00pt), (34.50pt, 82.00pt), stroke: 0.5pt + black) content((34.50pt, 80.00pt), anchor: "north", text(size: 8pt)[−7]) line((46.00pt, 85.00pt), (46.00pt, 82.00pt), stroke: 0.5pt + black) content((46.00pt, 80.00pt), anchor: "north", text(size: 8pt)[−6]) line((57.50pt, 85.00pt), (57.50pt, 82.00pt), stroke: 0.5pt + black) content((57.50pt, 80.00pt), anchor: "north", text(size: 8pt)[−5]) line((69.00pt, 85.00pt), (69.00pt, 82.00pt), stroke: 0.5pt + black) content((69.00pt, 80.00pt), anchor: "north", text(size: 8pt)[−4]) line((80.50pt, 85.00pt), (80.50pt, 82.00pt), stroke: 0.5pt + black) content((80.50pt, 80.00pt), anchor: "north", text(size: 8pt)[−3]) line((92.00pt, 85.00pt), (92.00pt, 82.00pt), stroke: 0.5pt + black) content((92.00pt, 80.00pt), anchor: "north", text(size: 8pt)[−2]) line((103.50pt, 85.00pt), (103.50pt, 82.00pt), stroke: 0.5pt + black) content((103.50pt, 80.00pt), anchor: "north", text(size: 8pt)[−1]) line((126.50pt, 85.00pt), (126.50pt, 82.00pt), stroke: 0.5pt + black) content((126.50pt, 80.00pt), anchor: "north", text(size: 8pt)[1]) line((138.00pt, 85.00pt), (138.00pt, 82.00pt), stroke: 0.5pt + black) content((138.00pt, 80.00pt), anchor: "north", text(size: 8pt)[2]) line((149.50pt, 85.00pt), (149.50pt, 82.00pt), stroke: 0.5pt + black) content((149.50pt, 80.00pt), anchor: "north", text(size: 8pt)[3]) line((161.00pt, 85.00pt), (161.00pt, 82.00pt), stroke: 0.5pt + black) content((161.00pt, 80.00pt), anchor: "north", text(size: 8pt)[4]) line((172.50pt, 85.00pt), (172.50pt, 82.00pt), stroke: 0.5pt + black) content((172.50pt, 80.00pt), anchor: "north", text(size: 8pt)[5]) line((184.00pt, 85.00pt), (184.00pt, 82.00pt), stroke: 0.5pt + black) content((184.00pt, 80.00pt), anchor: "north", text(size: 8pt)[6]) line((195.50pt, 85.00pt), (195.50pt, 82.00pt), stroke: 0.5pt + black) content((195.50pt, 80.00pt), anchor: "north", text(size: 8pt)[7]) line((207.00pt, 85.00pt), (207.00pt, 82.00pt), stroke: 0.5pt + black) content((207.00pt, 80.00pt), anchor: "north", text(size: 8pt)[8]) line((218.50pt, 85.00pt), (218.50pt, 82.00pt), stroke: 0.5pt + black) content((218.50pt, 80.00pt), anchor: "north", text(size: 8pt)[9]) line((230.00pt, 85.00pt), (230.00pt, 82.00pt), stroke: 0.5pt + black) content((230.00pt, 80.00pt), anchor: "north", text(size: 8pt)[10]) line((112.00pt, 0.00pt), (115.00pt, 0.00pt), stroke: 0.5pt + black) content((110.00pt, 0.00pt), anchor: "east", text(size: 8pt)[−10]) line((112.00pt, 8.50pt), (115.00pt, 8.50pt), stroke: 0.5pt + black) content((110.00pt, 8.50pt), anchor: "east", text(size: 8pt)[−9]) line((112.00pt, 17.00pt), (115.00pt, 17.00pt), stroke: 0.5pt + black) content((110.00pt, 17.00pt), anchor: "east", text(size: 8pt)[−8]) line((112.00pt, 25.50pt), (115.00pt, 25.50pt), stroke: 0.5pt + black) content((110.00pt, 25.50pt), anchor: "east", text(size: 8pt)[−7]) line((112.00pt, 34.00pt), (115.00pt, 34.00pt), stroke: 0.5pt + black) content((110.00pt, 34.00pt), anchor: "east", text(size: 8pt)[−6]) line((112.00pt, 42.50pt), (115.00pt, 42.50pt), stroke: 0.5pt + black) content((110.00pt, 42.50pt), anchor: "east", text(size: 8pt)[−5]) line((112.00pt, 51.00pt), (115.00pt, 51.00pt), stroke: 0.5pt + black) content((110.00pt, 51.00pt), anchor: "east", text(size: 8pt)[−4]) line((112.00pt, 59.50pt), (115.00pt, 59.50pt), stroke: 0.5pt + black) content((110.00pt, 59.50pt), anchor: "east", text(size: 8pt)[−3]) line((112.00pt, 68.00pt), (115.00pt, 68.00pt), stroke: 0.5pt + black) content((110.00pt, 68.00pt), anchor: "east", text(size: 8pt)[−2]) line((112.00pt, 76.50pt), (115.00pt, 76.50pt), stroke: 0.5pt + black) content((110.00pt, 76.50pt), anchor: "east", text(size: 8pt)[−1]) line((112.00pt, 93.50pt), (115.00pt, 93.50pt), stroke: 0.5pt + black) content((110.00pt, 93.50pt), anchor: "east", text(size: 8pt)[1]) line((112.00pt, 102.00pt), (115.00pt, 102.00pt), stroke: 0.5pt + black) content((110.00pt, 102.00pt), anchor: "east", text(size: 8pt)[2]) line((112.00pt, 110.50pt), (115.00pt, 110.50pt), stroke: 0.5pt + black) content((110.00pt, 110.50pt), anchor: "east", text(size: 8pt)[3]) line((112.00pt, 119.00pt), (115.00pt, 119.00pt), stroke: 0.5pt + black) content((110.00pt, 119.00pt), anchor: "east", text(size: 8pt)[4]) line((112.00pt, 127.50pt), (115.00pt, 127.50pt), stroke: 0.5pt + black) content((110.00pt, 127.50pt), anchor: "east", text(size: 8pt)[5]) line((112.00pt, 136.00pt), (115.00pt, 136.00pt), stroke: 0.5pt + black) content((110.00pt, 136.00pt), anchor: "east", text(size: 8pt)[6]) line((112.00pt, 144.50pt), (115.00pt, 144.50pt), stroke: 0.5pt + black) content((110.00pt, 144.50pt), anchor: "east", text(size: 8pt)[7]) line((112.00pt, 153.00pt), (115.00pt, 153.00pt), stroke: 0.5pt + black) content((110.00pt, 153.00pt), anchor: "east", text(size: 8pt)[8]) line((112.00pt, 161.50pt), (115.00pt, 161.50pt), stroke: 0.5pt + black) content((110.00pt, 161.50pt), anchor: "east", text(size: 8pt)[9]) line((112.00pt, 170.00pt), (115.00pt, 170.00pt), stroke: 0.5pt + black) content((110.00pt, 170.00pt), anchor: "east", text(size: 8pt)[10]) })]), alt: "A plane P with a horizontal axis and a vertical axis. Two points, A and B are on the same line. A point, C is not on the line.", caption: [Plane #math.equation(block: false, alt: "P")[$P$]], ) One way to think of a plane is the Cartesian coordinate system with the #math.equation(block: false, alt: "x")[$x$]-axis marked off in horizontal units, and #math.equation(block: false, alt: "y")[$y$]-axis marked off in vertical units. In the Cartesian plane, we can identify the different types of lines as they are positioned in the system, as well as their locations. #figure( stdfig([#cetz.canvas({ import cetz.draw: * line((95.83pt, 61.82pt), (191.67pt, 108.18pt), stroke: 0.7pt + black) content((139.83pt, 93.10pt), anchor: "south", text(size: 9pt)[T R]) circle((57.50pt, 139.09pt), radius: 3.0pt, fill: black, stroke: none) content((62.50pt, 144.09pt), anchor: "south-west", text(size: 8pt)[S]) line((0.00pt, 77.27pt), (234.00pt, 77.27pt), stroke: 0.7pt + black, mark: (end: ">", fill: black, size: 0.18)) line((115.00pt, 0.00pt), (115.00pt, 174.00pt), stroke: 0.7pt + black, mark: (end: ">", fill: black, size: 0.18)) line((0.00pt, 77.27pt), (0.00pt, 74.27pt), stroke: 0.5pt + black) content((0.00pt, 72.27pt), anchor: "north", text(size: 8pt)[−6]) line((19.17pt, 77.27pt), (19.17pt, 74.27pt), stroke: 0.5pt + black) content((19.17pt, 72.27pt), anchor: "north", text(size: 8pt)[−5]) line((38.33pt, 77.27pt), (38.33pt, 74.27pt), stroke: 0.5pt + black) content((38.33pt, 72.27pt), anchor: "north", text(size: 8pt)[−4]) line((57.50pt, 77.27pt), (57.50pt, 74.27pt), stroke: 0.5pt + black) content((57.50pt, 72.27pt), anchor: "north", text(size: 8pt)[−3]) line((76.67pt, 77.27pt), (76.67pt, 74.27pt), stroke: 0.5pt + black) content((76.67pt, 72.27pt), anchor: "north", text(size: 8pt)[−2]) line((95.83pt, 77.27pt), (95.83pt, 74.27pt), stroke: 0.5pt + black) content((95.83pt, 72.27pt), anchor: "north", text(size: 8pt)[−1]) line((134.17pt, 77.27pt), (134.17pt, 74.27pt), stroke: 0.5pt + black) content((134.17pt, 72.27pt), anchor: "north", text(size: 8pt)[1]) line((153.33pt, 77.27pt), (153.33pt, 74.27pt), stroke: 0.5pt + black) content((153.33pt, 72.27pt), anchor: "north", text(size: 8pt)[2]) line((172.50pt, 77.27pt), (172.50pt, 74.27pt), stroke: 0.5pt + black) content((172.50pt, 72.27pt), anchor: "north", text(size: 8pt)[3]) line((191.67pt, 77.27pt), (191.67pt, 74.27pt), stroke: 0.5pt + black) content((191.67pt, 72.27pt), anchor: "north", text(size: 8pt)[4]) line((210.83pt, 77.27pt), (210.83pt, 74.27pt), stroke: 0.5pt + black) content((210.83pt, 72.27pt), anchor: "north", text(size: 8pt)[5]) line((230.00pt, 77.27pt), (230.00pt, 74.27pt), stroke: 0.5pt + black) content((230.00pt, 72.27pt), anchor: "north", text(size: 8pt)[6]) line((112.00pt, 0.00pt), (115.00pt, 0.00pt), stroke: 0.5pt + black) content((110.00pt, 0.00pt), anchor: "east", text(size: 8pt)[−5]) line((112.00pt, 15.45pt), (115.00pt, 15.45pt), stroke: 0.5pt + black) content((110.00pt, 15.45pt), anchor: "east", text(size: 8pt)[−4]) line((112.00pt, 30.91pt), (115.00pt, 30.91pt), stroke: 0.5pt + black) content((110.00pt, 30.91pt), anchor: "east", text(size: 8pt)[−3]) line((112.00pt, 46.36pt), (115.00pt, 46.36pt), stroke: 0.5pt + black) content((110.00pt, 46.36pt), anchor: "east", text(size: 8pt)[−2]) line((112.00pt, 61.82pt), (115.00pt, 61.82pt), stroke: 0.5pt + black) content((110.00pt, 61.82pt), anchor: "east", text(size: 8pt)[−1]) line((112.00pt, 92.73pt), (115.00pt, 92.73pt), stroke: 0.5pt + black) content((110.00pt, 92.73pt), anchor: "east", text(size: 8pt)[1]) line((112.00pt, 108.18pt), (115.00pt, 108.18pt), stroke: 0.5pt + black) content((110.00pt, 108.18pt), anchor: "east", text(size: 8pt)[2]) line((112.00pt, 123.64pt), (115.00pt, 123.64pt), stroke: 0.5pt + black) content((110.00pt, 123.64pt), anchor: "east", text(size: 8pt)[3]) line((112.00pt, 139.09pt), (115.00pt, 139.09pt), stroke: 0.5pt + black) content((110.00pt, 139.09pt), anchor: "east", text(size: 8pt)[4]) line((112.00pt, 154.55pt), (115.00pt, 154.55pt), stroke: 0.5pt + black) content((110.00pt, 154.55pt), anchor: "east", text(size: 8pt)[5]) line((112.00pt, 170.00pt), (115.00pt, 170.00pt), stroke: 0.5pt + black) content((110.00pt, 170.00pt), anchor: "east", text(size: 8pt)[6]) })]), alt: "A point and a line segment are graphed on an x y coordinate grid. The x-axis ranges from negative 6 to 6, in increments of 1. The y-axis ranges from negative 5 to 6, in increments of 1. The point, S is marked at (negative 3, 4). The line segment, T R begins at T (negative 1, negative 1) and R (4, 2).", caption: [Cartesian Coordinate Plane], ) This plane contains points #math.equation(block: false, alt: "S")[$S$], #math.equation(block: false, alt: "T")[$T$], and #math.equation(block: false, alt: "R")[$R$]. Points #math.equation(block: false, alt: "T")[$T$] and #math.equation(block: false, alt: "R")[$R$] are colinear and form a line segment. Point #math.equation(block: false, alt: "S")[$S$] is not on that line segment. Therefore, this represents a plane. To give the location of a point on the Cartesian plane, remember that the first number in the ordered pair is the horizontal move and the second number is the vertical move. Point #math.equation(block: false, alt: "R")[$R$] is located at #math.equation(block: false, alt: "open parenthesis 4 , 2 close parenthesis ;")[$( 4 , 2 ) ;$] point #math.equation(block: false, alt: "S")[$S$] is located at #math.equation(block: false, alt: "open parenthesis minus 3 , 4 close parenthesis ;")[$( − 3 , 4 ) ;$] and point #math.equation(block: false, alt: "T")[$T$] is located at #math.equation(block: false, alt: "open parenthesis minus 1 , minus 1 close parenthesis .")[$( − 1 , − 1 ) .$] We can also identify the line segment as #math.equation(block: false, alt: "T R ¯ .")[$overline(T R) .$] Two other concepts to note: Parallel planes do not intersect and the intersection of two planes is a straight line. The equation of that line of intersection is left to a study of three-dimensional space. #figure(figph[Two parallel horizontal planes and two perpendicular planes.], alt: "Two parallel horizontal planes and two perpendicular planes.", caption: [Parallel and Intersecting Planes]) To summarize, some of the properties of planes include: - Three points including at least one noncollinear point determine a plane. - A line and a point not on the line determine a plane. - The intersection of two distinct planes is a straight line. #examplebox("Example 5")[Identifying a Plane][ For the following exercises, refer to #figure( stdfig([#cetz.canvas({ import cetz.draw: * merge-path(stroke: 0.9pt + black, fill: none, { line((88.46pt, 52.31pt), (53.08pt, 104.62pt)) line((53.08pt, 104.62pt), (35.38pt, 130.77pt)) }) content((39.38pt, 130.77pt), anchor: "west", text(size: 9pt)[C B]) line((194.62pt, 130.77pt), (141.54pt, 104.62pt), stroke: 0.7pt + black) content((164.10pt, 125.77pt), anchor: "south", text(size: 9pt)[A D]) circle((194.62pt, 130.77pt), radius: 3.0pt, fill: black, stroke: none) content((190.20pt, 139.74pt), anchor: "south-east", text(size: 8pt)[A]) circle((141.54pt, 104.62pt), radius: 3.0pt, fill: black, stroke: none) content((137.12pt, 113.59pt), anchor: "south-east", text(size: 8pt)[D]) circle((88.46pt, 52.31pt), radius: 3.0pt, fill: black, stroke: none) content((96.74pt, 57.91pt), anchor: "south-west", text(size: 8pt)[C]) circle((53.08pt, 104.62pt), radius: 3.0pt, fill: black, stroke: none) content((61.36pt, 110.22pt), anchor: "south-west", text(size: 8pt)[B]) circle((35.38pt, 130.77pt), radius: 3.0pt, fill: black, stroke: none) line((0.00pt, 91.54pt), (234.00pt, 91.54pt), stroke: 0.7pt + black, mark: (end: ">", fill: black, size: 0.18)) line((123.85pt, 0.00pt), (123.85pt, 174.00pt), stroke: 0.7pt + black, mark: (end: ">", fill: black, size: 0.18)) line((0.00pt, 91.54pt), (0.00pt, 88.54pt), stroke: 0.5pt + black) content((0.00pt, 86.54pt), anchor: "north", text(size: 8pt)[−7]) line((17.69pt, 91.54pt), (17.69pt, 88.54pt), stroke: 0.5pt + black) content((17.69pt, 86.54pt), anchor: "north", text(size: 8pt)[−6]) line((35.38pt, 91.54pt), (35.38pt, 88.54pt), stroke: 0.5pt + black) content((35.38pt, 86.54pt), anchor: "north", text(size: 8pt)[−5]) line((53.08pt, 91.54pt), (53.08pt, 88.54pt), stroke: 0.5pt + black) content((53.08pt, 86.54pt), anchor: "north", text(size: 8pt)[−4]) line((70.77pt, 91.54pt), (70.77pt, 88.54pt), stroke: 0.5pt + black) content((70.77pt, 86.54pt), anchor: "north", text(size: 8pt)[−3]) line((88.46pt, 91.54pt), (88.46pt, 88.54pt), stroke: 0.5pt + black) content((88.46pt, 86.54pt), anchor: "north", text(size: 8pt)[−2]) line((106.15pt, 91.54pt), (106.15pt, 88.54pt), stroke: 0.5pt + black) content((106.15pt, 86.54pt), anchor: "north", text(size: 8pt)[−1]) line((141.54pt, 91.54pt), (141.54pt, 88.54pt), stroke: 0.5pt + black) content((141.54pt, 86.54pt), anchor: "north", text(size: 8pt)[1]) line((159.23pt, 91.54pt), (159.23pt, 88.54pt), stroke: 0.5pt + black) content((159.23pt, 86.54pt), anchor: "north", text(size: 8pt)[2]) line((176.92pt, 91.54pt), (176.92pt, 88.54pt), stroke: 0.5pt + black) content((176.92pt, 86.54pt), anchor: "north", text(size: 8pt)[3]) line((194.62pt, 91.54pt), (194.62pt, 88.54pt), stroke: 0.5pt + black) content((194.62pt, 86.54pt), anchor: "north", text(size: 8pt)[4]) line((212.31pt, 91.54pt), (212.31pt, 88.54pt), stroke: 0.5pt + black) content((212.31pt, 86.54pt), anchor: "north", text(size: 8pt)[5]) line((230.00pt, 91.54pt), (230.00pt, 88.54pt), stroke: 0.5pt + black) content((230.00pt, 86.54pt), anchor: "north", text(size: 8pt)[6]) line((120.85pt, 0.00pt), (123.85pt, 0.00pt), stroke: 0.5pt + black) content((118.85pt, 0.00pt), anchor: "east", text(size: 8pt)[−7]) line((120.85pt, 13.08pt), (123.85pt, 13.08pt), stroke: 0.5pt + black) content((118.85pt, 13.08pt), anchor: "east", text(size: 8pt)[−6]) line((120.85pt, 26.15pt), (123.85pt, 26.15pt), stroke: 0.5pt + black) content((118.85pt, 26.15pt), anchor: "east", text(size: 8pt)[−5]) line((120.85pt, 39.23pt), (123.85pt, 39.23pt), stroke: 0.5pt + black) content((118.85pt, 39.23pt), anchor: "east", text(size: 8pt)[−4]) line((120.85pt, 52.31pt), (123.85pt, 52.31pt), stroke: 0.5pt + black) content((118.85pt, 52.31pt), anchor: "east", text(size: 8pt)[−3]) line((120.85pt, 65.38pt), (123.85pt, 65.38pt), stroke: 0.5pt + black) content((118.85pt, 65.38pt), anchor: "east", text(size: 8pt)[−2]) line((120.85pt, 78.46pt), (123.85pt, 78.46pt), stroke: 0.5pt + black) content((118.85pt, 78.46pt), anchor: "east", text(size: 8pt)[−1]) line((120.85pt, 104.62pt), (123.85pt, 104.62pt), stroke: 0.5pt + black) content((118.85pt, 104.62pt), anchor: "east", text(size: 8pt)[1]) line((120.85pt, 117.69pt), (123.85pt, 117.69pt), stroke: 0.5pt + black) content((118.85pt, 117.69pt), anchor: "east", text(size: 8pt)[2]) line((120.85pt, 130.77pt), (123.85pt, 130.77pt), stroke: 0.5pt + black) content((118.85pt, 130.77pt), anchor: "east", text(size: 8pt)[3]) line((120.85pt, 143.85pt), (123.85pt, 143.85pt), stroke: 0.5pt + black) content((118.85pt, 143.85pt), anchor: "east", text(size: 8pt)[4]) line((120.85pt, 156.92pt), (123.85pt, 156.92pt), stroke: 0.5pt + black) content((118.85pt, 156.92pt), anchor: "east", text(size: 8pt)[5]) line((120.85pt, 170.00pt), (123.85pt, 170.00pt), stroke: 0.5pt + black) content((118.85pt, 170.00pt), anchor: "east", text(size: 8pt)[6]) })]), alt: "A ray and a line segment are graphed on an x y coordinate plane. The x-axis ranges from negative 7 to 6, in increments of 1. The y-axis ranges from negative 7 to 6, in increments of 1. The line segment, A D begins at A (4, 3) and D (1, 1). The ray, C B passes through the points, C (negative 2, negative 3), B (negative 4, 1), and (negative 5, 3).", caption: none, ) + Identify the location of points #math.equation(block: false, alt: "A")[$A$], #math.equation(block: false, alt: "B")[$B$], #math.equation(block: false, alt: "C")[$C$], and #math.equation(block: false, alt: "D")[$D$]. + Describe the line from point #math.equation(block: false, alt: "A")[$A$] to point #math.equation(block: false, alt: "D")[$D$]. + Describe the line from point #math.equation(block: false, alt: "C")[$C$] containing point #math.equation(block: false, alt: "B")[$B$]. + Does this figure represent a plane? #solutionbox[ + Point #math.equation(block: false, alt: "A")[$A$] is located at #math.equation(block: false, alt: "open parenthesis 4 , 3 close parenthesis ;")[$( 4 , 3 ) ;$] point #math.equation(block: false, alt: "B")[$B$] is located at #math.equation(block: false, alt: "open parenthesis minus 4 , 1 close parenthesis ;")[$( − 4 , 1 ) ;$] point #math.equation(block: false, alt: "C")[$C$] is located at #math.equation(block: false, alt: "open parenthesis minus 2 , minus 3 close parenthesis ;")[$( − 2 , − 3 ) ;$] point #math.equation(block: false, alt: "D")[$D$] is located at #math.equation(block: false, alt: "open parenthesis 1 , 1 close parenthesis .")[$( 1 , 1 ) .$] + The line from point #math.equation(block: false, alt: "A")[$A$] to point #math.equation(block: false, alt: "D")[$D$] is a line segment #math.equation(block: false, alt: "A D . ¯")[$overline(A D .)$] + The line from point #math.equation(block: false, alt: "C")[$C$] containing point #math.equation(block: false, alt: "B")[$B$] is a ray #math.equation(block: false, alt: "C B →")[$arrow(C B)$] starting at point #math.equation(block: false, alt: "C")[$C$] in the direction of #math.equation(block: false, alt: "B")[$B$]. + Yes, this figure represents a plane because it contains at least three points, points #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "D")[$D$] form a line segment, and neither point #math.equation(block: false, alt: "B")[$B$] nor point #math.equation(block: false, alt: "C")[$C$] is on that line segment. ] ] #examplebox("Example 6")[Intersecting Planes][ Name two pairs of intersecting planes on the shower enclosure illustration . #figure(figph[An illustration shows three planes, A B C D, C D E F, and E F G H. The planes are placed next to each other.], alt: "An illustration shows three planes, A B C D, C D E F, and E F G H. The planes are placed next to each other.", caption: none) #solutionbox[ The plane #math.equation(block: false, alt: "ABCD")[$italic("ABCD")$] intersects plane #math.equation(block: false, alt: "CDEF")[$italic("CDEF")$], and plane #math.equation(block: false, alt: "CDEF")[$italic("CDEF")$] intersects plane #math.equation(block: false, alt: "EFGH")[$italic("EFGH")$]. ] ] #notebox("People in Mathematics", rgb("#183B6F"), rgb("#183B6F"), rgb("#EFF1F5"))[ #emph[Plato] Part of a remarkable chain of Greek mathematicians, Plato (427–347 BC) is known as the teacher. He was responsible for shaping the development of Western thought perhaps more powerfully than anyone of his time. One of his greatest achievements was the founding of the Academy in Athens where he emphasized the study of geometry. Geometry was considered by the Greeks to be the “ultimate human endeavor.” Above the doorway to the Academy, an inscription read, “Let no one ignorant of geometry enter here.” The curriculum of the Academy was a 15-year program. The students studied the exact sciences for the first 10 years. Plato believed that this was the necessary foundation for preparing students’ minds to study relationships that require abstract thinking. The next 5 years were devoted to the study of the “dialectic.” The dialectic is the art of question and answer. In Plato’s view, this skill was critical to the investigation and demonstration of innate mathematical truths. By training young students how to prove propositions and test hypotheses, he created a culture in which the systematic process was guaranteed. The Academy was essentially the world’s first university and held the reputation as the ultimate center of learning for more than 900 years. ] === Key Terms - line segment - plane - union - intersection - parallel - perpendicular === Key Concepts - Modern-day geometry began in approximately 300 BCE with Euclid’s #emph[Elements], where he defined the principles associated with the line, the point, and the plane. - Parallel lines have the same slope. Perpendicular lines have slopes that are negative reciprocals of each other. - The union of two sets, #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$], contains all points that are in both sets and is symbolized as #math.equation(block: false, alt: "A union B .")[$A ∪ B .$] - The intersection of two sets #math.equation(block: false, alt: "A")[$A$] and #math.equation(block: false, alt: "B")[$B$] includes only the points common to both sets and is symbolized as #math.equation(block: false, alt: "A intersection B .")[$A ∩ B .$]