Conversation started Jan 15, 2020 at 14:59.
Jan 15, 2020 14:59
Is there a rule to find the divisor of a cubic polynomial? Wikipedia says that for a cubic polynomial ax^3 + bx^2 + cx + d that one of the products of factorization is a one degree polynomial of the form qx - p and that q must be a divisor of a and p must be a divisor of d. Does this mean that a must always be exactly divisible by q and d must always be exactly divisible by p in order for a divisor to divide a polynomial into a quotient and remainder?
The limit doesn't exist then, maybe you want $f(x,y)=x$ if $x=y$?
Oh I misread
Didn't see the bit saying the limit exists
@Thorgott That should work actually yeah
$f(x,y)=\begin{cases}x\ (=y),&x=y\\0,&x\ne y\end{cases}$ @Silent
Yeah, that's nice
@MyWrathAcademia Yes (if all the coefficients involved are whole numbers)
As far as a rule to find the divisor is concerned, the Cardano formula gives you all roots, i.e. a factorization into irreducibles (over C).
Jan 15, 2020 15:06
There's a neat theorem that says, a polynomial is reducible over the integers iff it's reducible over the rationals
In other words, if you have a polynomial with integer coefficients, if you can factor it into smaller polynomials with rational coefficients, you can factor it into smaller polynomials with integer coefficients
This is called Gauss's lemma
It's a very useful result
@AkivaWeinberger thanks for confirming but why does the divisor x - 3 divide the cubic polynomial x^3 - 2x^2 + 0x - 4 into the quotient x^2 + x + 3 and remainder -13 when d in this cubic polynomial is 4 which is not divisible by the divisor's second term p which is 3?
Because it has remainder
so it's not a factor
If qx-p is a factor of ax^3+bx^2+cx+d (i.e. it divides it without remainder) then q's a divisor of a and p's a divisor of d
@AkivaWeinberger thanks that clears it up, that's the piece of information I was missing from the Wikipedia article.
I was trying to find p and q for any cubic polynomial based on thinking that for any cubic polynomial ax^3+bx^2+cx+d a must always be exactly divisible by q and d must always be exactly divisible by p. Now I know that only holds when qx - p divides ax^3+bx^2+cx+d without a remainder, how can I find p and q of a divisor (i.e. finding qx - p) when given only the dividend (i.e. cubic polynomial)?
Jan 15, 2020 15:21
This is equivalent to finding a root p/q of the polynomial
You can do trial and error, but note that there's not always a solution (the polynomial might not have a rational root)
There's also an exact formula for the root, Cardano's formula (the cubic equivalent of the quadratic formula), and numerical methods like Newton's method
What Wikipedia page were you looking at? This one? https://en.wikipedia.org/wiki/Rational_root_theorem
Does the Minkowski metric $ds^2=c^2dt^2-dx^2$ remain invariant upon a change of scale?
let's say you plot the speed of light $c^2$ on a different scale than a linear one. It shouldn't change the metric right?
in principle it seems correct that the metrics should remain equivalent, but I am not quite sure how to prove this
Jan 15, 2020 15:39
Let $K$ be a convex set in a vector space such that $0$ is an internal point of $K$, let $p_K$ be the associated Minkowski functional, and let $z \notin K$. Why must $p_K(z) \ge 1$ hold?
@AkivaWeinberger I planned to do trial and error if p and q satisfied some criteria such as always being a factor of a and d respectively but now I know that only holds when qx - p divides ax^3+bx^2+cx+d without a remainder. Do you know of any condition/criteria for p and q when qx -p divides ax^3+bx^2+cx+d with a remainder, or in other words do you know of any condition/criteria for p and q regardless of whether qx -p divides ax^3+bx^2+cx+d with or without a remainder?
If it were true that $z \in p_K(z) \cdot K$, then if $p_K(z) < 1$ were the case, I could write $z = p_K(z) \cdot \frac{z}{p_K(z)} + (1 - p_K(z)) \cdot 0 \in K$, which would be a contradiction...
However, I don't know if it's true that $z \in p_K(z) \cdot K$.
I am also not completely familiar with the terminology here so please clarify that when you say "there's not always a solution" you mean that there's not always a root when you divide a polynomial by its divisor and that this happens when the polynomial might not have a root that is an integer (i.e. what you mean by a rational root)?
@AkivaWeinberger Wow! thanks a lot!
Any polynomial divides any other polynomial with a remainder, though "dividing with a remainder" is a somewhat oxymoronic phrasing.
Jan 15, 2020 15:50
@Thorgott Thank you :)
4
A: Prove that $x^3 + y^3 = 9$ has infinitely many rational solutions

SemiclassicalHere is the 'tangent-chord' construction of infinitely many rational points from a single such point. Suppose we have a point $p_0=(x_0,y_0)$ on the cubic curve $f(x,y)=x^3+y^3=9$. The tangent vector at this point is given by $$\left(\frac{\partial f}{\partial y},-\frac{\partial f}{\partial x}\r...

@Semi, look at what I've found:
Ah, nice
I never did bother trying to plug the hole, lol
And I’m not gonna do so now :P
I didn't understand your solution 2 years ago, but now (finally) I do
Jan 15, 2020 15:58
I have a question, tho: why did you choose the tangent as $v \perp \nabla f$ and not $v \parallel \nabla f$?
@LucasHenrique do you play chess?
Because it wouldn’t be a tangent line in the second case? The cubic is a level set, not a parametric curve
Not always, but yeah
You can parametrize the curve, of course, and if you did then you’d need to construct the tangent vector
@LucasHenrique wanna play?
Jan 15, 2020 16:04
But you’d find that it’s still perpendicular to the gradient of f
@Semiclassical so $\gamma(s) = (s^3, 9-s^3)$?
@Semiclassical Good evening sir.
No. You still need it to satisfy x^3+y^3=9
I wouldn't say I suck at vector calculus, but I'm not even close to good lol. But I would say I suck at chess, @Leaky :p
me too
Jan 15, 2020 16:06
oh, lol. that's a line
I'm a bit tired, sorry
@LeakyNun let's play!
A rational parametrization of this is probably best, eg stereographic projection
@LucasHenrique what time control?
or no time limit?
Mind if I spectate?
@Semiclassical sure
you choose
Jan 15, 2020 16:09
@LucasHenrique how much time do you have?
Plenty of it
@LucasHenrique lichess.org/1eHbI0ij
@Semiclassical same link to spectate
Jan 15, 2020 16:25
told ya
hahahaha
Yeah, I watched
I gave my queen away
that was so sad
My problem with chess is a sense of decision paralysis
Too many options and too little sense of their long-term implications
@Semiclassical want a game?
Yeah, sure. 15 mins is fine
Jan 15, 2020 16:28
@Semiclassical with 15 sec increments?
I meant whatever time control you had in the last game
Is the product of factorizing a reducible polynomial always in the form (qx - p) (ax^2 + bx + c)? that is, is the coefficient of the first term of the lower degree polynomial always positive and the coefficient of the second term always negative?
For some reason I thought for a cubic polynomial ax^3+bx^2+cx+d only one specific divisor can be used to obtain all the roots of the cubic polynomial but since any polynomial less than degree 3 can divide a cubic polynomial into a quotient does that mean that the roots of a cubic equation can be infinite?
Can someone clarify this. May be I should start thinking of a root as simply a solution to a polynomial therefore any first degree or second degree polynomial should have a solution (i.e. should be able to be solved by either factorization or quadratic formula)
So I'm just realizing that a cubic polynomial cannot just be divided by a single polynomial of the form qx -p, any polynomial of the form qx - p can be the divisor
Jan 15, 2020 16:46
To your first question, that coefficient is only a matter of convention; after all, qx-p=qx+(-p). To your second question, it is not true that any polynomial can divide a cubic (if that's what you mean) and the number of roots of a cubic is at most 3. To your third statement, a root is by definition a solution to the equation "polynomial = 0". Whether polynomials have a solution depends on the field you're working on (x^2+1 has no real solution). The fourth statement is wrong, like the second.
For clarity, a polnomial P(x) divides a polynomial Q(x) if there is another polynomial R(x) such that Q(x)=P(x)R(x).
@Thorgott I want to know: are you an academic student? I’m asking it beacuse your replies to me are very proficient (just like sir @Semiclassical and I know he is not a student) . If you don’t mind much then please just tell me only at what stage of learning are you in ?
I'm a math undergrad
Really? I doubt it
@Thorgott Why don't you write out a sketch of what you think the proof is? I can't criticize a vague handwaving proof. But I can say for sure that a proof that merely claims some ring to be a field cannot be correct. I don't know what you mean by "plain induction". It should be clear from the proof I gave that all you need is a well-ordering of the initial field. If it is countable then obviously you don't need any transfinite recursion.
Jan 15, 2020 17:01
@Thorgott thanks a lot, that helped. However in my second question I meant that a polynomial can reduce (i.e. divide) another polynomial into a quotient and no remainder or a quotient and a remainder. For example for the polynomial x^3 - 2x^2 + 0x - 4 the polynomial x - 3 can divide it into the quotient x^2 + x + 3 and the remainder 13 and also the polynomial x - 5 can divide the same cubic polynomial into the quotient x^2 + 3x + 15 and the remainder 71.
@Thorgott From these two quotients you can obtain four solutions (i.e. 4 roots). I think that your statement "For clarity, a polnomial P(x) divides a polynomial Q(x) if there is another polynomial R(x) such that Q(x)=P(x)R(x)." is true only when polynomial P(x) divides polynomial Q(x) without a remainder.
@Thorgott: And to make it easier to follow the discussion, please post your proof in the other chat-room.
@LeakyNun lol, stockfish evidently disagrees strongly that I was in any way playing well :P
@Semiclassical the evaluation isn't everything I guess
@Semiclassical eg SF can't tell you the sharpness of a position (how easy it is for me to blunder)
@MyWrathAcademia What I gave you is the definition of what it means for one polynomial to divide the other. Of course, this means there is no remainder. But saying "a polynomial divides another polynomial with a remainder" is vapid, because that's always true (except for the zero polynomial). I don't see how dividing by a polynomial that leaves a remainder gives you a root.
@Semiclassical I would say you avoided trades quite well
Jan 15, 2020 17:10
@LeakyNun true
but losing those two pawns are kind of unfortunate
At the end I was aiming to finally attack that pawn holding your defense down in the back
But somehow missed that putting the queen there was a very silly idea
@LeakyNun SF can be tuned to play with contempt against human players
@AlessandroCodenotti Oh, is there a setting on Lichess for that?
@Semiclassical but those pawns aren't used for defense
Jan 15, 2020 17:13
@user21820 I don't think so
Hmm
Yeah, I guess not
since you castled queenside, my a and b pawns are used for attack I think
that's why I sort of gave up my e pawn and snatched your g and h pawns
(which you didn't take because you wanted to avoid trading)
Well, I mostly had in mind that the b pawn was supporting your knight which was supporting your e pawn
I was also doing my best to keep my rooks active and linked
Jan 15, 2020 17:16
yeah I can see that
To the detriment of my pawns
Agh. Rookie chess talk.
hi @Lukas
Jan 15, 2020 17:17
hi @Ted
@Semiclassical after Nxg7 maybe you could play Rg8?
I feel like rooks are best on the back rank
and also Rg8 asks me a question
yeah, they’ve got a lot of freedom back there
You can probably sense I’m not a very analytical player tho
maybe I would put my rooks and queen on a single file
or mostly just stack them on the g and h files (so 2+1)
instead of aligning them on the 5th rank
but what do I know
Jan 15, 2020 17:20
In other news, my laptop is a bit borked
in what sense?
One of the two hinges came apart partially
I probably pulled on that side of the case in a bad way
No issue of hard drive or battery or anything, so it’s easy to back up
But not really much good as a laptop if you can’t close/open it
instead of that dubious queen move I would probably have played (and I was calculating for you) 20... Nxe4 21. Nxe4 Ref5
So off to the shop to see if it can be repaired
oh right I calculated that it doesn't work
also SF can't tell you about strategy
maybe it can if you ask it nicely
Jan 15, 2020 17:24
@Thorgott This is how dividing by a polynomial that leaves a remainder gives you a root: Dividing the polynomial x^3 - 2x^2 + 0x - 4 by the polynomial x - 5 gives the quadratic x^2 + 3x + 15 and the remainder 71. The quadratic x^2 + 3x + 15 via the quadratic formula has the solutions x = 2.653311931459 or x = -5.653311931459, and the root of the polynomial x - 5 is of course 5. So the cubic ploynomial x^3 - 2x^2 + 0x - 4 has these three solutions as its three roots. Feel free to correct me.
@Thorgott My idea of what it means to divide a polynomial and what a remainder is differs from yours, I believe that divide does not mean to exactly divide something leaving no remainder, and I didn't consider 0 to be a remainder so may be once you consider 0 to be a remainder then may be you are right that it is always true that a polynomial divides another polynomial with a remainder.
@Semiclassical do you have any comments for me?
btw I allowed SF to play for a while on the position before that dubious queen move, and in 4 moves it moved the king to b8, rook to g8, and queen to e8
That knight was quite annoying :P
That’s my main observation
@LeakyNun heh, so SF really wanted everything on the back rank
also SF traded down to a RQ vs RR endgame
20... Kb8 21. Rfd1 Rg8 22. Rac1 Qf8 23. g3 Qe8 24. Nd4 Qe7 25. Nd5 Nxd5 26. exd5 a6 27. d6 Qxd6 28. Nb5 Qxd1+ 29. Rxd1 axb5 30. Rxd7
but I've been told that if SF is losing then SF just sees every move as losing and doesn't try to complicate the position
@Semiclassical are there discrepancies between what you thought I would play and what I played?
Jan 15, 2020 17:42
Nah
@MyWrathAcademia try plugging 5 into x^3-2x^2-4 and then tell me whether you still think it's a root
I’ll note that, if one number isn’t divisible by another, then long division can either be used to find the remainder or to find the decimal expansion for the ratio
@Thorgott plugging 5 into x^3-2x^2-4 gives 71. Are you hinting that x - 5 is not a root because the result of plugging 5 into x^3-2x^2-4 is not 0?
So, in the former procedure, it does make sense to talk about $a\quotient b$ regardless of whether $b$ is divisible by $a$
@MyWrathAcademia: Be careful with language here. $5$ is a root means $x-5$ is a factor.
Jan 15, 2020 17:56
I'm suggesting 5 is not a root, because plugging 5 into the polynomial is not 0. x-5 is a polynomial, roots are numbers.
@TedShifrin thanks for catching that
@Semiclassical this is interesting
@Leaky: I think you need a separate chess chatroom.
@StupidQuestionsInc Oh, my apologies. I was too obsessed with breaking it into two pieces. Interestingly, following my suggested idea leads to an example where one of the pieces need not converge, but presumably the other piece (which would be a mess) cancels out the bad stuff. Think about what they're doing with a picture (like setting up a double integral).
One of the sums is getting the $(k,\ell)$ with $k\le \ell$ and the other is getting the terms with $k\ge\ell$. (Change the order of summation on one.) I guess the diagonal is appearing twice. Not sure if I'm missing a small detail or not.
@TedShifrin @Thorgott thanks a lot, I think I'm understanding how to know whether a divisor of a cubic polynomial can get distinct roots for that ploynomial. So a factors result must always be a root. Does that mean that only a polynomial qx - p that is a factor (x is a root) can be used to find the other roots of the cubic polynomial of the form ax^3 + bx^2 + cx + d where these other roots are the solutions of the quadratic formula?
@Thorgott since you confirmed that one of the factors of the cubic polynomial ax^3 + bx^2 +cx + d is always in the form qx - p (or in other words, 1x + (-p)) I think I'm finally understanding how to find which values for p and q in px - q to use to divide the polynomial ax^3 + bx^2 + cx + d in order to find three roots.
Jan 15, 2020 18:11
@StupidQuestionsInc: I guess I didn't pay enough attention to the indices in your original question. It looks like they did make sure not to include the diagonal in the second sum.
I meant *qx + (-p)*
@Ted would you mind reading over my CV?
@Lukas: I can do that, but I honestly don't know what the European standards are. If you're applying to graduate school, I think you're worrying way too much about it.
I'm just applying for masters
Hi @TedShifrin
Jan 15, 2020 18:13
Hi, a @Balarka.
Hi @Balarka
@Lukas: In this country they care about your courses, your grades, and most of all letters of recommendation. All the seminar talks and conferences you've attended should be a bonus. You should certainly mention those in whatever little essay you write.
they can see my grades in my transcript
If $qx-p$ is a factor, the corresponding root is $p/q$. Dividing the cubic by this linear factor gives a quadratic whose roots can be calculated using the quadratic formula, yes. However, it isn't at all easy to find such a linear factor. The conditions that q divides d and p divides a discussed earlier are necessary, but not sufficient.
@LukasHeger Wait what? Your real name is not Mathein??
Or is this the fake name
Jan 15, 2020 18:15
@TedShifrin I have to submit a separate motivation letter, I still need to write that
@Balarka yeah, mathein boulomenos just means "someone who wants to learn"
Lol
I see
@TedShifrin What do you suppose is the best way to begin to learn French
read EGA
/jk
I would rather read Thom
:3
@Lukas: As I said, in this country I don't think we even ask for CVs. You can list all relevant academic experiences somewhere, I guess, but that essay gives you an opportunity to impress people.
@Balarka: Learn for math or learn for actual grammar and literature?
Both. Former has slight priority.
I would like to be able to read French literature
Jan 15, 2020 18:19
wait till you get to the "passé simple" lmao
which is anything but simple
Yes, French literature is lovely (à mon avis). For that you probably should just take a few courses. For reading math, get a French math dictionary and just start reading. If you read math you sort of know a bit, it'll be pretty easy.
I can send you my little paper in French (if I didn't already).
Well, you won't find passé simple in mathematics, but you will find it in older literature for sure.
@TedShifrin should I mention that I knew calculus at 14 or does that sound too ... I don't know a good adjective
My uni unfortunately does not offer language/literature courses, I was thinking of self-learning
No, don't do that.
That's crazy ... stupid uni.
I know
Jan 15, 2020 18:20
and that I went from grade 8 straight to grade 11?
I would rather take a lang/lit course than a CS or stat course
@Lukas: A lot of us who study math in university successfully learned calculus very young.
@Lukas: All of that is hardly relevant. All they care about is your mathematical talent.
The fact that you TAed for uni algebra courses, etc., is far more significant.
I'm not sure what I should write, I don't want to praise myself too much
Oh, these seminar talks are all undergraduates, or is it mostly graduate students?
all of them with one exception were masters level which I guess equals early grad student
Jan 15, 2020 18:23
Talk about some specific mathematics you've studied or worked on and why it is so interesting to you. I mean specifics. They hear general bullshit from everyone.
So when you say "student seminar" you should make it clear that it's a "graduate student seminar."
@TedShifrin Let me know if you know of a good textbook. I am too old fashioned for duolingo or whatever
is it fair to call it graduate student seminar? technically masters students are not graduate students here, I think
or is graduate student anyone who already has a degree?
I don't know texts other than what are standard college texts, and I already was fluent in French when I went to coleege, @Balarka.
I thought it was PhD students
@Lukas, in the US graduate includes both masters and PhD. I think that's universal.
Jan 15, 2020 18:25
okay
@TedShifrin Gotcha. Thanks anyhow
should I indicate which lectures are graduate level as well?
Yes, sure.
@Balarka: Literature I can recommend.
I wouldn't recommend that you start by reading Elie Cartan. René Thom is more words than symbols, which makes it harder going.
I was thinking of diving into Le Petit Prince directly, given I have read the English translation. But I wonder if I know enough French for that
Oh, sure.
Jan 15, 2020 18:27
Yeah that's why I had Thom in mind
Or Winnie the Pooh in French :P
Oh could be good!
There's a book by I. A. Richards which is like a bunch of comic strips of stick figures talking in French but I can't find it on the internet anymore
@Ted I adjusted it. You wouldn't mistake "graduate student seminar" for "research seminar" (which is where most PhD students give talks here), right?
Oh fuck I could read Tintin in French
How hard can that be
Why didn't I think of this
hi there. Trivial question. What is the notation used to express the inverse of a multivariate function? Do you specify the variable with which the inverse is being computed? Say y = f(x,w). x=f^{-1}(y,w) is one inverse, and the other is w=f^{-1}(y,x). The f is the same. Does it matter, or is it evident by the variables in parenthesis which is the one being inverted?
In my particular case, I am evaluating the inverse. So, actually I have f^{-1}(3,4). I thought if I use f_x^{-1}(3,4) it would be clear, but subscript usually means derivative.
Jan 15, 2020 18:37
@Lukas: Again, I don't know European grad culture so well. If you are worried, say "masters student seminar", I dunno.
It sounds as if you don't want to invert the multivariate function, but rather a partial evaluation obtained from it
but you evaluate after inverting, of course
so...no (?)
Here's what I can offer (if I understand correctly). You have a function $f\colon A\times B\rightarrow C$; then you can define functions $f_a\colon B\rightarrow C, b\mapsto f(a,b)$ for $a\in A$ and $f^b\colon A\rightarrow C,a\mapsto f(a,b)$ for $b\in B$ and in case these are bijective, you can properly talk about their inverses.
So notationwise, you are using subscripts to define inverse functions? Is that conventional? That is my question.
$f_a\colon B\rightarrow C
No, these are in no way inverse functions. They are a kind of partial evaluation and as far as that is concerned, this notation is fairly standard.
Jan 15, 2020 18:50
let me rephrase. Assume $f\colon A\times B\rightarrow C$. How would you, notationwise, differentiate between $f^{-1}\colon C\times B\rightarrow A$ and $f^{-1}\colon A\times C\rightarrow B$?
perhaps using $f_C^{-1}$ and $f_B^{-1}$ respectively?
I don't know what these are supposed to be. The inverse of $f$ (in case it is bijective) is a map $C\rightarrow A\times B$.
Example. y=xw. One "inverse" is x=y/w, another is w=y/x.
If, y = f(x,w), is notation x=f^{-1}(y,w) and w=f^{-1}(y,x), respectively, standard?
you've got $f(x,w)=xw$, $g(y,w)=y/w$, $h(x,y)=y/x$, and thus $f(g(y,w),w) = y$, $f(x,h(x,y)) = x$
@Semiclassical so you just use different names?
because it is not, streactly speaking, an inverse?
all I'm doing is saying what you'd do absent a better notation
there may be a more standard one
Jan 15, 2020 18:57
(so inverse notation misleading)
These notations are not standard, they are not even permissible. $f^{-1}$ already has a specific meaning different from what you are talking about. I'm afraid I don't know a standard notation for what you're looking for.
Just giving them a name is probably a good idea.
Thanks. Will ask in site, to see if I get something else.
part of what's confusing here is that you're not really composing $g$ with $f$. the composition is really with $g\times \text{id}_B$
typo in what I said above: should hvae been $f(x,h(x,y))=y$ at the end
0
Q: Is there a standard notation to express the "partial inverse" of a multivariate function?

luchonachoConsider the function $$ y = f(x,w) $$ I am looking for "proper" notation for the "partial inverse" of $f(\cdot)$ with respect to each variable. Something like: $$ x = f^{-1}(y,w) $$ $$ w = f^{-1}(x,y) $$ But this does not differentiate them. Perhaps $$ x = f_x^{-1}(y,w) $$ $$ w = f_w^{-1...

thanks all
maybe the better view is that $g(y,w)=(y/w,w)$ so that $f(g(y,w))=f(y/w,w)=y$
But that seems sorta arbitrary
Jan 15, 2020 19:31
A question, based on one I just saw on main: Suppose $f(x)/x\to 1$ and $g(x)/x\to 1$ as $x\to 0$. Then it is certainly true that $f(x)/g(x)\to 1$ as $x\to 0$. Must $f^{n}(x)/g^{n}(x)\to 1$ as $x\to 0$?
If it exists, yes. Not sure if it necessarily does.
for comparison, it's this question/answer: math.stackexchange.com/questions/3510410/…
It feels as if there should be a counterexample at the very least for n>1
the notation $\displaystyle \lim_{f(x)\to 0} \frac{\sin f(x)}{f(x)}=1$ seems suspicious
I suspect it's actually fine, on the grounds that $x\mapsto \sin(x)$ is everywhere continuous and thus any iteration of it is as well
But the level of detail seems poor.
This should be a counter-example to your question.
Jan 15, 2020 19:43
oof
though, wouldn't $f(x)/x\to 1$ as $x \to 0$ necessitate both $f(0)=0$ and $f'(0)=1$?
If $f(0)\neq 0$, then the limit wouldn't exist. And if the limit exists, then it's the definition of the derivative.
Oh wait, the example I linked is for $x\rightarrow\infty$, but it should work with some modification.
And yes, you do get $f^{\prime}(0)=1$, so any counterexample would need some discontinuity in the derivative (in particular, if you're assuming $C^1$, then the statement should ohld).
yeah
So what ensures that $\sin x$ is a good example is presumably not just that it's everywhere continuous but that it's analytic
So, by L'Hospital, we get the statement is true for higher $n$ if $f$ is sufficiently differentiable and its higher derivatives zeros don't accumulate in $0$, though the second condition seems rather awkward.
yeah, it's a bit gross
I don't know how to engineer a reasonably-simple counterexample tho
I was trying to throw something together with x^2sin(1/x), but I didn't get it to work. Now I'm trying to think of other examples of functions with discontinuous derivatives, but I actually don't know many.
It suffices to find a differentiable function $f$ with $f(x)/x\rightarrow1$ as $x\rightarrow0$ and $f^{\prime}$ discontinuous at $0$. Then we can take $g(x)=x$ and it will be a counterexample.
Jan 15, 2020 20:00
hmm
I agree that that would suffice, but can that possibly occur?
@Thorgott I now understand exactly that a root of a polynomial is simply the zero of the corresponding polynomial function. Apologies for my previous questions, they were coming from a lack of understanding of polynomials and roots of polynomials. Your example of plugging 5 into that polynomial and the Wikipedia article got me to perfectly understand what a root of a polynomial is. Thanks a lot for your clear and concise explanations.
 
Conversation ended Jan 15, 2020 at 20:00.