Sum of two cubes: Difference between revisions
Angerxiety (talk | contribs) |
m Duplicate word removed |
||
(58 intermediate revisions by 25 users not shown) | |||
Line 1: | Line 1: | ||
{{Sources exist|date=January 2023}} |
|||
{{Short description|Mathematical polynomial formula}} |
{{Short description|Mathematical polynomial formula}} |
||
[[File:Sum_and_difference_of_2_cubes.svg|thumb|Visual proof of the formulas for the sum and difference of two cubes]] |
|||
In [[mathematics]], the '''sum of two cubes''' is a [[cubed]] number added to another cubed number. |
|||
== Factorization == |
|||
In [[mathematics]], the '''sum of two cubes''' is a [[cubed]] number added to another cubed number. Every sum of cubes may be factored according to the [[Identity (mathematics)|identity]] |
|||
Every sum of cubes may be factored according to the [[Identity (mathematics)|identity]] |
|||
:<math>a^3+b^3=(a+b)(a^2-ab+b^2)</math> |
|||
<math display="block"> a^3 + b^3 = (a + b)(a^2 - ab + b^2) </math> |
|||
in [[elementary algebra]]. The end term of the identity, <math>b^2</math>, for the sum or [[difference of two cubes]] will always end in the addition of <math>b^2</math>.<ref>{{Cite web |title=GS_MTH110_SumDifferenceCubes |url=https://warriorweb.dinecollege.edu/ICS/icsfs/GS_MTH110_SumDifferenceCubes.pdf?target=ffd89e37-ec64-4a70-9419-9146a3a3a0b5 |url-status=live |access-date=2022-10-24 |website=warriorweb.dinecollge.edu}}</ref> |
|||
in [[elementary algebra]].{{r|mckeague}} |
|||
[[Binomial number|Binomial numbers]] generalize this [[Binomial number#Factorization|factorization]] to higher odd powers. |
|||
== Proof == |
|||
Starting from the [[Sides of an equation|left-hand side]], [[distributive law|distribute]] <math>a^2-ab+b^2</math> to <math>a+b</math> to get |
|||
:<math>(a+b)(a^2-ab+b^2)=a(a^2-ab+b^2)+b(a^2-ab+b^2)</math> |
|||
Using the distributive law, distribute ''a'' to <math>a^2-ab+b^2</math> and ''b'' to <math>a^2-ab+b^2</math> to get |
|||
:<math>a^3-a^2b+ab^2+ba^2-b^2a+b^3</math> |
|||
By combining, both middle terms [[Cancelling out|cancel]]: |
|||
:<math>-a^2b+ba^2+ab^2-b^2a=0</math> |
|||
leaving |
|||
<math>a^3+b^3</math> |
|||
==="SOAP" method=== |
|||
The identity does not actually equal a cube.<ref>{{Cite journal |last=Dickson |first=L. E. |date=1917 |title=Fermat's Last Theorem and the Origin and Nature of the Theory of Algebraic Numbers |url=https://www.jstor.org/stable/2007234 |journal=Annals of Mathematics |volume=18 |issue=4 |pages=161–187 |doi=10.2307/2007234 |jstor=2007234 |issn=0003-486X}}</ref> In order to prove this, ''a'' and ''b'' must be a non-zero [[rational number]]. We will make <math>a=1</math> and <math>b=2</math>. Plugging in ''a'' and ''b'' shows that |
|||
The [[mnemonic]] "SOAP", standing for "Same, Opposite, Always Positive", is sometimes used to memorize the correct placement of the addition and subtraction symbols while factorizing cubes.{{r|kropko}} When applying this method to the factorization, "Same" represents the first term with the same sign as the original expression, "Opposite" represents the second term with the opposite sign as the original expression, and "Always Positive" represents the third term and is always positive. |
|||
:<math>1^3+2^3=(1+2)(1^2-1(2)+2^2)</math> |
|||
:{| cellspacing="4" |
|||
Which if simplified shows that |
|||
|- style="vertical-align:bottom;text-align:center;line-height:0.9;font-size:90%;" |
|||
:<math>1+8=3(1-2+4)</math> |
|||
| || original<br />sign || || '''S'''ame || || '''O'''pposite || || '''A'''lways<br />'''P'''ositive |
|||
And simplifying the equation using the order of operations gets |
|||
|- |
|||
:<math>9=9</math> |
|||
| || style="border:1px solid;border-bottom:none;"| |
|||
9 is the resulting answer, although it is not a cube. However, it is a square, and so is <math>a=2</math> and <math>b=2</math>, which equals to 16. |
|||
| || style="border:1px solid;border-bottom:none;"| |
|||
| || style="border:1px solid;border-bottom:none;"| |
|||
| || style="border:1px solid;border-bottom:none;"| |
|||
|- |
|||
|<math>a^3</math> |
|||
!<math>+</math> |
|||
|<math>b^3\quad=\quad(a</math> |
|||
!<math>+</math> |
|||
|<math>b)(a^2</math> |
|||
!<math>-</math> |
|||
|<math>ab</math> |
|||
!<math>+</math> |
|||
|<math>b^2)</math> |
|||
|- |
|||
|<math>a^3</math> |
|||
!<math>-</math> |
|||
|<math>b^3\quad=\quad(a</math> |
|||
!<math>-</math> |
|||
|<math>b)(a^2</math> |
|||
!<math>+</math> |
|||
|<math>ab</math> |
|||
!<math>+</math> |
|||
|<math>b^2)</math> |
|||
|} |
|||
== |
=== Proof === |
||
Starting with the expression, <math>a^2-ab+b^2</math> and multiplying by ''a'' + ''b''{{r|mckeague}} |
|||
[[Taxicab number]]s are numbers that can be expressed as a sum of two cubes in 2, or more different ways. The smallest taxicab number is 1729<ref>{{Cite web |title=A001235 - OEIS |url=https://oeis.org/A001235 |access-date=2023-01-04 |website=oeis.org}}</ref>, expressed as |
|||
<math display="block"> (a+b)(a^2-ab+b^2) = a(a^2-ab+b^2) + b(a^2-ab+b^2). </math> |
|||
distributing ''a'' and ''b'' over <math>a^2-ab+b^2</math>,{{r|mckeague}} |
|||
and also |
|||
<math display="block"> a^3 - a^2 b + ab^2 + a^2b - ab^2 + b^3 </math> |
|||
and canceling the like terms,{{r|mckeague}} |
|||
<math display="block" > a^3 + b^3 </math>. |
|||
Similarly for the difference of cubes, |
|||
The smallest number expressed as a sum of two cubes in 3 different ways require that both positive and negative integers are allowed. This number is 4104,<ref>{{Cite journal |last=Silverman |first=Joseph H. |date=1993 |title=Taxicabs and Sums of Two Cubes |url=https://www.jstor.org/stable/2324954?origin=crossref |journal=The American Mathematical Monthly |volume=100 |issue=4 |pages=331 |doi=10.2307/2324954}}</ref>expressed as |
|||
<math display="block"> |
|||
\begin{align} |
|||
and |
|||
(a-b)(a^2+ab+b^2) & = a(a^2+ab+b^2) - b(a^2+ab+b^2) \\ |
|||
:<math>15^3 + 9^3</math> |
|||
& = a^3 + a^2 b + ab^2 \; - a^2b - ab^2 - b^3 \\ |
|||
and also |
|||
& = a^3 - b^3. |
|||
:<math>(-12)^3+18^3</math>. |
|||
\end{align}</math> |
|||
== Fermat's last theorem == |
|||
If we don't allow negative integers, the smallest number expressed as a sum of two cubes in 3 different ways is 87,539,319, expressed as |
|||
[[Fermat's last theorem]] in the case of exponent 3 states that the sum of two non-zero integer cubes does not result in a non-zero integer cube. The first recorded proof of the exponent 3 case was given by [[Leonhard Euler|Euler]].{{r|dickson}} |
|||
:<math>436^3 + 167^3</math> |
|||
and |
|||
== Taxicab and Cabtaxi numbers == |
|||
:<math>423^3 + 228^3</math> |
|||
A [[Taxicab number]] is the smallest positive number that can be expressed as a sum of two positive integer cubes in ''n'' distinct ways. The smallest taxicab number after Ta(1) = 1, is Ta(2) = 1729,<ref>{{Cite web |title=A001235 - OEIS |url=https://oeis.org/A001235 |access-date=2023-01-04 |website=oeis.org}}</ref> expressed as |
|||
and also |
|||
:<math> |
:<math>1^3 +12^3</math> or <math>9^3 + 10^3</math> |
||
Ta(3), the smallest taxicab number expressed in 3 different ways, is 87,539,319, expressed as |
|||
:<math>436^3 + 167^3</math>, <math>423^3 + 228^3</math> or <math>414^3 + 255^3</math> |
|||
A [[Cabtaxi number]] is the smallest positive number that can be expressed as a sum of two integer cubes in ''n'' ways, allowing the cubes to be negative or zero as well as positive. The smallest cabtaxi number after Cabtaxi(1) = 0, is Cabtaxi(2) = 91,{{r|tdw}} expressed as: |
|||
:<math>3^3 + 4^3</math> or <math>6^3 - 5^3</math> |
|||
Cabtaxi(3), the smallest Cabtaxi number expressed in 3 different ways, is 4104,{{r|tstc}} expressed as |
|||
:<math>16^3 + 2^3</math>, <math>15^3 + 9^3</math> or <math>-12^3+18^3</math> |
|||
== See also == |
|||
* [[Difference of two squares]] |
|||
* [[Binomial number]] |
|||
* [[Sophie Germain's identity]] |
|||
* [[Aurifeuillean factorization]] |
|||
* [[Fermat's last theorem]] |
|||
== References == |
== References == |
||
{{reflist |
{{reflist|refs= |
||
<ref name="dickson">{{cite journal |
|||
| last = Dickson | first = L. E. |
|||
| date = 1917 |
|||
| title = Fermat's Last Theorem and the Origin and Nature of the Theory of Algebraic Numbers |
|||
| journal = Annals of Mathematics |
|||
| volume = 18 |
|||
| issue = 4 |
|||
| pages = 161–187 |
|||
| doi = 10.2307/2007234 |
|||
| jstor = 2007234 |
|||
| issn = 0003-486X |
|||
}}</ref> |
|||
<ref name="kropko">{{cite book |
|||
| last = Kropko | first = Jonathan |
|||
| title = Mathematics for social scientists |
|||
| date = 2016 |
|||
| publisher = Sage |
|||
| location = Los Angeles, LA |
|||
| isbn = 9781506304212 |
|||
| page = 30 |
|||
}}</ref> |
|||
<ref name="mckeague">{{cite book |
|||
| last = McKeague | first = Charles P. |
|||
| year = 1986 |
|||
| title = Elementary Algebra |
|||
| publisher = Academic Press |
|||
| page = 388 |
|||
| edition = 3rd |
|||
| url = https://books.google.com/books?id=sq7iBQAAQBAJ&pg=PA388 |
|||
| isbn = 0-12-484795-1 |
|||
}}</ref> |
|||
<ref name="tdw">{{cite journal |
|||
| last = Schumer | first = Peter |
|||
| year = 2008 |
|||
| title = Sum of Two Cubes in Two Different Ways |
|||
| journal = Math Horizons |
|||
| url = https://www.jstor.org/stable/25678781 |
|||
| volume = 16 |
|||
| issue = 2 |
|||
| pages = 8–9 |
|||
| doi = 10.1080/10724117.2008.11974795 |
|||
| jstor = 25678781 |
|||
}}</ref> |
|||
<ref name="tstc">{{cite journal |
|||
| last = Silverman | first = Joseph H. |
|||
| year = 1993 |
|||
| title = Taxicabs and Sums of Two Cubes |
|||
| journal = The American Mathematical Monthly |
|||
| volume = 100 |
|||
| issue = 4 |
|||
| pages = 331–340 |
|||
| doi = 10.2307/2324954 |
|||
| jstor = 2324954 |
|||
| issn = 0002-9890 |
|||
}}</ref> |
|||
}} |
|||
==Further reading== |
==Further reading== |
||
*{{cite journal |last1=Broughan |first1=Kevin A. |title=Characterizing the Sum of Two Cubes |journal=[[Journal of Integer Sequences]] |date=January 2003 |volume=6 |issue=4 |page=46 |bibcode=2003JIntS...6...46B |url=https://cs.uwaterloo.ca/journals/JIS/VOL6/Broughan/broughan25.pdf}} |
*{{cite journal |last1=Broughan |first1=Kevin A. |title=Characterizing the Sum of Two Cubes |journal=[[Journal of Integer Sequences]] |date=January 2003 |volume=6 |issue=4 |page=46 |bibcode=2003JIntS...6...46B |url=https://cs.uwaterloo.ca/journals/JIS/VOL6/Broughan/broughan25.pdf}} |
||
[[Category:Algebra]] |
|||
{{Algebra-stub}} |
Latest revision as of 19:18, 26 September 2024
In mathematics, the sum of two cubes is a cubed number added to another cubed number.
Factorization
[edit]Every sum of cubes may be factored according to the identity in elementary algebra.[1]
Binomial numbers generalize this factorization to higher odd powers.
"SOAP" method
[edit]The mnemonic "SOAP", standing for "Same, Opposite, Always Positive", is sometimes used to memorize the correct placement of the addition and subtraction symbols while factorizing cubes.[2] When applying this method to the factorization, "Same" represents the first term with the same sign as the original expression, "Opposite" represents the second term with the opposite sign as the original expression, and "Always Positive" represents the third term and is always positive.
original
signSame Opposite Always
Positive
Proof
[edit]Starting with the expression, and multiplying by a + b[1] distributing a and b over ,[1] and canceling the like terms,[1] .
Similarly for the difference of cubes,
Fermat's last theorem
[edit]Fermat's last theorem in the case of exponent 3 states that the sum of two non-zero integer cubes does not result in a non-zero integer cube. The first recorded proof of the exponent 3 case was given by Euler.[3]
Taxicab and Cabtaxi numbers
[edit]A Taxicab number is the smallest positive number that can be expressed as a sum of two positive integer cubes in n distinct ways. The smallest taxicab number after Ta(1) = 1, is Ta(2) = 1729,[4] expressed as
- or
Ta(3), the smallest taxicab number expressed in 3 different ways, is 87,539,319, expressed as
- , or
A Cabtaxi number is the smallest positive number that can be expressed as a sum of two integer cubes in n ways, allowing the cubes to be negative or zero as well as positive. The smallest cabtaxi number after Cabtaxi(1) = 0, is Cabtaxi(2) = 91,[5] expressed as:
- or
Cabtaxi(3), the smallest Cabtaxi number expressed in 3 different ways, is 4104,[6] expressed as
- , or
See also
[edit]- Difference of two squares
- Binomial number
- Sophie Germain's identity
- Aurifeuillean factorization
- Fermat's last theorem
References
[edit]- ^ a b c d McKeague, Charles P. (1986). Elementary Algebra (3rd ed.). Academic Press. p. 388. ISBN 0-12-484795-1.
- ^ Kropko, Jonathan (2016). Mathematics for social scientists. Los Angeles, LA: Sage. p. 30. ISBN 9781506304212.
- ^ Dickson, L. E. (1917). "Fermat's Last Theorem and the Origin and Nature of the Theory of Algebraic Numbers". Annals of Mathematics. 18 (4): 161–187. doi:10.2307/2007234. ISSN 0003-486X. JSTOR 2007234.
- ^ "A001235 - OEIS". oeis.org. Retrieved 2023-01-04.
- ^ Schumer, Peter (2008). "Sum of Two Cubes in Two Different Ways". Math Horizons. 16 (2): 8–9. doi:10.1080/10724117.2008.11974795. JSTOR 25678781.
- ^ Silverman, Joseph H. (1993). "Taxicabs and Sums of Two Cubes". The American Mathematical Monthly. 100 (4): 331–340. doi:10.2307/2324954. ISSN 0002-9890. JSTOR 2324954.
Further reading
[edit]- Broughan, Kevin A. (January 2003). "Characterizing the Sum of Two Cubes" (PDF). Journal of Integer Sequences. 6 (4): 46. Bibcode:2003JIntS...6...46B.