Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Location of Roots Theorem"

(New page: '''Location of roots theorem''' is one of the most intutively obvious properties of continuos functions, as it states that if a continuos function attains positive and negative values, it ...)
 
m (→‎Proof)
 
(4 intermediate revisions by 4 users not shown)
Line 1: Line 1:
−
'''Location of roots theorem''' is one of the most intutively obvious properties of continuos functions, as it states that if a continuos function attains positive and negative values, it must have a root.
+
The '''location of roots theorem''' is one of the most intutively obvious properties of [[continuous function]]s, as it states that if a continuous function attains positive and negative values, it must have a root (i.e. it must pass through 0).
  
 
==Statement==
 
==Statement==
−
Let <math>f:[a,b]\rightarrow\mathbb{R}</math>
+
Let <math>f:[a,b]\rightarrow\mathbb{R}</math> be a continuous function such that <math>f(a)<0</math> and <math>f(b)>0</math>.  Then there is some <math>c\in (a,b)</math> such that <math>f(c)=0</math>.
−
 
 
−
Let <math>f</math> be continuos on <math>[a,b]</math>
 
−
 
 
−
Let <math>f(a)<0</math> and <math>f(b)>0</math>
 
−
 
 
−
Then <math>\exists c\in (a,b)</math> such that <math>f(c)=0</math>
 
  
 
==Proof==
 
==Proof==
Line 15: Line 9:
 
As <math>a\in A</math>, <math>A</math> is non-empty. Also, as <math>A\subset [a,b]</math>, <math>A</math> is bounded
 
As <math>a\in A</math>, <math>A</math> is non-empty. Also, as <math>A\subset [a,b]</math>, <math>A</math> is bounded
  
−
Thus <math>A</math> has a [[Least upper bound]], <math>\sup A=u\in A</math>...(1)
+
Thus <math>A</math> has a [[least upper bound]], <math>\sup A = u \in A.</math>
  
 
If <math>f(u)<0</math>:
 
If <math>f(u)<0</math>:
  
−
As <math>f</math> is continous at <math>u</math>, <math>\exists\delta>0</math> such that <math>x\in V_{\delta}(u)\implies f(x)<0</math>, which contradicts (1)
+
As <math>f</math> is continuous at <math>u</math>, <math>\exists\delta>0</math> such that <math>x\in V_{\delta}(u)\implies f(x)<0</math>, which contradicts (1).
  
 
Also if <math>f(u)>0</math>:
 
Also if <math>f(u)>0</math>:
  
−
<math>f</math> is continuos <math>\implies</math> <math>\exists\delta>0</math> such that <math>x\in V_{\delta}(u)\implies f(x)>0</math>, which, by [[Gap lemma]], again contradicts (1)
+
<math>f</math> is continuous imples <math>\exists\delta>0</math> such that <math>x\in V_{\delta}(u)\implies f(x)>0</math>, which again contradicts (1) by the [[Gap lemma]].
 +
 
 +
Hence, <math>f(u)=0</math>.
  
−
Hence, <math>f(u)=0</math>
 
 
==See Also==
 
==See Also==
 
*[[Bolzano's intermediate value theorem]]
 
*[[Bolzano's intermediate value theorem]]
 
*[[Continuity]]
 
*[[Continuity]]
 +
 +
[[Category:Theorems]]

Latest revision as of 14:06, 5 June 2018

The location of roots theorem is one of the most intutively obvious properties of continuous functions, as it states that if a continuous function attains positive and negative values, it must have a root (i.e. it must pass through 0).

Statement

Let $f:[a,b]\rightarrow\mathbb{R}$ be a continuous function such that $f(a)<0$ and $f(b)>0$. Then there is some $c\in (a,b)$ such that $f(c)=0$.

Proof

Let $A=\{x|x\in [a,b],\; f(x)<0\}$

As $a\in A$, $A$ is non-empty. Also, as $A\subset [a,b]$, $A$ is bounded

Thus $A$ has a least upper bound, $\sup A = u \in A.$

If $f(u)<0$:

As $f$ is continuous at $u$, $\exists\delta>0$ such that $x\in V_{\delta}(u)\implies f(x)<0$, which contradicts (1).

Also if $f(u)>0$:

$f$ is continuous imples $\exists\delta>0$ such that $x\in V_{\delta}(u)\implies f(x)>0$, which again contradicts (1) by the Gap lemma.

Hence, $f(u)=0$.

See Also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Location_of_Roots_Theorem&oldid=94933"