Proposition 12: Perpendicular from a Point to a Line
Loading the math board and drawing, please wait…
In collections
Introduction to Euclidean Constructions
This GeoGebra example demonstrates Euclid's Proposition 12: constructing a straight line perpendicular to a given infinite straight line from a given point not on it. The core mathematical concepts include perpendicularity, right angles, the shortest distance from a point to a line, and classical Euclidean geometric construction. The construction uses the GeoGebra Line command with point objects A and B defining the given line f, and an external point C from which the perpendicular is drawn. It is suitable for middle school geometry lessons on parallel and perpendicular lines, high school analytic geometry introductions, and classroom demonstrations or independent student exploration of geometric constructions.
GeoGebra Commands & Parameters
Line(A, B) → f
AI Drawing Prompt Reference
Draw an infinite straight line defined by two points, then choose a point not on the line. From that external point construct a perpendicular line to the original line so that they intersect at a right angle. Mark the foot of the perpendicular, forming a right triangle that illustrates the shortest distance from the point to the line and demonstrates the classical Euclidean construction of a perpendicular from a point to a line.
The prompt above was compiled from the original drawing commands and is for reference only.