User:Ed g2s/Maths

From Wikipedia, the free encyclopedia
I have put this 'proof' here as an interesting result I stumbled upon a while back. I have never seen it in publication (but then again I don't read too many books), nor have I had an expert check it. The algebra is watertight, but some of my assumptions may require more proof. Nonetheless it is an interesting take on a subject you probably don't give much thought too. (I recommend reading Order 2/Method 2 and Order N) Ed g2s 02:28, 5 Jul 2004 (UTC)

Some functions can be differentiated without the need for Newton's difference quotient and without having to study limits.

By constructing suitable tangent lines, all polynomials can be differentiated.

Order 1[edit]

The gradient of this line is which is therefore the derivative at any point.

Order 2[edit]

Method 1[edit]

Consider a line such that it intersects the quadratic twice at (a double root). This is the tangent to the curve at this point.
Subtracting the two equations will give a quadratic with roots , meaning it will be of the form:
where A is a non-zero constant. We can choose .

The gradient of this line is . This is also the rate of change of the function at the point .
To conclude:

Method 2[edit]

Let us imagine a tangent line that intersects the above quadratic once and only once where . This tangent line will be of the form:
The difference of the two functions:
will be a quadratic that has a double root at

using the quadratic equation:
As is a double root, the discriminant of the equation is equal to zero.
Substituting in from :
Solving this as a quadratic equation in :
Which gradient of the quadratic at . To conclude:

Order 3[edit]

Consider a quadratic such that it intersects the cubic twice at (a double root) and once at . You can think of this quadratic as a tangent curve.
Subtracting the two equations will give a cubic with roots , meaning it will be of the form:
where A is a non-zero constant. We can choose .
Using the result for Order 2 polynomials:
As and share a tangent at
To conclude:

Order N[edit]

To prove differentiation for a general polynomial an inductive proof can be used.
Assume true for :
If we can show it is true for using the above assumption then we will have shown it true for all as we've shown it true for the first few cases.
We need to show that:
differentiates to:
Consider a polynomial order such that it intersects twice at (a double root) and for simplicity the remaining intersections are all at .
Subtracting the two equations will give the following result.
Using the binomial theorem:
Taking out the last term of the sum (where )
As all the terms are now of order or less we can differentiate the expression using the assumption above:
As and share a tangent at
As the entire sum cancels out giving:
By induction we have proved the result
is true for all .