|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| [[File:TriangleInequality.svg|thumb|Three examples of the triangle inequality for triangles with sides of lengths ''x, y, z''. The top example shows the case when there is a clear inequality and the bottom example shows the case when the third side, ''z'', is nearly equal to the sum of the other two sides ''x'' + ''y''.]]
| |
| In [[mathematics]], the '''triangle inequality''' states that for any [[triangle]], the sum of the lengths of any two sides must be greater than the length of the remaining side (and, if the setting is a [[Euclidean space]], then the inequality is strict if the triangle is non-[[Degeneracy (mathematics)|degenerate]]).<ref>Wolfram MathWorld - http://mathworld.wolfram.com/TriangleInequality.html</ref><ref name=Khamsi>
| |
|
| |
|
| {{cite book |title=An introduction to metric spaces and fixed point theory |author=Mohamed A. Khamsi, William A. Kirk |url=http://books.google.com/?id=4qXbEpAK5eUC&pg=PA8 |chapter=§1.4 The triangle inequality in ℝ<sup>n</sup> |isbn=0-471-41825-0 |year=2001 |publisher=Wiley-IEEE}}
| |
|
| |
|
| </ref> | | You may be surprised to learn that television is amongst the main reasons behind domestic disputes in America. But in reality, the home user wouldn't need to look over several months of video recording in order that they would generally configure their DVR to record on the continuous 7 to 30 day loop.<br><br>Camera Lenses:CS and C Mount, Fixed and Varifocal, Manual and Auto Iris, 2. The controls will consist of a multiplexer, time lapse VCR and telemetry controller. Here you are able to set the IP address to become the same because PC, with the exception in the last three digits.<br><br>Each DVR receives their very own exclusive good [https://wiki.lovefm.us/index.php?title=4_Ridiculous_Rules_About_4_Camera_Dvr_Recorder quality components]. For the first few days, post the theft, I used an extra i - Phone 3 that individuals had inside a drawer. They possess a good space for storing to save as numerous movies [http://gb.Taiwan-panorama.com/han/2/1/7/cctvdvrreviews.com cctv dvr Comparison] we wish. This tactic might seem strange to managers who've used analog systems, which require information being kept onsite. You can easily control cameras remotely along with the DVR can detect motion to show cameras don and doff, thus saving disk [http://big5.gd.gov.cn/gate/big5/cctvdvrreviews.com/ zmodo 16 channel cctv dvr] space and power. With such technology this indicates inevitable that companies will have to consider it in order to maintain up while using software in the future.<br><br>It aims at delivering high quality products at competitive prices backed up by having an efficient tech support team system. As the Palm Terraces is close on the upcoming Metro line, progressing to other aspects of Gurgaon and Delhi is going to be just reliant on few minutes' travel. Use secure passwords and change them regularly: While setting up a password you must keep planned that it should not the simple for you to definitely guess. This sum total can stretch the budget of institutions such as schools. Kitchen timers work adequately for reminding you when you ought to get from the computer, the TV or high tech game system. It is anticipated that a school produces a thorough inventory of their needs and security concerns before committing to them.<br><br>Many everyone has cctv 4 channel also noticed this disadvantage: You can't record a show as you watch another program, which makes it less than ideal as a DVR. What's more valuable is that you happen to be careful using your CCTV systems to acheive the very most from them and improve your security up to possible. However, nowadays, [http://moto-slownik.pl/The_Idiot_s_Guide_To_Hikvision_8_Channel_Dvr_Explained scalping systems] are used by residences and commercial buildings too. AVer - Media's AVer - TV HD DVR MTVHDDVRR is a step up for the HDMI realm.<br><br>As just a few fact, it was specifically designed for safety and management applications in numerous environments. The automotive locksmiths are specialized within the provision of advanced services for various kinds for vehicles including motor bikes, cars, jeeps, buses and trucks.<br><br>These tools are acquired for reasons of compliance with rules and policies of the organization and security systems are specially purposes. Fast meals are full of fat, sodium and chemicals that worsen the method that you already feel. You may need to position your cameras to record areas such because cash area or areas where popular or expensive merchandise is found. Jesus ministered to the people from all walks of life, visiting them within their own homes and environments.<br><br>Is a have to manage the workers if they perform their job properly. Plus, many providers also offer high-speed Internet and home phone services. Because CCTV deters burglars and intruders, many people tend to utilize CCTV as part with their home's security package. And when crime does occur, CCTV alarm system incident recording provides valuable evidence, increasing the likelihood of a conviction.<br><br>The absolute wireless hidden camera and recording system is often a good choice. Presence the best fortified schools in Delhi; they cater appropriate air out technology facilitated classrooms and preeminent infrastructure. They give a range of covert and overt CCTV cameras that you should choose from based on whether you want your security to act like a detection method or deterrent.<br><br> |
|
| |
|
| In [[Euclidean geometry]] and some other geometries the triangle inequality is a theorem about distances. In Euclidean geometry, for [[right triangle]]s it is a consequence of the [[Pythagorean theorem]], and for general triangles a consequence of the [[law of cosines]], although it may be proven without these theorems. The inequality can be viewed intuitively in either '''R'''<sup>2</sup> or '''R'''<sup>3</sup>. The figure at the right shows three examples beginning with clear inequality (top) and approaching equality (bottom). In the Euclidean case, equality occurs only if the triangle has a 180° angle and two 0° angles, making the three [[Vertex (geometry)|vertices]] [[Straight line|collinear]], as shown in the bottom example. Thus, in Euclidean geometry, the shortest distance between two points is a straight line.
| | We supply been told setting goals can be a good strategy for saving time given it helps us to get focused. samsung sme 2220 camera Vo - IP gets signal from your transmitter being a analog data and transfers being a digital signal for the internet. This makes it easy for you to protect perhaps the most remote building sites or vacant properties. |
| | |
| In [[spherical geometry]], the shortest distance between two points is an arc of a [[great circle]], but the triangle inequality holds provided the restriction is made that the distance between two points on a sphere is the length of a minor spherical line segment (that is, one with central angle in [0, π]) with those endpoints.<ref name= Ramos>
| |
| | |
| {{cite book |title=Robotics: Science and Systems IV |author=Oliver Brock, Jeff Trinkle, Fabio Ramos |url=http://books.google.com/?id=fvCaQfBQ7qEC&pg=PA195 |page=195 |isbn=0-262-51309-9 |publisher=MIT Press |year=2009}}
| |
| | |
| </ref><ref name=Ramsay>
| |
| | |
| {{cite book |title=Introduction to hyperbolic geometry |author=Arlan Ramsay, Robert D. Richtmyer |url=http://books.google.com/?id=0QA_1lKC0dwC&pg=PA17 |page=17 |isbn=0-387-94339-0 |year=1995 |publisher=Springer}}
| |
| | |
| </ref>
| |
| | |
| The triangle inequality is a ''defining property'' of [[norm (mathematics)|norms]] and measures of [[Metric_(mathematics)#Definition|distance]]. This property must be established as a theorem for any function proposed for such purposes for each particular space: for example, spaces such as the [[real number]]s, [[Euclidean space]]s, the [[Lp space|L<sup>p</sup> space]]s (''p'' ≥ 1), and [[inner product space]]s.
| |
| | |
| ==Euclidean geometry==
| |
| [[File:Euclid triangle inequality.svg|thumb|Euclid's construction for proof of the triangle inequality for plane geometry.]]
| |
| Euclid proved the triangle inequality for distances in [[Euclidean geometry|plane geometry]] using the construction in the figure.<ref name=Jacobs>
| |
| | |
| {{cite book |page=201 |author=Harold R. Jacobs |title=Geometry: seeing, doing, understanding |url=http://books.google.com/?id=XhQRgZRDDq0C&pg=PA201 |isbn=0-7167-4361-2 |edition=3rd |publisher=Macmillan |year=2003}}
| |
| | |
| </ref> Beginning with triangle ABC, an isosceles triangle is constructed with one side taken as BC and the other equal leg BD along the extension of side AB. It then is argued that angle β > α, so side {{overline|AD}} > {{overline|AC}}. But {{overline|AD}} = {{overline|AB}} + {{overline|BD}} = {{overline|AB}} + {{overline|BC}} so the sum of sides {{overline|AB}} + {{overline|BC}} > {{overline|AC}}. This proof appears in [[Euclid's Elements]], Book 1, Proposition 20.<ref name=Joyce>
| |
| | |
| {{cite web
| |
| | url = http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI20.html
| |
| | title = Euclid's elements, Book 1, Proposition 20
| |
| | first =
| |
| | last =
| |
| | author = David E. Joyce
| |
| | authorlink =
| |
| | coauthors =
| |
| | date =
| |
| | month =
| |
| | year = 1997
| |
| | work = Euclid's elements
| |
| | publisher = Dept. Math and Computer Science, Clark University
| |
| | location =
| |
| | page =
| |
| | pages =
| |
| | at =
| |
| | language =
| |
| | trans_title =
| |
| | doi =
| |
| | archiveurl =
| |
| | archivedate =
| |
| | accessdate = 2010-06-25
| |
| | quote =
| |
| | ref =
| |
| | separator =
| |
| | postscript =
| |
| }}
| |
| | |
| </ref>
| |
| | |
| ===Mathematical expression of the constraint on the sides of a triangle===
| |
| The triangle inequality, as stated in words, literally translates into three inequalities (given that the quantities ''a'', ''b'', ''c'' are all positive):
| |
| :<math>a+b>c, b+c>a, c+a>b.</math>
| |
| A more succinct form of such a statement can easily be shown to be
| |
| :<math>|a-b|<c<a+b.</math>
| |
| | |
| ===Right triangle===
| |
| [[File:Isosceles triangle made of right triangles.svg|thumb|Isosceles triangle with equal sides {{overline|AB}} = {{overline|AC}} divided into two right triangles by an altitude drawn from one of the two base angles.]]
| |
| A specialization of this argument to right triangles is:<ref name=Palmer>
| |
| | |
| {{cite book |title=Practical mathematics for home study: being the essentials of arithmetic, geometry, algebra and trigonometry |author=Claude Irwin Palmer |url=http://books.google.com/?id=EAmgAAAAMAAJ&pg=PA422 |page=422 |publisher=McGraw-Hill |year=1919}}
| |
| | |
| </ref>
| |
| :''In a right triangle, the hypotenuse is greater than either of the two sides, and less than their sum.''
| |
| | |
| The second part of this theorem already is established above for any side of any triangle. The first part is established using the lower figure. In the figure, consider the right triangle ADC. An isosceles triangle ABC is constructed with equal sides {{overline|AB}} = {{overline|AC}}. From the [[triangle postulate]], the angles in the right triangle ADC satisfy:
| |
| :<math> \alpha + \gamma = \pi /2 \ . </math>
| |
| Likewise, in the isosceles triangle ABC, the angles satisfy:
| |
| :<math>2\beta + \gamma = \pi \ . </math>
| |
| Therefore,
| |
| :<math> \alpha = \pi/2 - \gamma ,\ \mathrm{while} \ \beta= \pi/2 - \gamma /2 \ ,</math>
| |
| and so, in particular,
| |
| :<math>\alpha < \beta \ . </math>
| |
| That means side AD opposite angle α is shorter than side AB opposite the larger angle β. But {{overline|AB}} = {{overline|AC}}. Hence:
| |
| :<math>\overline{AC} > \overline{AD} \ . </math>
| |
| A similar construction shows {{overline|AC}} > {{overline|DC}}, establishing the theorem.
| |
| | |
| An alternative proof (also based upon the triangle postulate) proceeds by considering three positions for point B:<ref name=Zawaira>
| |
| | |
| {{cite book |title=A primer for mathematics competitions |url=http://books.google.com/?id=A21T73sqZ3AC&pg=PA30 |chapter=Lemma 1: In a right-angled triangle the hypotenuse is greater than either of the other two sides |author=Alexander Zawaira, Gavin Hitchcock |isbn=0-19-953988-X |year=2009 |publisher=Oxford University Press}}
| |
| | |
| </ref> (i) as depicted (which is to be proven), or (ii) B coincident with D (which would mean the isosceles triangle had two right angles as base angles plus the vertex angle γ, which would violate the [[triangle postulate]]), or lastly, (iii) B interior to the right triangle between points A and D (in which case angle ABC is an exterior angle of a right triangle BDC and therefore larger than π/2, meaning the other base angle of the isosceles triangle also is greater than π/2 and their sum exceeds π in violation of the triangle postulate).
| |
| | |
| This theorem establishing inequalities is sharpened by [[Pythagoras' theorem]] to the equality that the square of the length of the hypotenuse equals the sum of the squares of the other two sides.
| |
| | |
| ===Some practical examples of the use of the triangle inequality===
| |
| Consider a triangle whose sides are in an [[arithmetic progression]] and let the sides be ''a, a + d, a + 2d''. Then the triangle inequality requires that
| |
| | |
| :<math>
| |
| 0<a<2a+3d \,</math>
| |
| :<math>
| |
| 0<a+d<2a+2d \,</math>
| |
| :<math>
| |
| 0<a+2d<2a+d. \,</math>
| |
| | |
| To satisfy all these inequalities requires
| |
| | |
| :<math> a>0 \,</math> and <math> -\frac{a}{3}<d<a. </math><ref>{{cite journal|title=input: ''solve 0<a<2a+3d, 0<a+d<2a+2d, 0<a+2d<2a+d,'' |last=Wolfram{{!}}Alpha|journal=Wolfram Research|url=http://www.wolframalpha.com/input/?i=solve%200%3Ca%3C2a%2B3d%2C%200%3Ca%2Bd%3C2a%2B2d%2C%200%3Ca%2B2d%3C2a%2Bd&t=ff3tb01|accessdate=2010-09-07}}</ref>
| |
| | |
| When ''d'' is chosen such that ''d = a/3'', it generates a right triangle that is always similar to the [[Pythagorean triple]] with sides ''3, 4, 5''.
| |
| | |
| Now consider a triangle whose sides are in a [[geometric progression]] and let the sides be ''a, ar, ar<sup>2</sup>''. Then the triangle inequality requires that
| |
| | |
| :<math> 0<a<ar+ar^2 \,</math>
| |
| :<math> 0<ar<a+ar^2 \,</math>
| |
| :<math> 0<ar^2<a+ar. \,</math>
| |
| | |
| The first inequality requires ''a > 0'', consequently it can be divided through and eliminated. With ''a > 0'', the middle inequality only requires ''r > 0''. This now leaves the first and third inequalities needing to satisfy
| |
| | |
| :<math>
| |
| \begin{align}
| |
| r^2+r-1 & {} >0 \\
| |
| r^2-r-1 & {} <0.
| |
| \end{align}
| |
| \,</math>
| |
| | |
| The first of these quadratic inequalities requires ''r'' to range in the region beyond the value of the positive root of the quadratic equation <br />
| |
| ''r<sup>2</sup> + r − 1 = 0'', i.e. ''r > φ − 1'' where φ is the [[golden ratio]]. The second quadratic inequality requires ''r'' to range between ''0'' and the positive root of the quadratic equation ''r<sup>2</sup> − r − 1 = 0'', i.e. '' 0 < r < φ''. The combined requirements result in ''r'' being confined to the range
| |
| :<math>\varphi - 1 < r <\varphi\,</math> and <math> a >0.\,</math><ref>{{cite journal|title=input: ''solve 0<a<ar+ar<sup>2</sup>, 0<ar<a+ar<sup>2</sup>, 0<ar<sup>2</sup><a+ar'' |last=Wolfram{{!}}Alpha|journal=Wolfram Research|url=http://www.wolframalpha.com/input/?i=solve+0%3Ca%3Car%2Bar^2%2C+0%3Car%3Ca%2Bar^2%2C+0%3Car^2%3Ca%2Bar|accessdate=2010-09-07}}</ref>
| |
| | |
| When ''r'' the common ratio is chosen such that ''r = √φ'' it generates a right triangle that is always similar to the [[Kepler triangle]].
| |
| | |
| ===Generalization of the inequality to any polygon===
| |
| The triangle inequality can be extended by [[mathematical induction]] to arbitrary polygonal paths, showing that the total length of such a path is no less than the length of the straight line between its endpoints. Consequently the length of any polygon side is always less than the sum of the other polygon side lengths.
| |
| | |
| ==== Example of the generalized polygon inequality for a quadrilateral ====
| |
| Consider a quadrilateral whose sides are in a [[geometric progression]] and let the sides be ''a, ar, ar<sup>2</sup>, ar<sup>3</sup>''. Then the generalized polygon inequality requires that
| |
| | |
| :<math> 0<a<ar+ar^2+ar^3 \,</math>
| |
| :<math> 0<ar<a+ar^2+ar^3 \,</math>
| |
| :<math> 0<ar^2<a+ar+ar^3 \,</math>
| |
| :<math> 0<ar^3<a+ar+ar^2. \,</math>
| |
| | |
| These inequalities for <math> a>0</math> reduce to the following
| |
| | |
| :<math> r^3+r^2+r-1>0 \,</math>
| |
| :<math> r^3-r^2-r-1<0. \,</math><ref>{{cite journal|title=input: ''solve 0<a<ar+ar<sup>2</sup>+ar<sup>3</sup>, 0<ar<sup>3</sup><a+ar+ar<sup>2</sup>'' |last=Wolfram{{!}}Alpha|journal=Wolfram Research|url=http://www.wolframalpha.com/input/?i=solve%20{0%3Ca%3Ca*r%2Ba*r^2%2Ba*r^3%2C%200%3Ca*r^3%3Ca%2Ba*r%2Ba*r^2}&t=ff3tb01|accessdate=2012-07-29}}</ref>
| |
| The LHS polynomials of these two inequalities have roots that are the [[Generalizations_of_Fibonacci_numbers#Tribonacci_numbers|tribonacci constant]] and its reciprocal. Consequently r is limited to the range <math>1/t <r<t</math> where ''t'' is the tribonacci constant.
| |
| | |
| ==== Relationship with shortest paths ====
| |
| [[File:Arclength.svg|300px|thumb|The arc length of a curve is defined as the least upper bound of the lengths of polygonal approximations.]]
| |
| This generalization can be used to prove that the shortest curve between two points in Euclidean geometry is a straight line.
| |
| | |
| No polygonal path between two points is shorter than the line between them. This implies that no curve can have an [[arc length]] less than the distance between its endpoints. By definition, the arc length of a curve is the [[least upper bound]] of the lengths of all polygonal approximations of the curve. The result for polygonal paths shows that the straight line between the endpoints is shortest of all the polygonal approximations. Because the arc length of the curve is greater than or equal to the length of every polygonal approximation, the curve itself cannot be shorter than the straight line path.<ref>{{cite book|title=Numbers and Geometry|author=John Stillwell|year=1997|publisher=Springer|isbn=978-0-387-98289-2|url=http://books.google.com/?id=4elkHwVS0eUC&pg=PA95}} p. 95.</ref>
| |
| | |
| ===Generalization of the inequality to higher dimensions===
| |
| In Euclidean space, the hypervolume of an (''n''−1)-[[Facet (mathematics)|facet]] of an ''n''-[[simplex]] is less than or equal to the sum of the hypervolumes of the other ''n'' facets. In particular, the area of a triangular face of a [[tetrahedron]] is less than or equal to the sum of the areas of the other three sides.
| |
| | |
| ==Normed vector space==
| |
| [[File:Vector-triangle-inequality.svg|thumb|300px|Triangle inequality for norms of vectors.]]
| |
| In a [[normed vector space]] ''V'', one of the defining properties of the [[norm (mathematics)|norm]] is the triangle inequality:
| |
| | |
| :<math>\displaystyle \|x + y\| \leq \|x\| + \|y\| \quad \forall \, x, y \in V</math>
| |
| | |
| that is, the norm of the [[Vector_sum#Addition_and_subtraction|sum of two vectors]] is at most as large as the sum of the norms of the two vectors. This is also referred to as [[subadditivity]]. For any proposed function to behave as a norm, it must satisfy this requirement.<ref name=Kress>
| |
| | |
| {{cite book |title=Numerical analysis |author=Rainer Kress |chapter=§3.1: Normed spaces |url=http://books.google.com/?id=e7ZmHRIxum0C&pg=PA26 |page=26 |isbn=0-387-98408-9 |year=1988 |publisher=Springer}}</ref>
| |
| | |
| If the normed space is [[euclidean space|euclidean]], or, more generally, [[Strictly convex space|strictly convex]], then <math>\|x+y\|=\|x\|+\|y\|</math> if and
| |
| only if the triangle formed by <math>x</math>,<math>y</math>, and <math>x+y</math>, is degenerate, that is,
| |
| <math>x</math> and <math>y</math> are on the same ray, i.e., <math>x=0</math> or <math>y=0</math>, or
| |
| <math>x=\alpha y</math> for some <math>\alpha > 0 </math>. This property characterizes strictly convex normed spaces such as
| |
| the <math>\ell_p</math> spaces <math>1<p<\infty</math>. However, there are normed spaces in which this is
| |
| not true. For instance, consider the plane with the <math>\ell_1</math> norm (the [[Manhattan distance]]) and
| |
| denote <math>x=(1,0)</math> and <math>y=(0,1)</math>. Then the triangle formed by
| |
| <math>x</math>,<math>y</math>, and <math>x+y</math>, is non-degenerate but
| |
| | |
| :<math>\|x+y\|=\|(1,1)\|=|1|+|1|=2=\|x\|+\|y\|.</math>
| |
| | |
| ===Example norms===
| |
| *''Absolute value as norm for the [[real line]].'' To be a norm, the triangle inequality requires that the [[absolute value]] satisfy for any real numbers ''x'' and ''y'':
| |
| ::<math>|x + y| \leq |x|+|y|,</math>
| |
| | |
| :which it does.
| |
| | |
| The triangle inequality is useful in [[mathematical analysis]] for determining the best upper estimate on the size of the sum of two numbers, in terms of the sizes of the individual numbers.
| |
| | |
| There is also a lower estimate, which can be found using the ''reverse triangle inequality'' which states that for any real numbers ''x'' and ''y'':
| |
| | |
| :<math>|x-y| \geq \bigg||x|-|y|\bigg|.</math>
| |
| | |
| *''Inner product as norm in an [[inner product space]].'' If the norm arises from an inner product (as is the case for Euclidean spaces), then the triangle inequality follows from the [[Cauchy–Schwarz inequality]] as follows: Given vectors ''x'' and ''y'', and denoting the inner product as <math>\langle x,\ y \rangle \,</math>:<ref name= Stillwell>
| |
| | |
| {{cite book |title=The four pillars of geometry |author=John Stillwell |page=80 |url=http://books.google.com/?id=fpAjJ6VJ3y8C&pg=PA80 |isbn=0-387-25530-3 |year=2005 |publisher=Springer}}
| |
| | |
| </ref>
| |
| :{|
| |
| |<math>\|x + y\|^2</math> || <math>= \langle x + y, x + y \rangle</math>
| |
| |-
| |
| | || <math>= \|x\|^2 + \langle x, y \rangle + \langle y, x \rangle + \|y\|^2</math>
| |
| |-
| |
| | || <math>\le \|x\|^2 + 2|\langle x, y \rangle| + \|y\|^2</math>
| |
| |-
| |
| | || <math>\le \|x\|^2 + 2\|x\|\|y\| + \|y\|^2</math> (by the Cauchy-Schwarz Inequality)
| |
| |-
| |
| | || <math>= \left(\|x\| + \|y\|\right)^2</math>
| |
| |}
| |
| :where the last form is a consequence of:
| |
| | |
| ::<math>\|x\|^2 + 2\|x\|\|y\| + \|y\|^2 = \left(\|x\| + \|y\|\right)^2 \ .</math>
| |
| | |
| The Cauchy-Schwarz Inequality turns into an equality if and only if <math>x</math> and <math>y</math>
| |
| are linearly dependent. The inequality
| |
| <math>\langle x, y \rangle + \langle y, x \rangle \le 2|\langle x, y \rangle| </math>
| |
| turns into an equality for linearly dependent <math>x</math> and <math>y</math>
| |
| if and only if one of the vectors <math>x</math> or <math>y</math> is a ''nonnegative'' scalar of the other.
| |
| | |
| :Taking the square root of the final result gives the triangle inequality.
| |
| *[[p-norm|''P-norm]]: a commonly used norm is the [[p-norm|''p''-norm]]:
| |
| | |
| ::<math>\|x\|_p = \left( \sum_{i=1}^n |x_i|^p \right) ^{1/p} \ , </math>
| |
| | |
| :where the <math>x_i</math> are the components of vector <math>x</math>. For ''p''=2 the ''p''-norm becomes the ''Euclidean norm'':
| |
| ::<math>\|x\|_2 = \left( \sum_{i=1}^n |x_i|^2 \right) ^{1/2} = \left( \sum_{i=1}^n x_{i}^2 \right) ^{1/2} \ , </math>
| |
| :which is [[Pythagoras' theorem]] in ''n''-dimensions, a very special case corresponding to an inner product norm. Except for the case ''p''=2, the ''p''-norm is ''not'' an inner product norm, because it does not satisfy the [[parallelogram law]]. The triangle inequality for general values of ''p'' is called [[Minkowski's inequality]].<ref name=Saxe>
| |
| | |
| {{cite book |title=Beginning functional analysis |author= Karen Saxe |url=http://books.google.com/?id=0LeWJ74j8GQC&pg=PA61 |page=61 |isbn=0-387-95224-1 |publisher=Springer |year=2002}}
| |
| | |
| </ref> It takes the form:
| |
| ::<math>\|x+y\|_p \le \|x\|_p + \|y\|_p \ .</math>
| |
| | |
| ==Metric space==
| |
| In a [[metric space]] ''M'' with metric ''d'', the triangle inequality is a requirement upon [[Metric_(mathematics)#Definition|distance]]:
| |
| :<math>d(x,\ z) \le d(x,\ y) + d(y,\ z) \ , </math>
| |
| | |
| for all ''x'', ''y'', ''z'' in ''M''. That is, the distance from ''x'' to ''z'' is at most as large as the sum of the distance from ''x'' to ''y'' and the distance from ''y'' to ''z''.
| |
| | |
| The triangle inequality is responsible for most of the interesting structure on a metric space, namely, convergence. This is because the remaining requirements for a metric are rather simplistic in comparison. For example, the fact that any [[limit of a sequence|convergent sequence]] in a metric space is a [[Cauchy sequence]] is a direct consequence of the triangle inequality, because if we choose any <math>x_n</math> and <math>x_m</math> such that <math>d(x_n, x)<\varepsilon/2</math> and <math>d(x_m, x)<\varepsilon/2</math>, where <math>\varepsilon>0</math> is given and arbitrary (as in the definition of a limit in a metric space), then by the triangle inequality, <math>d(x_n, x_m) \leq d(x_n, x) + d(x_m, x)<\varepsilon/2 + \varepsilon/2 = \varepsilon</math>, so that the sequence <math>\{x_n\}</math> is a Cauchy sequence, by definition.
| |
| | |
| This version of the triangle inequality reduces to the one stated above in case of normed vector spaces where a metric is induced via <math>\displaystyle d(x,y):=\|x - y\|</math>, with <math>\displaystyle x - y</math> being the vector pointing from point ''y'' to ''x''.
| |
| | |
| ==Reverse triangle inequality==
| |
| The '''reverse triangle inequality''' is an elementary consequence of the triangle inequality that gives lower bounds instead of upper bounds. For plane geometry the statement is:<ref name=inequality>
| |
| | |
| {{cite book |title=The popular educator; fourth volume |url=http://books.google.com/?id=lTACAAAAQAAJ&pg=PA196 |page=196 |chapter=Exercise I. to proposition XIX |year=1854 |publisher=John Cassell |location=Ludgate Hill, London |author=Anonymous}}
| |
| | |
| </ref>
| |
| | |
| :''Any side of a triangle is greater than the difference between the other two sides''.
| |
| | |
| In the case of a normed vector space, the statement is:
| |
| : <math>\bigg|\|x\|-\|y\|\bigg| \leq \|x-y\|,</math>
| |
| or for metric spaces, | ''d''(''y'', ''x'') − ''d''(''x'', ''z'') | ≤ ''d''(''y'', ''z''). | |
| This implies that the norm ||–|| as well as the distance function ''d''(''x'', –) are [[Lipschitz continuity|Lipschitz continuous]] with Lipschitz constant 1, and therefore are in particular [[uniform continuity|uniformly continuous]].
| |
| | |
| The proof for the reverse triangle uses the regular triangle inequality, and <math> \|y-x\| = \|-1(x-y)\| = |-1|\|x-y\| = \|x-y\| </math>:
| |
| : <math> \|x\| = \|(x-y) + y\| \leq \|x-y\| + \|y\| \Rightarrow \|x\| - \|y\| \leq \|x-y\|, </math>
| |
| : <math> \|y\| = \|(y-x) + x\| \leq \|y-x\| + \|x\| \Rightarrow \|x\| - \|y\| \geq -\|x-y\|, </math>
| |
| | |
| Combining these two statements gives:
| |
| : <math> -\|x-y\| \leq \|x\|-\|y\| \leq \|x-y\| \Rightarrow \bigg|\|x\|-\|y\|\bigg| \leq \|x-y\|.</math>
| |
| | |
| ==Reversal in Minkowski space==
| |
| In the usual [[Minkowski space]] and in Minkowski space extended to an arbitrary number of spatial dimensions, assuming null or timelike vectors in the same time direction, the triangle inequality is reversed:
| |
| : <math> \|x+y\| \geq \|x\| + \|y\| \; \forall x, y \in V</math> such that <math> \|x\|, \|y\| \geq 0 </math> and <math> t_x , t_y \geq 0.</math>
| |
| | |
| A physical example of this inequality is the [[twin paradox]] in [[special relativity]].
| |
| | |
| ==See also==
| |
| * [[Subadditivity]]
| |
| * [[Minkowski inequality]]
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| * {{Cite book|authorlink = Daniel Pedoe|last=Pedoe|first=Daniel|title = Geometry: A comprehensive course|publisher=Dover|year=1988|isbn = 0-486-65812-0|postscript = <!--None-->}}.
| |
| * {{Cite book | last1=Rudin | first1=Walter | author1-link=Walter Rudin | title=Principles of Mathematical Analysis | publisher=[[McGraw-Hill]]| location=New York | isbn=0-07-054235-X | year=1976 | postscript=<!--None-->}}.
| |
| | |
| ==External links==
| |
| {{ProofWiki|id=Triangle_Inequality|title=Triangle inequality}}
| |
| | |
| {{DEFAULTSORT:Triangle Inequality}}
| |
| [[Category:Geometric inequalities]]
| |
| [[Category:Linear algebra]]
| |
| [[Category:Metric geometry]]
| |
| [[Category:Articles containing proofs]]
| |
| [[Category:Theorems in geometry]]
| |