|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In [[mathematics]], the '''difference of two squares''' is a [[Square (algebra)|squared]] (multiplied by itself) number subtracted from another squared number. Every difference of squares may be factored according to the [[identity (mathematics)|identity]]
| | Irwin Butts is what my spouse loves to contact me although I don't truly like being known as like that. [http://Www.nutrition411.com/patient-education-materials/grocery-shopping-and-food-preparation/item/889-diet-plans-with-meal-delivery/ diet meal] [http://Www.Nytimes.com/2010/05/05/dining/05diet.html?pagewanted=all delivery] Doing ceramics is what her family and her appreciate. Years ago we moved to [http://Diettogo.com/ Puerto Rico] and my family members loves it. I am a meter reader but I strategy healthy food delivery on altering it.<br><br>Also visit my web page - [http://www.myprgenie.com/view-publication/weight-loss-tips-that-will-reduce-your-waistline http://www.myprgenie.com/view-publication/weight-loss-tips-that-will-reduce-your-waistline] |
| | |
| :<math>a^2-b^2 = (a+b)(a-b)\,\!</math>
| |
| | |
| in [[elementary algebra]].
| |
| | |
| ==Proof==
| |
| The [[mathematical proof|proof]] of the factorization identity is straightforward. Starting from the [[Sides of an equation|right-hand side]], apply the [[distributive law]] to get
| |
| :<math>(a+b)(a-b) = a^2+ba-ab-b^2\,\!</math>, | |
| and set
| |
| :<math>ba - ab = 0\,\!</math>
| |
| as an application of the [[commutative law]]. The resulting identity is one of the most commonly used in mathematics. Among many uses, it gives a simple proof of the [[AM–GM inequality]] in two variables.
| |
| | |
| The proof just given indicates the scope of the identity in [[abstract algebra]]: it will hold in any [[commutative ring]] ''R''.
| |
| | |
| Conversely, if this identity holds in a [[ring (mathematics)|ring]] ''R'' for all pairs of elements ''a'' and ''b'' of the ring, then ''R'' is commutative. To see this, apply the distributive law to the right-hand side of the original equation and get
| |
| :<math>a^2 + ba - ab - b^2\,\!</math>
| |
| | |
| and for this to be equal to <math>a^2 - b^2</math>, we must have
| |
| | |
| :<math>ba - ab = 0\,\!</math>
| |
| | |
| for all pairs ''a'', ''b'' of elements of ''R'', so the ring ''R'' is commutative.
| |
| | |
| ==Geometrical demonstrations==
| |
| [[Image:Difference of two squares.svg|right|170px]]
| |
| | |
| The difference of two squares can also be illustrated geometrically as the difference of two square areas in a [[Plane (mathematics)|plane]]. In the diagram, the shaded part represents the difference between the areas of the two squares, i.e. <math>a^2 - b^2</math>. The area of the shaded part can be found by adding the areas of the two rectangles; <math>a(a-b) + b(a-b)</math>, which can be factorized to <math>(a+b)(a-b)</math>. Therefore <math>a^2 - b^2 = (a+b)(a-b)</math>
| |
| | |
| Another geometric proof proceeds as follows: We start with the figure shown in the first diagram below, a large square with a smaller square removed from it. The side of the entire square is a, and the side of the small removed square is b. The area of the shaded region is <math>a^2-b^2</math>. A cut is made, splitting the region into two rectangular pieces, as shown in the second diagram. The larger piece, at the top, has width a and height a-b. The smaller piece, at the bottom, has width a-b and height b. Now the smaller piece can be detached, rotated, and placed to the right of the larger piece. In this new arrangement, shown in the last diagram below, the two pieces together form a rectangle, whose width is <math>a+b</math> and whose height is <math>a-b</math>. This rectangle's area is <math>(a+b)(a-b)</math>. Since this rectangle came from rearranging the original figure, it must have the same area as the original figure. Therefore, <math>a^2-b^2 = (a+b)(a-b)</math>.
| |
| [[Image:Difference of two squares geometric proof.png]] | |
| | |
| ==Uses==
| |
| ===Factorisation of polynomials===
| |
| The formula for the difference of two squares can be used for factoring [[polynomial]]s that contain the square of a first quantity minus the square of a second quantity. For example, the polynomial <math>x^4 - 1</math> can be factored as follows:
| |
| | |
| <math>x^4 - 1 = (x^2 + 1)(x^2 - 1) = (x^2 + 1)(x + 1)(x - 1)</math>
| |
| | |
| As a second example, the first two terms of <math>x^2 - y^2 + x - y</math> can be factored as <math>(x + y)(x - y)</math>, so we have:
| |
| | |
| <math>x^2 - y^2 + x - y = (x + y)(x - y) + x - y = (x - y)(x + y + 1)</math>
| |
| | |
| | |
| ===Complex number case: sum of two squares=== | |
| The difference of two squares is used to find the [[linear factors]] of the ''sum'' of two squares, using [[complex number]] coefficients.
| |
| | |
| For example, the root of <math>z^2 + 5\,\!</math> can be found using difference of two squares:
| |
| | |
| :<math>z^2 + 5\,\!</math>
| |
| :<math> = z^2 - i^2 \cdot 5</math>
| |
| :<math> = z^2 - (i\sqrt5)^2</math>
| |
| :<math> = (z + i\sqrt5)(z - i\sqrt5)</math>
| |
| | |
| Therefore the linear factors are <math>(z + i\sqrt5)</math> and <math>(z - i\sqrt5)</math>.
| |
| | |
| Since the two factors found by this method are [[Complex conjugate]]s, we can use this in reverse as a method of multiplying a complex number to get a real number. This is used to get real denominators in complex fractions.<ref>[http://www.themathpage.com/alg/complex-numbers.htm#conjugates Complex or imaginary numbers] TheMathPage.com, retrieved 22 December 2011</ref>
| |
| | |
| ===Rationalising denominators===
| |
| The difference of two squares can also be used in the [[Rationalisation (mathematics)|rationalising]] of [[irrational number|irrational]] [[denominator]]s.<ref>[http://www.themathpage.com/alg/multiply-radicals.htm Multiplying Radicals] TheMathPage.com, retrieved 22 December 2011</ref> This is a method for removing [[Nth root|surds]] from expressions (or at least moving them), applying to division by some combinations involving [[square root]]s.
| |
| | |
| For example:
| |
| The denominator of <math>\dfrac{5}{\sqrt{3} + 4}\,\!</math> can be rationalised as follows:
| |
| | |
| :<math>\dfrac{5}{\sqrt{3} + 4}\,\!</math>
| |
| | |
| :<math> = \dfrac{5}{\sqrt{3} + 4} \times \dfrac{\sqrt{3} - 4}{\sqrt{3} - 4}\,\!</math>
| |
| | |
| :<math> = \dfrac{5(\sqrt{3} - 4)}{(\sqrt{3} + 4)(\sqrt{3} - 4)}\,\!</math>
| |
| | |
| :<math> = \dfrac{5(\sqrt{3} - 4)}{\sqrt{3}^2 - 4^2}\,\!</math>
| |
| | |
| :<math> = \dfrac{5(\sqrt{3} - 4)}{3 - 16}\,\!</math>
| |
| | |
| :<math> = -\dfrac{5(\sqrt{3} - 4)}{13}.\,\!</math> | |
| | |
| Here, the irrational denominator <math>\sqrt{3} + 4\,\!</math> has been rationalised to <math>13\,\!</math>.
| |
| | |
| ===Mental arithmetic===
| |
| {{Main|Multiplication algorithm#Quarter square multiplication}}
| |
| The difference of two squares can also be used as an arithmetical short cut. If you are multiplying two numbers whose average is a number which is easily squared the difference of two squares can be used to give you the product of the original two numbers.
| |
| | |
| For example: <math> 27 \times 33 = (30 - 3)(30 + 3)</math>
| |
| | |
| Which means using the difference of two squares <math>27 \times 33</math> can be restated as
| |
|
| |
| <math>a^2 - b^2</math> which is <math>30^2 - 3^2 = 891</math>.
| |
| | |
| ===Difference of two perfect squares===
| |
| | |
| The difference of two consecutive [[square number|perfect square]]s is the sum of the two [[base (exponentiation)|base]]s ''n'' and ''n''+1. This can be seen as follows:
| |
| | |
| <math>
| |
| \begin{array}{lcl}
| |
| (n+1)^2 - n^2 & = & ((n+1)+n)((n+1)-n) \\
| |
| & = & 2n+1
| |
| \end{array}
| |
| </math>
| |
| | |
| Therefore the difference of two consecutive perfect squares is an odd number. Similarly, the difference of two arbitrary perfect squares is calculated as follows:
| |
| | |
| <math>
| |
| \begin{array}{lcl}
| |
| (n+k)^2 - n^2 & = & ((n+k)+n)((n+k)-n) \\
| |
| & = & k(2n+k)
| |
| \end{array}
| |
| </math>
| |
| | |
| Therefore the difference of two even perfect squares is a multiple of 4 and the difference of two odd perfect squares is a multiple of 8.
| |
| | |
| ==Generalizations==
| |
| [[Image:Rhombus understood analytically.svg|thumb|right|Vectors {{math|'''a'''}} (purple), {{math|'''b'''}} (cyan) and {{math|'''a''' + '''b'''}} (blue) are shown with [[arrow (symbol)|arrows]]]]
| |
| The identity also holds in [[inner product space]]s over the [[field (mathematics)|field]] of [[real numbers]], such as for [[dot product]] of [[Euclidean vector]]s:
| |
| :<math>{\mathbf a}\cdot{\mathbf a} - {\mathbf b}\cdot{\mathbf b} = ({\mathbf a}+{\mathbf b})\cdot({\mathbf a}-{\mathbf b})\,\!</math>
| |
| The proof is identical. By the way, assuming that {{math|'''a'''}} and {{math|'''b'''}} have equal [[normed vector space|norms]] (which means that their dot squares are equal), it demonstrates [[analytic geometry|analytically]] the fact that two diagonals of a [[rhombus]] are [[right angle|perpendicular]].
| |
| | |
| ==See also==
| |
| *[[Conjugate (algebra)]]
| |
| *[[Factorization]]
| |
| | |
| ==Notes==
| |
| <references/>
| |
| | |
| ==References==
| |
| *James Stuart Stanton: ''Encyclopedia of Mathematics''. Infobase Publishing, 2005, ISBN 9780816051243, p. 131 ([http://books.google.de/books?id=MfKKMSuthacC&pg=PA131 online copy])
| |
| *Alan S. Tussy, Roy David Gustafson: ''Elementary Algebra, 5th ed.''. Cengage Learning, 2011, ISBN 9781111567668, pp. 467 - 469 ([http://books.google.de/books?id=xwOrtVKSVpoC&pg=PA467 onlicopy])
| |
| | |
| ==External links==
| |
| *[http://www.themathpage.com/alg/difference-two-squares.htm difference of two squares] at mathpages.com
| |
| | |
| | |
| {{DEFAULTSORT:Difference Of Two Squares}}
| |
| [[Category:Elementary algebra]]
| |
| [[Category:Commutative algebra]]
| |
| [[Category:Mathematical identities]]
| |
| [[Category:Articles containing proofs]]
| |