Netyjnd

How to invert MapIndexed on a ragged structure? How to construct a tree from rules?

Why the difference in type-inference over the as-pattern in two similar function definitions?

Make solar eclipses exceedingly rare, but still have new moons

Is it possible to replace duplicates of a character with one character using tr

Would a grinding machine be a simple and workable propulsion system for an interplanetary spacecraft?

Axiom Schema vs Axiom

What does "Its cash flow is deeply negative" mean?

Is the D&D universe the same as the Forgotten Realms universe?

Why do airplanes bank sharply to the right after air-to-air refueling?

Prepend last line of stdin to entire stdin

What steps are necessary to read a Modern SSD in Medieval Europe?

Unclear about dynamic binding

TikZ: How to reverse arrow direction without switching start/end point?

Why didn't Khan get resurrected in the Genesis Explosion?

Is it okay to majorly distort historical facts while writing a fiction story?

Is there a difference between "Fahrstuhl" and "Aufzug"

Do I need to write [sic] when a number is less than 10 but isn't written out?

The exact meaning of 'Mom made me a sandwich'

Does Germany produce more waste than the US?

How to delete every two lines after 3rd lines in a file contains very large number of lines?

How to check if all elements of 1 list are in the *same quantity* and in any order, in the list2?

Are police here, aren't itthey?

What is meant by "large scale tonal organization?"

If Nick Fury and Coulson already knew about aliens (Kree and Skrull) why did they wait until Thor's appearance to start making weapons?

Using Rolle's theorem to show an equation has only one real root

3

$begingroup$

Applying Rolle's Theorem, prove that the given equation has only one root:
$$e^x=1+x$$

By inspection, we can say that $x=0$ is one root of the equation. But how can we use Rolle's theorem to prove this root is unique?

calculus applications rolles-theorem

share|cite|improve this question

edited 57 mins ago

Eevee Trainer

9,07631640

asked 1 hour ago

blue_eyed_...blue_eyed_...

3,30721755

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  It is $$exp(x)geq 1+x$$ for all real $x$
  $endgroup$
  – Dr. Sonnhard Graubner
  32 mins ago
  
  

  
  
  
  

add a comment | 

3

$begingroup$

Applying Rolle's Theorem, prove that the given equation has only one root:
$$e^x=1+x$$

By inspection, we can say that $x=0$ is one root of the equation. But how can we use Rolle's theorem to prove this root is unique?

calculus applications rolles-theorem

share|cite|improve this question

edited 57 mins ago

Eevee Trainer

9,07631640

asked 1 hour ago

blue_eyed_...blue_eyed_...

3,30721755

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  It is $$exp(x)geq 1+x$$ for all real $x$
  $endgroup$
  – Dr. Sonnhard Graubner
  32 mins ago
  
  

  
  
  
  

add a comment | 

$begingroup$

Applying Rolle's Theorem, prove that the given equation has only one root:
$$e^x=1+x$$

By inspection, we can say that $x=0$ is one root of the equation. But how can we use Rolle's theorem to prove this root is unique?

calculus applications rolles-theorem

share|cite|improve this question

edited 57 mins ago

Eevee Trainer

9,07631640

asked 1 hour ago

blue_eyed_...blue_eyed_...

3,30721755

$endgroup$

share|cite|improve this question

edited 57 mins ago

Eevee Trainer

9,07631640

asked 1 hour ago

blue_eyed_...blue_eyed_...

3,30721755

share|cite|improve this question

edited 57 mins ago

Eevee Trainer

9,07631640

asked 1 hour ago

blue_eyed_...blue_eyed_...

3,30721755

edited 57 mins ago

Eevee Trainer

9,07631640

edited 57 mins ago

Eevee Trainer

9,07631640

asked 1 hour ago

blue_eyed_...blue_eyed_...

3,30721755

asked 1 hour ago

blue_eyed_...blue_eyed_...

3,30721755

1 Answer
1

active

oldest

votes

6

$begingroup$

Let $f(x) = e^x - 1 - x$, and we observe that $f(0)=0$. $f$ is also obviously continuous and differentiable over the real numbers (if you wish to verify that in detail, you can do that separately).

Suppose there exists a second root $b neq 0$ such that $f(0) = f(b) = 0$. Then there exists some $c in (0,b)$ (or $(b,0)$ if $b<0$) such that $f'(c) = 0$ by Rolle's theorem.

$f'(x) = e^x - 1$, however, which satisfies $f'(x) = 0$ only when $x=0$, which is not in any interval $(0,b)$ (or $(b,0)$).

Thus, since no satisfactory $c$ exists, we conclude the equation only has one real root.

share|cite|improve this answer

edited 38 mins ago

answered 1 hour ago

Eevee TrainerEevee Trainer

9,07631640

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I don't understand the second para.
  $endgroup$
  – blue_eyed_...
  56 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  We want to show that there exists no second (unique) root, so we seek a contradiction by supposing it exists. Okay, so if the second root is not unique, it is some real number $b$ that is not equal to our first root, $0$. If $b$ is a root, then we are ensured $f(b) =0$. Coincidentally, $f(b) = f(0)$, which gives us a situation in which Rolle's theorem applies. Then, there exists some point $c$ between $b$ and $0$ such that the derivative of $f$ is equal to zero.
  $endgroup$
  – Eevee Trainer
  55 mins ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Do we not need to check for continuity and differentiability of $f(x)$ in $[0,b]$ and $(0,b)$ respectively before applying Rolle's Theorem?
  $endgroup$
  – blue_eyed_...
  50 mins ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Yeah, technically you do if you want to be rigorous (and that's a fair point to bring up). Though in this case it's one of those cases where it's "obvious" in the sense that $f$ is obviously continuous and differentiable over $Bbb R$. I suppose whether you want to prove that, or just state it as an obvious thing, depends on the rigor expected of you in your course.
  $endgroup$
  – Eevee Trainer
  39 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  With regard to my course, we need to prove those conditions of Rolle's Theorem everytime we are willing to use it.
  $endgroup$
  – blue_eyed_...
  36 mins ago
  

  
  
  
  

add a comment | 

Your Answer

StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3169097%2fusing-rolles-theorem-to-show-an-equation-has-only-one-real-root%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

6

$begingroup$

Let $f(x) = e^x - 1 - x$, and we observe that $f(0)=0$. $f$ is also obviously continuous and differentiable over the real numbers (if you wish to verify that in detail, you can do that separately).

Suppose there exists a second root $b neq 0$ such that $f(0) = f(b) = 0$. Then there exists some $c in (0,b)$ (or $(b,0)$ if $b<0$) such that $f'(c) = 0$ by Rolle's theorem.

$f'(x) = e^x - 1$, however, which satisfies $f'(x) = 0$ only when $x=0$, which is not in any interval $(0,b)$ (or $(b,0)$).

Thus, since no satisfactory $c$ exists, we conclude the equation only has one real root.

share|cite|improve this answer

edited 38 mins ago

answered 1 hour ago

Eevee TrainerEevee Trainer

9,07631640

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I don't understand the second para.
  $endgroup$
  – blue_eyed_...
  56 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  We want to show that there exists no second (unique) root, so we seek a contradiction by supposing it exists. Okay, so if the second root is not unique, it is some real number $b$ that is not equal to our first root, $0$. If $b$ is a root, then we are ensured $f(b) =0$. Coincidentally, $f(b) = f(0)$, which gives us a situation in which Rolle's theorem applies. Then, there exists some point $c$ between $b$ and $0$ such that the derivative of $f$ is equal to zero.
  $endgroup$
  – Eevee Trainer
  55 mins ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Do we not need to check for continuity and differentiability of $f(x)$ in $[0,b]$ and $(0,b)$ respectively before applying Rolle's Theorem?
  $endgroup$
  – blue_eyed_...
  50 mins ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Yeah, technically you do if you want to be rigorous (and that's a fair point to bring up). Though in this case it's one of those cases where it's "obvious" in the sense that $f$ is obviously continuous and differentiable over $Bbb R$. I suppose whether you want to prove that, or just state it as an obvious thing, depends on the rigor expected of you in your course.
  $endgroup$
  – Eevee Trainer
  39 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  With regard to my course, we need to prove those conditions of Rolle's Theorem everytime we are willing to use it.
  $endgroup$
  – blue_eyed_...
  36 mins ago
  

  
  
  
  

add a comment | 

6

$begingroup$

Let $f(x) = e^x - 1 - x$, and we observe that $f(0)=0$. $f$ is also obviously continuous and differentiable over the real numbers (if you wish to verify that in detail, you can do that separately).

Suppose there exists a second root $b neq 0$ such that $f(0) = f(b) = 0$. Then there exists some $c in (0,b)$ (or $(b,0)$ if $b<0$) such that $f'(c) = 0$ by Rolle's theorem.

$f'(x) = e^x - 1$, however, which satisfies $f'(x) = 0$ only when $x=0$, which is not in any interval $(0,b)$ (or $(b,0)$).

Thus, since no satisfactory $c$ exists, we conclude the equation only has one real root.

share|cite|improve this answer

edited 38 mins ago

answered 1 hour ago

Eevee TrainerEevee Trainer

9,07631640

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I don't understand the second para.
  $endgroup$
  – blue_eyed_...
  56 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  We want to show that there exists no second (unique) root, so we seek a contradiction by supposing it exists. Okay, so if the second root is not unique, it is some real number $b$ that is not equal to our first root, $0$. If $b$ is a root, then we are ensured $f(b) =0$. Coincidentally, $f(b) = f(0)$, which gives us a situation in which Rolle's theorem applies. Then, there exists some point $c$ between $b$ and $0$ such that the derivative of $f$ is equal to zero.
  $endgroup$
  – Eevee Trainer
  55 mins ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Do we not need to check for continuity and differentiability of $f(x)$ in $[0,b]$ and $(0,b)$ respectively before applying Rolle's Theorem?
  $endgroup$
  – blue_eyed_...
  50 mins ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Yeah, technically you do if you want to be rigorous (and that's a fair point to bring up). Though in this case it's one of those cases where it's "obvious" in the sense that $f$ is obviously continuous and differentiable over $Bbb R$. I suppose whether you want to prove that, or just state it as an obvious thing, depends on the rigor expected of you in your course.
  $endgroup$
  – Eevee Trainer
  39 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  With regard to my course, we need to prove those conditions of Rolle's Theorem everytime we are willing to use it.
  $endgroup$
  – blue_eyed_...
  36 mins ago
  

  
  
  
  

add a comment | 

$begingroup$

Let $f(x) = e^x - 1 - x$, and we observe that $f(0)=0$. $f$ is also obviously continuous and differentiable over the real numbers (if you wish to verify that in detail, you can do that separately).

Suppose there exists a second root $b neq 0$ such that $f(0) = f(b) = 0$. Then there exists some $c in (0,b)$ (or $(b,0)$ if $b<0$) such that $f'(c) = 0$ by Rolle's theorem.

$f'(x) = e^x - 1$, however, which satisfies $f'(x) = 0$ only when $x=0$, which is not in any interval $(0,b)$ (or $(b,0)$).

Thus, since no satisfactory $c$ exists, we conclude the equation only has one real root.

share|cite|improve this answer

edited 38 mins ago

answered 1 hour ago

Eevee TrainerEevee Trainer

9,07631640

$endgroup$

share|cite|improve this answer

edited 38 mins ago

answered 1 hour ago

Eevee TrainerEevee Trainer

9,07631640

answered 1 hour ago

Eevee TrainerEevee Trainer

9,07631640

answered 1 hour ago

Eevee TrainerEevee Trainer

9,07631640