Derivation of polynoms

  • Thread starter georg gill
  • Start date
  • Tags
    Derivation
In summary, the proof for the derivative of the logarithm does not require the use of derivation rules for polynomials.
  • #1
georg gill
153
6
Does anyone have a different way of explaining derivation of polynoms of all real numbers

Here is proof for positive power n http://www.khanacademy.org/video/proof--d-dx-x-n?playlist=Calculus&sort=2#qa

but I can't find for all real numbers

I don't want of a form which uses log rule like this one

http://bildr.no/view/1026598

But the binomial theorem is based on taylor series. My attempt to prove taylor series relies on integration rule sof polynomial which relies on derivation rules of polynomials which is what I want to prove?:

http://bildr.no/view/1030479
because I am using log rule to prove something else and to prove it I need to have proof for derivation of polynomials! To make a longer story more short:)
 
Last edited by a moderator:
Physics news on Phys.org
  • #2
Your terminology is a little vague. Are you looking for the derivative of xa, where a is real?

In that case you can use the generalization of the binomial theorem for non-integer exponents.
 
  • #3
yes for all real numbers
 
  • #5
Thanks! Is there not any proof for this rule? Think I saw that Newton did not give any proof? (a proof that does not use derivation rules for polynomials is what I would want in any case)

I have found a proof by Nils Henrik Aabel but it uses derivation rules for polynomials which is what I want to proof by using biominal theorem

http://www.trans4mind.com/personal_...mialTheorem.htm#Proof_of_the_Binomial_Theoremscroll down on the link
 
Last edited:
  • #6
georg gill said:
Does anyone have a different way of explaining derivation of polynoms of all real numbers

Here is proof for positive power n http://www.khanacademy.org/video/proof--d-dx-x-n?playlist=Calculus&sort=2#qa

but I can't find for all real numbers

I don't want of a form which uses log rule like this one

http://bildr.no/view/1026598

But the binomial theorem is based on taylor series. My attempt to prove taylor series relies on integration rule sof polynomial which relies on derivation rules of polynomials which is what I want to prove?:

http://bildr.no/view/1030479
because I am using log rule to prove something else and to prove it I need to have proof for derivation of polynomials! To make a longer story more short:)

Sorry my first post is very unclear (@mathman:) ) I think I will try to explain a bit betterDoes anyone have a different way of explaining derivation of polynoms of all real numbers

Here is proof for positive power n http://www.khanacademy.org/video/proof--d-dx-x-n?playlist=Calculus&sort=2#qa

but I can't find for all real numbers

I don't want of a form which uses log rule like this one

http://bildr.no/view/1026598

because I am using rule of derivation of polynomials to prove log rule here:

http://bildr.no/view/1026584

I could use the binominal theorem to prove derivation of polynomials I think but then I would have to prove that. Binominal theroem is proved with taylor series. My attempt to prove taylor series relies on integration rules of polynomial which relies on derivation rules of polynomials which is what I want to prove:

http://bildr.no/view/1030479So another way to proove binominal theorem without using derivation rules for polynomials would be a good start. But then it is the issue that binomial theorem is proved with derivation rules of polynomials above by Nils Henrik AabelThe closest I get to proving this without using a proof in a proof that I am trying to prove is by proving logrule like this

http://www.scribd.com/doc/72599157/PDF-Log-Rule
 
Last edited by a moderator:
  • #7
y=x^n

ln y=n ln x

d/dx of both sides.

dy/dx 1/y=n/x

dy/dx=nx^n/x=nx^(n-1)
 
  • #8
dimensoin10, he said he wanted a proof that did not use the logarithm.

georgegill, It is NOT necessary to use the polynomials to prove the derivative of the logarithm- that seems very awkward to me. In fact, you very first step asserts that the derivative of [itex]ln(x^r)[/itex] is [itex](1/x^r)d(x^r)/dx[/itex] which already uses the derivative of ln(x) so I don't know what you are attempting to do there. Rather than proving the derivative of ln(x), you seem to be using the derivative to prove that [itex]ln(x^r)= r ln(x)[/itex]. Also, it is not necessary to use Taylor's series to prove the generalized binomial theorem.
 
  • #9
georg gill said:
because I am using log rule to prove something else and to prove it I need to have proof for derivation of polynomials! To make a longer story more short:)

It is easier to prove d/dx ln x this way.

[tex]y=\mbox{ln }x[/tex]

[tex]x=\exp y [/tex]

[tex] \frac{\mbox{d}x}{\mbox{d}y}=\exp y [/tex]

[tex] \frac{\mbox{d}y}{\mbox{d}x}=\frac{1}{\exp y} [/tex]

[tex] \frac{\mbox{d}y}{\mbox{d}x}=\frac{1}{\exp \mbox{ln } x} [/tex]

[tex] \frac{\mbox{d}y}{\mbox{d}x}=\frac{1}{x} [/tex]


And I have used d/dx e^x=e^x. The proof for that is

[tex]\frac{\mbox{d}}{\mbox{d}x}\exp x =\lim_{h\rightarrow 0}\frac{\exp(x+h)-\exp(x)}{h}[/tex]

[tex]\frac{\mbox{d}}{\mbox{d}x}\exp x =\exp(x)\lim_{h\rightarrow 0}\frac{\exp(h)-1}{h}[/tex]

[tex]\mbox{We know that } e=\lim_{n\rightarrow\infty}{\left(1+\frac{1}{n} \right)}
^{n}=\lim_{h \rightarrow 0}\left(1+h\right)^\frac{1}{h}[/tex]

[tex]\frac{\mbox{d}}{\mbox{d}x}\exp x =\exp(x)\lim_{h\rightarrow 0}\frac{{\sqrt[h]{1+h}}^{h}-1}{h}[/tex]

[tex]\frac{\mbox{d}}{\mbox{d}x}\exp x =\exp(x)\lim_{h\rightarrow 0}\frac{1+h-1}{h}[/tex]

[tex] \frac{\mbox{d}}{\mbox{d}x}\exp x =\exp(x) [/tex]
 
  • #10
HallsofIvy said:
dimensoin10, he said he wanted a proof that did not use the logarithm.

Oh, I did not see that.
 
  • #11
I remember the proof using the binomial theorem (the full binomial theorem is overkill) done at school. I think the case of nonintegers was waved away just saying it was true for them too.

I think many years later the thought returned in my head and in my head I thought oh well it would be easy for rational numbers as well which maybe I also did in my head. To make sure I just did it .

Firstly you can easily do it for negative integral n by the derivative of a quotient rule.

Now let a be a rational number a/b where a, b are integers. The argument for all rational numbers which may be too long or too short is:

Using rules already established

(xn)' = (xa/b)' = a(x1/b)a-1.(x1/b)' = (a/b)(x1/b)a-1x1/b -1 = (a/b)(x1/b)a.x-1 = (a/b)(xa/b)x-1 = n xn-1

Now it is true for all rational numbers and we can approximate any real number with a rational one as closely as we please. I am satisfied enough that it is true of all real numbers but I am sure anyone not satisfied could further elaborate this easily.
 
  • #12
epenguin said:
Using rules already established

(xn)' = (xa/b)' = a(x1/b)a-1.(x1/b)' = (a/b)(x1/b)a-1x1/b -1 = (a/b)(x1/b)a.x-1 = (a/b)(xa/b)x-1 = n xn-1


I don't get what you do when you differentiate

[tex] x^{\frac{a}{b}}[/tex]

What rules do you use?
 
  • #13
georg gill said:
I don't get what you do when you differentiate

[tex] x^{\frac{a}{b}}[/tex]

What rules do you use?

The ordinary algebraic rules for indices, the rule for differentiation of function of a function and apart from that I see there is a flaw in the argument I will see if I can repair. :redface:
 
  • #14
The flaw is in the third step where I assume the derivative of x1/b for integral b is bx1/b -1. But this is only a special case of what I am trying to prove. I am trying to prove the formula true for rational n from the fact that the formula is true for integral n - but 1/b of course is not integral, though b is, so this step has not been justified. I think the following proof for it is OK.

(x1/b)b = x

Differentiating

[(x1/b)b]' = 1

So carrying out the differentiation on the LHS the derivative of function of function rule gives us

1 = b(x1/b)b-1.(x1/b)'

the first part of the above formula being authorised by it being already established for integral b.

Condense this to

1 = b x(1 - 1/b).(x1/b)'

Just rearranging

(x1/b)' = x(1/b -1)/b

which is what I used in the third step the above argument.

I suspect there could be shorter proofs and certainly other ones of the whole thing.

And for real n I guess you could show the derivative for xn, n irrational, is between those for p<n and q>n and squeeze it between rationals that can get as close to n as you please.
 
Last edited:
  • #15
epenguin said:
(x1/b)b = x

Differentiating

[(x1/b)b]' = 1

here you use the fact that:

[tex] (e^x)^{\frac{1}{y}}=e^{\frac{x}{y}}[/tex] (a)

I was kind of hoping to prove this for myselfProof of my explanation of how to derivate polynomials are shown here and it shows that my derivation has the problem that I don't know how to prove (a)

http://bildr.no/view/1034861

I have the issue (a)

I tkink it is proved by dedekinds cut. Does anyone have a proof like that for (a) that they can get online? Or they know about a book that has the proof?
 
Last edited:
  • #16
dimension 10, in post 9, used the fact that ln(x) is the inverse function of [itex]e^x[/itex] to get the derivative of ln(x).

Many modern texts do that the other way: they define ln(x) to be
[tex]\int_1^x \frac{1}{t}dt[/tex]
and the the "Fundamental Theorem of Calculus" immediately gives
[tex]\frac{d ln(x)}{dx}= \frac{1}{x}[/tex]

Georg Gill, I see nothing labeled "a" or "issue a" in your post. To what are you referring?
 
  • #17
georg gill said:
here you use the fact that:

[tex] (e^x)^{\frac{1}{y}}=e^{\frac{x}{y}}[/tex] (a)

I was kind of hoping to prove this for myself

I had a typo in my last thread. Sorry i have corrected (a) above. This is what i wanted (a) to be:

[tex] (e^x)^{\frac{1}{y}}=e^{\frac{x}{y}}[/tex] (a)

And (a)is what I want to prove. I have proved the derivative of lnx if I prove (a) that is the only relation I can't find proof for I think.
 
  • #18
If you have defined the real numbers in terms of Dedekind cuts, yes. But that is not the only way to define the real numbers.
 
  • #19
HallsofIvy said:
If you have defined the real numbers in terms of Dedekind cuts, yes. But that is not the only way to define the real numbers.

but is there a proof with dedekinds cut that are working? What are the limitations of the proof?

from this thread
https://www.physicsforums.com/showthread.php?p=3634010&posted=1#post3634010

you say this is the proof

http://planetmath.org/encyclopedia/P...ponential.html

what limetations does it have? And what conequences?
 
Last edited by a moderator:
  • #20
georg gill said:
here you use the fact that:

[tex] (e^x)^{\frac{1}{y}}=e^{\frac{x}{y}}[/tex] (a)

I was kind of hoping to prove this for myselfProof of my explanation of how to derivate polynomials are shown here and it shows that my derivation has the problem that I don't know how to prove (a)

http://bildr.no/view/1034861

I have the issue (a)

I tkink it is proved by dedekinds cut. Does anyone have a proof like that for (a) that they can get online? Or they know about a book that has the proof?

Oh dear, it sound like your interests and needs fall into abstract algebra where they formulate and justify every little step like that or a bit mathematical philosophy. I am not the best person to ask.
This is at the same time elementary school algebra which abstract algebraists probably consider too informal and indeed maybe they do not justify these things rigorously at school there yet somehow we all use them and think we know what they mean.

In second year at secondary school we were told that c X c was termed c2 and c multiplied by itself n times was termed cn. That was just a definition of an index in arithmetic. But from that rules like cn X cm = cm+n follow I think it is easy to see. As is also the rule

(cn)m = cnm. (1)

(And by the way those led to logarithms - I don't know how much this aspect there is now at school but for more than 4 centuries they had this important application of mapping the harder operation of multiplying numbers onto the easier one of adding them.)

OK you tell me, that works when raising to integer powers, what about fractional powers 1/n? Your question was about dividing nor multiplying indices. 1/m didn't fall into my definition in fact of an index, I can multiply something by itself 3 times but not 1/3 of a time.

If, having given a consistent arithmetic interpretation to indices that uses the three airthmetic operations we also want to us the fourth then we have to interpret raising to the power 1/m as taking the m-th root.

For if we can apply the multiplication rule (1) in this case then we must have

(c1/m)m = c1 i.e. c

That is to say, c1/m is that number which when multiplied by itself m times gives c, what we mean by m-th root.

So to have a consistent system of arithmetic with indices starting from my initial definition we can admit fractions into law (1) so that also

(cn)1/m = cn/m

I have only needed integers all through and it could be extended to a consistent system of reals by some such argument as I sketched before about reals.

I take it that was your question. For check and any other questions we need the mathematicians.

(In this connection a teacher asked me not long ago, she had been teaching indices to kids and one had asked her what is 00 ? She didn't know whether it was 0, 1 or something else. I had to work that out and decided it was 1 as I'd suspected. She asked me it's a convention. I said not entirely a convention, it's what you need if you start with my starting index convention and want an entirely consistent arithmetical scheme with it. But I don't know whether this ever got through to the kids.)
 
  • #21
maybe this is a start for proving that

[tex](a^x)^y=a^{yx}[/tex]

for rational numbers for x and y not real numbers

http://www.viewdocsonline.com/document/biwlgx (I)

I think (I) is a good proof If we use (II):

[tex]\sqrt[n]{ab}=\sqrt[n]{a}\sqrt[n]{b}[/tex]

and we call

[tex]a=c^m[/tex] and [tex]b=d^m[/tex] we get

[tex]\sqrt[n]{c^md^m}=\sqrt[n]{c^m}\sqrt[n]{d^m}[/tex]

and we also know that

[tex]\sqrt[n]{c^md^m}=\sqrt[n]{(cd)^m}[/tex]
 
Last edited:
  • #22
If we use (I)

[tex]\sqrt[n]{ab}=\sqrt[n]{a}\sqrt[n]{b}[/tex]

we could get (II):

[tex]\sqrt[n]{a^m}=\sqrt[n]{aa...a}=y[/tex]

from (I)

[tex]\sqrt[n]{a^m}=\sqrt[n]{a}\sqrt[n]{a}...\sqrt[n]{a}=y[/tex]

we have m [tex]a^{\frac{1}{n}}[/tex]
and

[tex]\sqrt[n]{a}=y^{\frac{1}{m}}[/tex]

and we get (III):

[tex](\sqrt[n]{a})^m=y[/tex]

and from (II) and (III):

[tex](\sqrt[n]{a})^m=y=\sqrt[n]{a^m}[/tex]

but I can't show that (IV):

[tex](\sqrt[n]{a})^m=y=\sqrt[n]{a^m}=a^{\frac{m}{n}}[/tex]

Since I have showed that

[tex](\sqrt[n]{a})^m=\sqrt[n]{a^m}[/tex]

I only need to show that

[tex](\sqrt[n]{a})^m[/tex]

is equal too

[tex]a^{\frac{m}{n}}[/tex]

which is that

[tex](a_1)^{\frac{1}{n}}(a_2)^{\frac{1}{n}}... (a_m)^{\frac{1}{n}}[/tex]

(subscript is only for showing that it is m as)

is equal

[tex]a^{\frac{m}{n}}[/tex]

in other words I need to show

[tex](a)^{\frac{1}{n}}(a)^{\frac{1}{n}}=(a)^{\frac{2}{n}}[/tex]

to show (IV) for any whole positive integer of n and m and any real number of a
 
Last edited:
  • #23
[tex]a^m=y[/tex]

[tex](a^m)^{\frac{1}{n}}=y^{\frac{1}{n}}[/tex]

as expained earlier


[tex]\sqrt[n]{ab}=\sqrt[n]{a}\sqrt[n]{b}[/tex] (I)

we can write

[tex]\sqrt[n]{a^m}=\sqrt[n]{aa...a}=y[/tex]

where (I) is

[tex]\sqrt[n]{a^m}=\sqrt[n]{a}\sqrt[n]{a}...\sqrt[n]{a}=y[/tex] (I)

vi har [tex]a^{\frac{1}{n}}[/tex] multiplied with itself m times

and

[tex]\sqrt[n]{a}=y^{\frac{1}{m}}[/tex] (II)

from (I) and (II) we get

[tex](\sqrt[n]{a})^m=y=\sqrt[n]{a^m}[/tex]

mth root

[tex]a^{\frac{1}{n}}=((a^m)^{\frac{1}{n}})^{\frac{1}{m}}[/tex]

This should also show that

[tex]a^{\frac{1}{n}}=((a^m)^{\frac{1}{n}})^{\frac{1}{m}}=a^{\frac{m}{nm}}[/tex]

then could one say?

[tex]((a^m)^{\frac{1}{n}})^{\frac{1}{p}}=a^{\frac{m}{np}}[/tex]

lets say p=1

[tex]((a^m)^{\frac{1}{n}})=a^{\frac{m}{n}}[/tex]

Is this valid?
 
  • #24
I had written out some comments but then lost them because of how the site has been loused up.:grumpy: Hope the extract below of some help.

In brief you need someone here to point you to suitable readings in real analysis (not abstract algebra). Having questioned, thought and played about with should ease you into it.

To my surprise that formula you didn't like is exactly what they do use to put raising to an irrational index on a logical footing and making sure it means something.

ngpvec.jpg

15hgbwh.jpg
 

What is a polynom?

A polynom, also known as a polynomial, is a mathematical expression consisting of variables and coefficients, which are combined using only the operations of addition, subtraction, and multiplication. It is typically written in the form of ax^n + bx^(n-1) + ... + cx + d, where a, b, c, and d are constants and x is the variable.

What is the process of deriving a polynom?

Derivation of a polynom involves finding the derivative of the expression with respect to its variable. This is done by using the power rule, which states that the derivative of ax^n is equal to nax^(n-1). The process is repeated for each term in the polynom, and the resulting derivatives are combined to form the derivative of the entire polynom.

Why is deriving polynoms important?

Deriving polynoms is important because it allows us to find the rate of change of a function, or the slope of the tangent line at a given point. This is useful in many fields of science, including physics, engineering, and economics, where understanding the behavior of functions is crucial.

What are some common applications of polynoms?

Polynoms have many practical applications in science, such as modeling the motion of objects, describing the growth of populations, and analyzing data sets. They are also used in computer graphics, coding theory, and cryptography.

Are there any limitations to polynoms?

While polynoms are a powerful tool in mathematics and science, they do have some limitations. For example, they cannot accurately model phenomena with sudden changes or discontinuities, and they may not be the best choice for representing complex data sets. In these cases, other mathematical functions may be more suitable.

Similar threads

Replies
11
Views
2K
Replies
1
Views
2K
Replies
5
Views
1K
Replies
19
Views
3K
Replies
11
Views
963
  • Calculus
Replies
17
Views
1K
Replies
2
Views
1K
Replies
1
Views
881
Replies
24
Views
5K
Back
Top