Perpendicular lines (also known as orthogonal lines) are a pleasure to work with, because they make things 'right'. There are several cases in which having a right angle greatly simplifies the problem. A simple application of right angles is the Pythagorean Theorem, which states that in a right triangle , where is the length of the hypotenuse and and are the lengths of the legs, then . This is a formula that everyone should be familiar with.
Another useful fact about perpendicular lines is that if we know that two triangles are right-angled, then the 'SSA similar triangles' hold. The reason for this, is that the ambiguous Sine Rule case is now ruled out.
In coordinate geometry, another useful property is that 2 lines are perpendicular if and only if the slope of one is the negative reciprocal of the other (ignoring case where slope = 0). Note that graphing would not help with determining perpendicular lines, unless an accurate diagram is drawn to scale.
The idea of orthogonality also extends to other areas of math, especially in Linear Algebra and Vector Spaces. For example, we say that 2 vectors are perpendicular if their dot product is 0, i.e. , which generalizes to dimensions.
If is perpendicular to , and is perpendicular to , then points and lie on the same line.
If points and lie on the same side of , then since , hence and lie on the same line. This doesn't require the angle to be right. If points and lie on opposite sides of , then since , hence is a straight line.
is a right angled triangle with . From , drop a perpendicular to intersecting at . Show that triangles are similar. Hence show that .
By angle chasing, . Similarly, . Thus, by PPP, these three triangles are similar. By similarity, , which gives .
Show that if and only if . There is no requirement that line segments and intersect.
This problem is better presented using vector notation. Let the origin be (doesn't matter where). Let the points have position vectors . Then, . . . .
Hence, , which shows that if and only if .
Note: Students who are unfamiliar with vectors should prove this statement using the Cosine Rule (which is actually what we're using). Slight care has to be taken with regards to where intersects .