Crthuky

How to avoid supervisors with prejudiced views?

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

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

Is a distribution that is normal, but highly skewed considered Gaussian?

Rotate a column

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

Domestic-to-international connection at Orlando (MCO)

What connection does MS Office have to Netscape Navigator?

How I can get glyphs from a fraktur font and use them as identifiers?

Poetry, calligrams and TikZ/PStricks challenge

Are police here, aren't itthey?

The past simple of "gaslight" – "gaslighted" or "gaslit"?

What is meant by "large scale tonal organization?"

Is there a way to save my career from absolute disaster?

When you upcast Blindness/Deafness, do all targets suffer the same effect?

Necessary condition on homology group for a set to be contractible

Why does standard notation not preserve intervals (visually)

Why is information "lost" when it got into a black hole?

Prepend last line of stdin to entire stdin

Legal workarounds for testamentary trust perceived as unfair

Is it professional to write unrelated content in an almost-empty email?

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

Make solar eclipses exceedingly rare, but still have new moons

I believe this to be a fraud - hired, then asked to cash check and send cash as Bitcoin

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

2

$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 33 mins ago

Eevee Trainer

9,06731640

asked 41 mins ago

blue_eyed_...blue_eyed_...

3,30221755

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

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

  
  
  
  

add a comment | 

2

$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 33 mins ago

Eevee Trainer

9,06731640

asked 41 mins ago

blue_eyed_...blue_eyed_...

3,30221755

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  It is $$exp(x)geq 1+x$$ for all real $x$
  $endgroup$
  – Dr. Sonnhard Graubner
  8 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 33 mins ago

Eevee Trainer

9,06731640

asked 41 mins ago

blue_eyed_...blue_eyed_...

3,30221755

$endgroup$

share|cite|improve this question

edited 33 mins ago

Eevee Trainer

9,06731640

asked 41 mins ago

blue_eyed_...blue_eyed_...

3,30221755

share|cite|improve this question

edited 33 mins ago

Eevee Trainer

9,06731640

asked 41 mins ago

blue_eyed_...blue_eyed_...

3,30221755

edited 33 mins ago

Eevee Trainer

9,06731640

edited 33 mins ago

Eevee Trainer

9,06731640

asked 41 mins ago

blue_eyed_...blue_eyed_...

3,30221755

asked 41 mins ago

blue_eyed_...blue_eyed_...

3,30221755

1 Answer
1

active

oldest

votes

5

$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 13 mins ago

answered 35 mins ago

Eevee TrainerEevee Trainer

9,06731640

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I don't understand the second para.
  $endgroup$
  – blue_eyed_...
  32 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
  30 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_...
  25 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $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
  14 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_...
  11 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');

var $window = $(window),
onScroll = function(e)
var $elem = $('.new-login-left'),
docViewTop = $window.scrollTop(),
docViewBottom = docViewTop + $window.height(),
elemTop = $elem.offset().top,
elemBottom = elemTop + $elem.height();
if ((docViewTop elemBottom))
StackExchange.using('gps', function() StackExchange.gps.track('embedded_signup_form.view', location: 'question_page' ); );
$window.unbind('scroll', onScroll);

;
$window.on('scroll', onScroll);

);

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

5

$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 13 mins ago

answered 35 mins ago

Eevee TrainerEevee Trainer

9,06731640

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I don't understand the second para.
  $endgroup$
  – blue_eyed_...
  32 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
  30 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_...
  25 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $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
  14 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_...
  11 mins ago
  

  
  
  
  

add a comment | 

5

$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 13 mins ago

answered 35 mins ago

Eevee TrainerEevee Trainer

9,06731640

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I don't understand the second para.
  $endgroup$
  – blue_eyed_...
  32 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
  30 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_...
  25 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $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
  14 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_...
  11 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 13 mins ago

answered 35 mins ago

Eevee TrainerEevee Trainer

9,06731640

$endgroup$

share|cite|improve this answer

edited 13 mins ago

answered 35 mins ago

Eevee TrainerEevee Trainer

9,06731640

answered 35 mins ago

Eevee TrainerEevee Trainer

9,06731640

answered 35 mins ago

Eevee TrainerEevee Trainer

9,06731640