Perpendicular Bisector - Transcript Notes

Perpendicular Bisector Exercise

• Context from transcript: Aimed at splitting a line segment exactly in half with a line that intersects at a right angle.
• Presenter: Brandon Villarreal
• Key goal: Find a line that perfectly bisects a line segment AB and is perpendicular to AB.

Core concepts

• Endpoints of the segment: A and B (End Point of line segment AB).
• The line through the two intersection points of two circles constructed around A and B will bisect AB and be perpendicular to AB.
• Two circles construction insight: The two circles intersect at two distinct points; the line through these two points is the perpendicular bisector of AB.
• Resulting line properties:
  • It splits AB into two equal lengths at the midpoint M.
  • It crosses AB at a right angle (AB ⟂ PQ, where PQ is the line through the circle intersections).
  • All points on the perpendicular bisector are equidistant from A and B (XA = XB for any X on the line).

Notation and setup

• Segment AB with endpoints A and B.
• Midpoint of AB: M, satisfying AM = MB.
• Intersections: The circles intersect at two points, call them P and Q.
• Perpendicular bisector: The line PQ passes through M and is perpendicular to AB.

Construction steps (compass-and-straightedge idea)

• Step 1: Draw a circle centered at A with radius r, where r > AB/2.
• Step 2: Draw a circle centered at B with the same radius r.
• Step 3: The two circles intersect at two points P and Q.
• Step 4: Draw the line through P and Q; this line is the perpendicular bisector of AB.
• Step 5: The intersection point of PQ with AB is the midpoint M of AB (AM = MB).

Geometric rationale

• Since P and Q lie on both circles, AP = BP = r and AQ = BQ = r, so P and Q are each equidistant from A and B.
• The line PQ is the locus of points equidistant from A and B, hence PQ is perpendicular to AB and passes through M.
• Therefore, any point on PQ satisfies |XA| = |XB|, and AB is bisected at M by the line PQ.

Fundamental properties and implications

• Perpendicular bisector definition: A line that passes through the midpoint of a segment and is perpendicular to that segment.
• Locus property: The perpendicular bisector is the set of all points equidistant from A and B, i.e., $ext{For any } X ext{ on the perpendicular bisector, } |XA| = |XB|.$
• If AB has endpoints A(xA, yA) and B(xB, yB) in coordinates, then:
  • Midpoint: $M = \left( \frac{x<em>A + x</em>B}{2}, \frac{y<em>A + y</em>B}{2} \right)$
  • Slope of AB: $m<em>{AB} = \frac{y</em>B - y<em>A}{x</em>B - x<em>A} \quad (\text{if } x</em>B \neq x_A)$
  • Slope of perpendicular bisector: $m<em>{ ext{perp}} = -\frac{1}{m</em>{AB}}$
  • Equation of the perpendicular bisector through M (when AB is not vertical): $y - y<em>M = m</em>{ ext{perp}} (x - x_M)$
• Algebraic form of the perpendicular bisector (derived from equal distances):
  • Start with $(x - x<em>A)^2 + (y - y</em>A)^2 = (x - x<em>B)^2 + (y - y</em>B)^2$
  • Simplify to a linear equation in x and y: $2(x<em>B - x</em>A) x + 2(y<em>B - y</em>A) y + (x<em>A^2 + y</em>A^2 - x<em>B^2 - y</em>B^2) = 0$

Hypothetical example (illustrative)

• Let A = (0, 0) and B = (4, 0).
• Choose r > AB/2 = 2, e.g., r = 3.
• Circles: Centered at A and B with radius 3 intersect at P and Q, which are at (2, √5) and (2, -√5).
• Line through P and Q is x = 2, which is the perpendicular bisector of AB.
• Midpoint M is (2, 0); indeed AM = MB = 2.

Real-world relevance and connections

• Foundational construction in Euclidean geometry; essential for creating right angles and midpoints in geometric designs.
• Builds intuition for symmetry: the perpendicular bisector is the axis of symmetry for the segment AB.
• Practical applications: drafting, engineering, computer graphics, and any task requiring precise right-angle bisectors.

Summary of key points

• The perpendicular bisector of AB can be constructed by drawing two equal circles centered at A and B; their intersections P and Q define the line PQ, which is perpendicular to AB and passes through its midpoint M.
• PQ is the locus of points equidistant from A and B: for any X on PQ, $|XA| = |XB|$.
• In coordinates, the midpoint is $M = \left( \frac{x<em>A + x</em>B}{2}, \frac{y<em>A + y</em>B}{2} \right)$ and the perpendicular bisector has a slope that is the negative reciprocal of AB’s slope (when defined), with equation passing through M.