Slope and Tan
In the previous derivation, we saw that
if is the angle from a line with slope to a line with slope , then we have
Let's consider a special case: the angle from axis to a line with slope .


The equation of the axis is just , which can be rewritten as ,
so the slope of axis is .
We want the angle from axis to the line with slope ,
so we plug in and , and we get
Let be the angle from axis to a line with slope .
Then .
There's a different, possibly more enlightening way to arrive at this result.
Let's draw a non-vertical line with slope and angle .
Let's also draw a unit circle around a point on the line.
Let be the vector from the center of the unit circle to where the unit circle intersects the line.

From trig (TODO), we know that
On the other hand, is a vector in the direction of the line, so
from this derivation we get
Using slope for trig
This is not only a way to think about slope, but also a way to think about tan:
is the slope of a line with angle .
For example, consider a line with slope , going through for simplicity.
Its equation is , where plugging in reveals that .
Reflecting the line to the other side of the axis gives a line
whose equation is ; that is, .

Mirroring the line flips the sign of the angle, so the slope of the mirrored line is .
On the other hand, we can see from the equation of the line that its slope is ,
so we get
For a more complex example,
consider two lines with angles and .
By the above result, their slopes are and .

Let denote the angle from the line to the line. Then we have
which gives .
On the other hand, we can use the formula for angle between lines to get
where and are slopes. Plugging everything in gives
which is a well-known trig formula.
In fact, the usual way to derive the formula for angle between lines is to
start with the connection between slope and tan (deriving it differently, of course),
and then use the above trig formula to find .
We can get other well-known trig formulas as special cases of this one
(this kind of thing happens a lot in trig).
For example, by choosing , we get
By applying , which we derived above, this simplifies to
which is also a well-known trig formula.