Difference between revisions of "Euler's inequality"
Flamefoxx99 (talk | contribs) m |
|||
| Line 1: | Line 1: | ||
| − | + | Euler's Inequality states that <cmath>R \ge 2r</cmath> where R is the circumradius and r is the inradius of a non-degenerate triangle | |
| − | Euler's Inequality states that <cmath>R \ge 2r</cmath> | ||
==Proof== | ==Proof== | ||
Let the circumradius be <math>R</math> and inradius <math>r</math>. Let <math>d</math> be the distance between the circumcenter and the incenter. Then <cmath>d=\sqrt{R(R-2r)}</cmath> From this formula, Euler's Inequality follows as <cmath>d^2=R(R-2r)</cmath> By the [[Trivial Inequality]], <math>R(R-2r)</math> is positive. Since <math>R</math> has to be positive as it is the circumradius, <cmath>R-2r \ge 0\\R \ge 2r</cmath> as desired | Let the circumradius be <math>R</math> and inradius <math>r</math>. Let <math>d</math> be the distance between the circumcenter and the incenter. Then <cmath>d=\sqrt{R(R-2r)}</cmath> From this formula, Euler's Inequality follows as <cmath>d^2=R(R-2r)</cmath> By the [[Trivial Inequality]], <math>R(R-2r)</math> is positive. Since <math>R</math> has to be positive as it is the circumradius, <cmath>R-2r \ge 0\\R \ge 2r</cmath> as desired | ||
Revision as of 10:01, 29 June 2013
Euler's Inequality states that ![\[R \ge 2r\]](http://latex.artofproblemsolving.com/b/6/7/b67a21d28c721bc8c4932576a99292686f277554.png)
where R is the circumradius and r is the inradius of a non-degenerate triangle
Proof
Let the circumradius be 
and inradius 
. Let 
be the distance between the circumcenter and the incenter. Then ![\[d=\sqrt{R(R-2r)}\]](http://latex.artofproblemsolving.com/3/5/0/35000a85b7898dabbc4a2f8ccbb8e845d8aff7b5.png)
From this formula, Euler's Inequality follows as ![\[d^2=R(R-2r)\]](http://latex.artofproblemsolving.com/7/e/2/7e2fcd01749b32bd1072381de2ac6589dd730703.png)
By the Trivial Inequality, 
is positive. Since has to be positive as it is the circumradius, ![\[R-2r \ge 0\\R \ge 2r\]](http://latex.artofproblemsolving.com/1/0/1/1012f6f12674066e9de28927aba0f06da411f469.png)
as desired
