Proposition 9: To bisect a given rectilinear angle.
Loading the math board and drawing, please wait…
In collections
Introduction to Euclidean Constructions
This GeoGebra example demonstrates Proposition 9 from Euclid's elements: how to bisect a given rectilinear angle using classical geometric construction. The core mathematical concepts include angle bisection, rectilinear angles, and the properties of congruent triangles and equilateral constructions. The construction utilizes the Segment command to define key points A, B, C and auxiliary lines f, g, visually showing how the intersection of geometric loci yields the exact bisector. It is ideal for high school geometry courses, teachers demonstrating Euclidean proofs, and students learning the fundamentals of ruler-and-compass constructions.
GeoGebra Commands & Parameters
Segment(A, B) → fSegment(A, C) → g
AI Drawing Prompt Reference
Draw a rectilinear angle with a common vertex and two sides represented by line segments. On each side mark points at equal distances from the vertex, then using those points as centers draw arcs of the same radius so that the arcs intersect. Connect the vertex to the intersection point of the arcs; this line is the angle bisector constructed with ruler and compass.
The prompt above was compiled from the original drawing commands and is for reference only.