Jump to content

Sum of two cubes: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m Raydann moved page Draft:Sum of two cubes to Sum of two cubes: Publishing accepted Articles for creation submission (AFCH 0.9.1)
m Duplicate word removed
 
(65 intermediate revisions by 27 users not shown)
Line 1: Line 1:
{{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]]
{{Draft topics|stem}}
In [[mathematics]], the '''sum of two cubes''' is a [[cubed]] number added to another cubed number.
{{AfC topic|stem}}
{{AfC submission|||ts=20221027175633|u=Angerxiety|ns=118}}
{{AfC submission|t||ts=20221022230918|u=Angerxiety|ns=118|demo=}}<!-- Important, do not remove this line before article has been created. -->


== 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 ===
The only numbers that are not a sum of two cubes are apparently 3 and 4.<ref>{{Cite journal |last=Hardy |first=G. H. |date=1922 |title=The Theory of Numbers |url=https://www.jstor.org/stable/1648101 |journal=Science |volume=56 |issue=1450 |pages=401–405 |doi=10.1126/science.56.1450.401 |jstor=1648101 |pmid=17790194 |bibcode=1922Sci....56..401H |issn=0036-8075}}</ref>
Starting with the expression, <math>a^2-ab+b^2</math> and multiplying by ''a'' + ''b''{{r|mckeague}}
<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}}
<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,
<math display="block">
\begin{align}
(a-b)(a^2+ab+b^2) & = a(a^2+ab+b^2) - b(a^2+ab+b^2) \\
& = a^3 + a^2 b + ab^2 \; - a^2b - ab^2 - b^3 \\
& = a^3 - b^3.
\end{align}</math>

== Fermat's last theorem ==
[[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}}

== Taxicab and Cabtaxi numbers ==
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
:<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

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

[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
sign
Same 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]

References

[edit]
  1. ^ a b c d McKeague, Charles P. (1986). Elementary Algebra (3rd ed.). Academic Press. p. 388. ISBN 0-12-484795-1.
  2. ^ Kropko, Jonathan (2016). Mathematics for social scientists. Los Angeles, LA: Sage. p. 30. ISBN 9781506304212.
  3. ^ 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.
  4. ^ "A001235 - OEIS". oeis.org. Retrieved 2023-01-04.
  5. ^ 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.
  6. ^ 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]