# Perpendicular Lines

## Definition

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 $ABC$, where $c$ is the length of the hypotenuse and $a$ and $b$ are the lengths of the legs, then $a^2+b^2= c^2$. 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. $\langle x, y \rangle = 0$, which generalizes to $n$ dimensions.

## Technique

### If $AB$ is perpendicular to $BC$, and $AB$ is perpendicular to $BD$, then points $B, C$ and $D$ lie on the same line.

If points $C$ and $D$ lie on the same side of $AB$, then since $\angle ABC = \angle ABD$, hence $B, C$ and $D$ lie on the same line. This doesn't require the angle to be right. If points $C$ and $D$ lie on opposite sides of $AB$, then since $\angle ABC + \angle ABD = 90^\circ + 90^\circ$, hence $CBD$ is a straight line. $_\square$

### $PQR$ is a right angled triangle with $\angle QPR = 90^\circ$. From $P$, drop a perpendicular to $QR$ intersecting at $S$. Show that triangles $PQR, SQP, SPR$ are similar. Hence show that $SQ \cdot SR = SP^2$.

By angle chasing, $\angle QPS = 90^\circ - \angle PQS = 90^\circ - \angle PQR = \angle QRP$. Similarly, $\angle RPS = 90^\circ - \angle SRP = 90^\circ - \angle QRP = \angle PQR$. Thus, by PPP, these three triangles are similar. By similarity, $\frac {QS}{SP} = \frac {SP}{SR}$, which gives $QS \cdot SR = SP^2$. $_\square$

### Show that $AB \perp CD$ if and only if $AD^2 + BC^2 = AC^2 + BD^2$. There is no requirement that line segments $AB$ and $CD$ intersect.

This problem is better presented using vector notation. Let the origin be $O$ (doesn't matter where). Let the points $A, B, C, D$ have position vectors $\vec{a}, \vec{b}, \vec{c}, \vec{d}$. Then, $AD^2 = \langle a-d, a-d \rangle = |a|^2 + |d|^2 - 2 \langle a,d \rangle$. $BC^2 = \langle b-c, b-c \rangle = |b|^2 + |c|^2 - 2 \langle b,c\rangle$. $AC^2 = \langle a-c, a-c \rangle = |a|^2 + |c|^2 - 2 \langle a,c \rangle$. $BD^2 = \langle b-d,b-d \rangle = |b|^2 + |d|^2 - 2 \langle b,d \rangle$.

Hence, $2 \langle b-a, d-c \rangle = AD^2 + BC^2 - AC^2 - BD^2$, which shows that $AB \perp CD$ if and only if $AD^2 + BC^2 = AC^2 + BD^2$. $_\square$

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 $AB$ intersects $CD$. Note by Arron Kau
5 years, 10 months ago

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

• Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
• Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
• Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. list
1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$ ... $$ or $ ... $ to ensure proper formatting.
2 \times 3 $2 \times 3$
2^{34} $2^{34}$
a_{i-1} $a_{i-1}$
\frac{2}{3} $\frac{2}{3}$
\sqrt{2} $\sqrt{2}$
\sum_{i=1}^3 $\sum_{i=1}^3$
\sin \theta $\sin \theta$
\boxed{123} $\boxed{123}$