More importantly, do you see the point that Michael is trying to make?
The point that Michael is trying to make is that the definition of slope as we know it is
completely arbitrary. There is no reason that our familiar \( \frac{y_2-y_1}{x_2-x_1} \) should be
the definition for slope. A better way to phrase that is that this formula is
a definition of slope. Vertical lines have an undefined slope not because of anything particularly special or magical about vertical lines. They have undefined slope because
the accepted definition of slope as \( \frac{y_2-y_1}{x_2-x_1} \) happens to assign an undefined number to vertical lines. That is the entire reason.
In fact, I can provide a meaningful definition of slope such that it is still a scalar quantity, still lets us evaluate derivates and integrals and all that fancy awesome stuff, and yet a vertical line has slope -1
And now to put my money where my mouth is. In the rest of this post I will do all of what I claimed in this quote box. For those of you who typically do not read my very long posts then
stop here. If you're a tl;dr forum browser than
FOR YOUR OWN SAKE STOP READING NOW
--------------------------------------------------------------------------------------------
I will now define a new type of slope that is different from our normal definition of slope. I still want it to be related to slope in that as a line changes in steepness, the slope also changes. I also want to make sure that every line has a scalar slope, with the exception of the particular line that
will be assigned the undefined slope based on my definition.
There is nothing special about this particular line. It just gets the short straw in the drawing so to speak.
And now Ladies and Gentlemen I give you:
S-Slope
S-Slope will be defined by the letter S (where we use the letter m for standard slope). I will distinguish between my new S-slope by always calling it S-slope. I will refer to our more well known and loved standard slope by the name m-slope for the letter that usually represents it.
S-Slope is defined by the following formula (by me and because I say so - because slope definitions
are completely arbitrary anyway!):
\( S = \frac{(x_2-x_1)+(y_2-y_1)}{(x_2-x_1)-(y_2-y_1)} \)
Now consider two points on a vertical line. Let's use \( (0,0) \) and \( (0,1) \)
\( S = \frac{(0-0)+(1-0)}{(0-0)-(1-0)} = \frac{1}{-1} = -1 \)
More generally,
any two points \( (a,b) \) and \( (a,c) \) have slope:
\( S = \frac{(a-a)+(c-b)}{(a-a)-(c-b)} = \frac{c-b}{-(c-b)} = \frac{1}{-1} = -1 \)
Therefore vertical lines have slope
-1 using this definition of slope.
----------
Now you may think that this definition of slope is artificially constructed such that it produces this nice result for vertical lines only. In fact, this definition of slope and the regular definition form a bijecton. Essentially this would mean that my definition of slope is
mathematically equivalent, in some sense, to that of regular slope. I can take any slope:
\( m = \frac{b}{a} \) and map it into my definition of slope using the transformation:
\( S = \frac{a+b}{a-b} \)
You would need to use this transformation with the help of limits to map the undefined slope in m-slope to the corresponding slope in S-slope. Similarly with mapping the zero m-slope to the corresponding S-slope.
To prove the bijection you can do the following. It can be shown that S-slope between two points is the m-slope found
after rotating those two points 45 degrees counterclockwise about the origin. This is in fact how I came to the definition of S-slope. A short proof sketch would be to show injection by showing that every S-slope maps to the m-slope of the same line rotated 45 degrees counterclockwise about any point on that line. Every m-slope maps to the S-slope of the line rotated 45 degrees clockwise about any point on that line. To prove surjection I can map onto any specified S-slope by first finding the m-slope of that line rotated 45 degrees counterclockwise about any point on that line. This m-slope will map to the specified S-slope.
Now as to my other claim that my definition of S-slope still let's you do Calculus.
Remember that in Calculus the definition of instantaneous slope at a point can be written more precisely as:
\( \lim_{c \to 0} \frac{f(x+c)-f(x)}{(x+c)-x} \)
You may recognize this as the m-slope between the points \( (x,f(x)) \) and \( (x+c,f(x+c)) \)
So now let's do the same thing, but use S-slope:
The instantaneous S-slope at a point is defined by:
\( \lim_{c \to 0} \frac{[(x+c)-x]+[f(x+c)-f(x)]}{[(x+c)-x]-[f(x+c)-f(x)]} \)
\( \lim_{c \to 0} \frac{c+f(x+c)-f(x)}{c-f(x+c)+f(x)} \)
So now let's look at something familiar, like the Power Rule. Using m-slope, the power rules states that:
\( \frac{d}{dx}(x^n)=n*x^{n-1} \)
We now wish to seek the S-slope Power Rule:
Using the above definition for instantaneous S-slope at a point, let's use \( f(x)=x^n \)
\( \lim_{c \to 0} \frac{c+(x+c)^n-x^n}{c-(x+c)^n+x^n} \)
Expanding this via the binomial theorem gives:
\( \lim_{c \to 0} \frac{c+x^n-x^n+\sum_{i=1}^n \left( \begin{array}{c}n \\i \\\end{array} \right)x^{n-i}c^{i}}{c-x^n+x^n-\sum_{i=1}^n \left( \begin{array}{c}n \\i \\\end{array} \right)x^{n-i}c^{i}} \)
\( \lim_{c \to 0} \frac{1+nx^{n-1}+\sum_{i=2}^n \left( \begin{array}{c}n \\i \\\end{array} \right)x^{n-i}c^{i-1}}{1-nx^{n-1}-\sum_{i=2}^n \left( \begin{array}{c}n \\i \\\end{array} \right)x^{n-i}c^{i-1}} \)
\( \frac{1+nx^{n-1}}{1-nx^{n-1}} \)
And so I give you the S-slope Power Rule for Derivatives
\( \left(\frac{d}{dx}\right)_S x^n = \frac{1+nx^{n-1}}{1-nx^{n-1}} \)
Other calculus concepts could be derived very similarly using the definition of S-slope and standard calculus techniques.
Chris