Perpendicular
This article does not cite any references or sources. (December 2011) |
Geometry |
---|
![]() Oxyrhynchus papyrus (P.Oxy. I 29) showing fragment of Euclid's Elements
|
History of geometry |
Research areas
|
Important concepts
Point · Line · Perpendicular · Parallel · Line segment · Ray · Plane · Length · Area · Volume · Vertex · Angle · Congruence · Similarity · Polygon · Triangle · Altitude · Hypotenuse · Pythagorean theorem · Quadrilateral · Trapezoid · Kite · Parallelogram (Rhomboid, Rectangle, Rhombus, Square) · Diagonal · Symmetry · Curve · Circle · Area of a disk · Circumference · Diameter · Cylinder · Sphere · Pyramid · Dimensions (one, two, three, four)
|
Geometers
Aryabhata · Ahmes · Apolonius · Archimedes · Baudhayana · Brahmagupta · Euclid · Pythagoras · Khayyám · Descartes · Pascal · Euler · Gauss · Ibn al-Yasamin · Jyeṣṭhadeva · Kātyāyana · Lobachevsky · Manava · Minggatu · Riemann · Klein · Parameshvara · Poincaré · Sijzi · Hilbert · Minkowski · Cartan · Veblen · Sakabe Kōhan · Gromov · Atiyah · Virasena · Yang Hui · Yasuaki Aida · Zhang Heng
|
In geometry, two lines or planes (or a line and a plane) are considered perpendicular (or orthogonal) to each other if they form congruent adjacent angles (a T-shape). The term may be used as a noun or adjective. Thus, as illustrated, the line AB is the perpendicular to CD through the point B.
By definition, a line is infinitely long, and strictly speaking AB and CD in this example represent line segments of two infinitely long lines. Hence the line segment AB does not have to intersect line segment CD to be considered perpendicular lines, because if the line segments are extended out to infinity, they would still form congruent adjacent angles.
If a line is perpendicular to another as shown, all of the angles created by their intersection are called right angles (right angles measure π/2 radians, or 90°). Conversely, any lines that meet to form right angles are perpendicular.
In a coordinate plane, perpendicular lines have opposite reciprocal slopes, which means that the product of their slopes is -1. A horizontal line has slope equal to zero while the slope of a vertical line is described as undefined or sometimes ±infinity. Two lines that are perpendicular would be denoted as ABCD.
Contents |
[edit] Construction of the perpendicular
To make the perpendicular to the line AB through the point P using compass and straightedge, proceed as follows (see figure):
- Step 1 (red): construct a circle with center at P to create points A' and B' on the line AB, which are equidistant from P.
- Step 2 (green): construct circles centered at A' and B' having equal radius. Let Q and R be the points of intersection of these two circles.
- Step 3 (blue): connect Q and R to construct the desired perpendicular PQ.
To prove that the PQ is perpendicular to AB, use the SSS congruence theorem for ' and QPB' to conclude that angles OPA' and OPB' are equal. Then use the SAS congruence theorem for triangles OPA' and OPB' to conclude that angles POA and POB are equal.
[edit] In relationship to parallel lines
![](https://webarchive.library.unt.edu/web/20130109130848im_/http://upload.wikimedia.org/wikipedia/commons/thumb/b/be/Perpendicular_transversal_v3.svg/200px-Perpendicular_transversal_v3.svg.png)
If two lines (a and b) are both perpendicular to a third line (c), all of the angles formed along the third line are right angles. Therefore, in Euclidean geometry, any two lines that are both perpendicular to a third line are parallel to each other, because of the parallel postulate. Conversely, if one line is perpendicular to a second line, it is also perpendicular to any line parallel to that second line.
In the figure at the right, all of the orange-shaded angles are congruent to each other and all of the green-shaded angles are congruent to each other, because vertical angles are congruent and alternate interior angles formed by a transversal cutting parallel lines are congruent. Therefore, if lines a and b are parallel, any of the following conclusions leads to all of the others:
- One of the angles in the diagram is a right angle.
- One of the orange-shaded angles is congruent to one of the green-shaded angles.
- Line 'c' is perpendicular to line 'a'.
- Line 'c' is perpendicular to line 'b'.
[edit] Perpendicular symbol
The perpendicular symbol is . For example,
indicates that line AB is perpendicular to line CD.
In the Unicode character set, the perpendicular sign has the codepoint U+27C2 and is part of the Miscellaneous Mathematical Symbols-A range. It looks similar to the up tack symbol (U+22A5).
[edit] Graph of functions
In 2-dimension plane, right angles can be formed by two intersected lines which the product of their slopes equals to −1. More precisely, defining two linear functions: y1 = a1x + b1 and y2 = a2x + b2, the graph of the functions will be perpendicular and will make four right angles where the lines intersect if and only if a1a2 = −1. However, this method cannot be used if the slope is zero or undefined (the line is parallel to an axis).
For another method, let the two linear functions: a1x + b1y + c1 = 0 and a2x + b2y + c2 = 0. The lines will be perpendicular if and only if a1a2 + b1b2 = 0. This method is simplified from the dot product (or generally, inner product) of vectors. In particular, two vectors are considered orthogonal if their inner product is zero.
[edit] See also
[edit] External links
- Definition: perpendicular With interactive animation
- How to draw a perpendicular bisector of a line with compass and straight edge Animated demonstration
- How to draw a perpendicular at the endpoint of a ray with compass and straight edge Animated demonstration