Powerful number: Difference between revisions

Revision as of 02:37, 12 November 2006

Latest revision as of 02:28, 4 June 2025

(150 intermediate revisions by 79 users not shown)

Line 1:

{{Short description|Numbers whose prime factors all divide the number more than once}}

A '''powerful number''' is a [[negative and non-negative numbers|positive]] [[integer]] ''m'' that for every [[prime number|prime]] number ''p'' dividing ''m'', ''p''² also divides ''m''. Equivalently, a powerful number is the [[Product (mathematics)|product]] of a [[Square number|square]] and a [[Cube (arithmetic)|cube]], that is, a number ''m'' of the form ''m'' = ''a''²''b''³. Powerful numbers are also known as '''squareful''', '''square-full''', or '''2-full'''. [[Paul Erdős]] and [[George Szekeres]] studied such numbers and [[Solomon W. Golomb]] named such numbers powerful.

{{quote box

|text=<math>\begin{align}144000&=2^7\times 3^2\times 5^3\\ &=2^3\times 2^4\times 3^2 \times 5^3\\ &=(2\times5)^3 \times (2^2\times 3)^2\end{align} </math>

<small>144000 is a powerful number. <br>Every exponent in its [[prime factorization]] is larger than 1. <br>It is the product of a square and a cube.</small>

|fontsize = 100%

}}

A '''powerful number''' is a [[positive integer]] ''m'' such that for every [[prime number]] ''p'' dividing ''m'', ''p''² also divides ''m''. Equivalently, a powerful number is the product of a [[Square number|square]] and a [[Cube (arithmetic)|cube]], that is, a number ''m'' of the form ''m'' = ''a''²''b''³, where ''a'' and ''b'' are positive integers. Powerful numbers are also known as '''squareful''', '''square-full''', or '''2-full'''. [[Paul Erdős]] and [[George Szekeres]] studied such numbers and [[Solomon W. Golomb]] named such numbers ''powerful''.

The following is a list of all powerful numbers between 1 and 1000:

:1, 4, 8, 9, 16, 25, 27, 32, 36, 49, 64, 72, 81, 100, 108, 121, 125, 128, 144, 169, 196, 200, 216, 225, 243, 256, 288, 289, 324, 343, 361, 392, 400, 432, 441, 484, 500, 512, 529, 576, 625, 648, 675, 676, 729, 784, 800, 841, 864, 900, 961, 968, 972, 1000, ... {{OEIS|id=A001694}}.

[[File:Powerful_numbers_up_to_100.svg|thumb|upright=0.5|Powerful numbers up to 100 with prime factors colour-coded &ndash; 1 is a special case]]

== Equivalence of the two definitions ==

Line 10 ⟶ 18:

In the other direction, suppose that ''m'' is powerful, with prime factorization

:<math>m = \prod p_i^{\alpha_i},</math>

where each ''α''_''i'' ≥ 2. Define ''γ''_''i'' to be three if ''α''_''i'' is odd, and zero otherwise, and define ''β''_''i'' = ''α''_''i'' -− ''γ''_''i''. Then, all values ''β''_''i'' are nonnegative even integers, and all values γ_i are either zero or three, so

:<math>m = (\prod p_i^{\beta_i})(\prod p_i^{\gamma_i}) = (\prod p_i^{\beta_i/2})^2(\prod p_i^{\gamma_i/3})^3</math>

:<math>m = \left(\prod p_i^{\beta_i}\right)\left(\prod p_i^{\gamma_i}\right) = \left(\prod p_i^{\beta_i/2} \right)^2 \left( \prod p_i^{\gamma_i/3}\right)^3</math>

supplies the desired representation of ''m'' as a product of a square and a cube.

Informally, given the prime factorization of ''m'', take ''b'' to be the product of the prime factors of ''m'' that have an odd exponent (if there are none, then take ''b'' to be 1). Because ''m'' is powerful, each prime factor with an odd exponent has an exponent that is at least 3, so ''m''/''b''³ is an integer. In addition, each prime factor of ''m''/''b''³ has an even exponent, so ''m''/''b''³ is a perfect square, so call this ''a''²; then ''m'' = ''a''²''b''³. For example:

The representation ''m'' = ''a''²''b''³ calculated in this way has the property that ''b'' is [[squarefree]], and is uniquely defined by this property.

:<math>m = 21600 = 2^5 \times 3^3 \times 5^2 \, ,</math>

:<math>b = 2 \times 3 = 6 \, ,</math>

:<math>a = \sqrt{\frac{m}{b^3}} = \sqrt{2^2 \times 5^2} = 10 \, ,</math>

:<math>m = a^2b^3 = 10^2 \times 6^3 \, .</math>

The representation ''m'' = ''a''²''b''³ calculated in this way has the property that ''b'' is [[Square-free integer|squarefree]], and is uniquely defined by this property.

== Mathematical properties ==

The sum of the reciprocals of the powerful numbers converges. The value of this sum may be written in several other ways, including as the infinite toproduct

: <math>\prod_p\left(1+\frac{1}{p(p-1)}\right)=\frac{\zeta(2)\zeta(3)}{\zeta(6)} = \frac{315}{2\pi^4}\zeta(3)=1.9435964368\ldots,</math>

where ''p'' runs over all primes, &zeta;''ζ''(''s'') denotes [[Bernhard Riemann|Riemann's]]the [[Riemann zeta function|zeta function]], and ''ζ''(3) is [[Apéry's constant]] .<ref>(Golomb, 1970).</ref> {{OEIS|id=A082695}}

More generally, the sum of the reciprocals of the ''s''th powers of the powerful numbers (a [[Dirichlet series]] generating function) is equal to

:<math>\frac{\zeta(2s)\zeta(3s)}{\zeta(6s)} </math>

whenever it converges.

Let ''k''(''x'') denote the number of powerful numbers in the interval [1,''x'']. Then ''k''(''x'') is proportional to the [[square root]] of ''x''. More precisely,

: <math>cx^{1/2}-3x^{1/3}\le k(x) \le cx^{1/2}, c = \zeta(3/2)/\zeta(3) = 2.173 \cdotsldots</math>

(Golomb, 1970).

The two smallest consecutive powerful numbers are 8 and 9. Since [[Pell's equation]] ''x''<supmath>x^2</sup>&nbsp;&minus;&nbsp;8''y''<sup>-8y^2=1</supmath>&nbsp;=&nbsp;1 has infinitely many integral solutions, there are infinitely many pairs of consecutive powerful numbers (Golomb, 1970).; Themore sequencegenerally, ofone pairscan offind consecutive powerful numbers isby givensolving bya similar Pell equation <math>x^2-ny^2=\pm 1</math> for any [[perfect cube]] {{OEISmvar|id=A060355n}}. ItHowever, isone of the two powerful numbers in a [[Erdőspair conjecture|conjecture]]formed ofin Erdős,this Mollinway must be a square. According to Guy, andErdős Walshhas thatasked whether there are noinfinitely threemany pairs of consecutive powerful numbers; ifsuch theas [[abc<math>(23^3, conjecture]]2^3 3^2 13^2)</math> in which neither number in the pair is true,a itsquare. would{{harvtxt|Walker|1976}} followshowed that there are onlyindeed finitelyinfinitely many triplessuch ofpairs consecutiveby powerfulshowing numbersthat <math>3^3 c^2 + 1 = 7^3 d^2</math> has infinitely many solutions.

Walker's solutions to this equation are generated, for any odd integer <math>k</math>, by considering the number

:<math>(2\sqrt{7}+3\sqrt{3})^{7k}=a\sqrt{7}+b\sqrt{3},</math>

== Sums and differences of powerful numbers ==

for integers <math>a</math> divisible by 7 and <math>b</math> divisible by 3,

Any odd number is a difference of two consecutive squares: 2''k'' + 1 = (''k'' + 1)² - ''k''². Similarly, any multiple of four is a difference of the squares of two numbers that differ by two. However, a [[singly even number]], that is, a number divisible by two but not by four, cannot be expressed as a difference of squares. This motivates the question of determining which singly even numbers can be expressed as differences of powerful numbers. Golomb exhibited some representations of this type:

and constructing from <math>a</math> and <math>b</math> the consecutive powerful numbers <math>7a^2</math> and <math>3b^2</math> with <math>7a^2 = 1 + 3b^2</math>.

The smallest consecutive pair in this family is generated for <math>k = 1</math>, <math>a = 2637362</math>, and <math>b = 4028637</math> as

:<math>7\cdot 2637362^2 = 2^2\cdot 7^3\cdot 13^2\cdot 43^2\cdot 337^2=48689748233308</math>

and

:<math>3\cdot 4028637^2 = 3^3\cdot 139^2\cdot 9661^2 = 48689748233307.</math>

{{unsolved|mathematics|Can three consecutive numbers be powerful?}}

It is a [[Erdős conjecture|conjecture]] of Erdős, Mollin, and Walsh that there are no three consecutive powerful numbers. If a triplet of consecutive powerful numbers exists, then its smallest term must be congruent to 7, 27, or 35 modulo 36.<ref>{{cite journal|last=Beckon|first=Edward|title=On Consecutive Triples of Powerful Numbers|journal=Rose-Hulman Undergraduate Mathematics Journal|year=2019|volume=20|issue=2|pages=25–27|url=https://scholar.rose-hulman.edu/cgi/viewcontent.cgi?article=1424&context=rhumj}}</ref>

If the [[abc conjecture]] is true, there are only a finite number of sets of three consecutive powerful numbers.

== Sums and differences of powerful numbers ==

Any odd number is a difference of two consecutive squares: (''k'' + 1)² = ''k''² + 2''k'' + 1, so (''k'' + 1)²&nbsp;&minus;&nbsp;''k''² = 2''k'' + 1. Similarly, any multiple of four is a difference of the squares of two numbers that differ by two: (''k'' + 2)²&nbsp;&minus;&nbsp;''k''² = 4''k'' + 4. However, a [[singly even number]], that is, a number divisible by two but not by four, cannot be expressed as a difference of squares. This motivates the question of determining which singly even numbers can be expressed as differences of powerful numbers. Golomb exhibited some representations of this type:

:2 = 53²³&nbsp;&minus;&nbsp;35³²

:10 = 13³&nbsp;&minus;&nbsp;3⁷

:18 = 19²&nbsp;&minus;&nbsp;7³ = 3²(3³⁵&nbsp;&minus;&nbsp;515²).

It had been conjectured that 6 cannot be so represented, and Golomb conjectured that there are infinitely many integers which cannot be represented as a difference between two powerful numbers. However, Narkiewicz showed that 6 can be so represented in infinitely many ways such as

Line 44 ⟶ 83:

:6 = 5⁴7³&nbsp;&minus;&nbsp;463²,

and McDaniel showed that every integer has infinitely many such representations (McDaniel, 1982).

[[Erd&#337;sPaul Erdős|Erdős]] conjectured that every sufficiently large integer is a sum of at most three powerful numbers; this was proved by [[Roger Heath-Brown]] (1987).

== Generalization ==

Line 57 ⟶ 96:

: ''a''₁(''a''_''s'' + ''d'')^''k'',&nbsp;&nbsp;

''a''₂(''a''_''s''&nbsp;+&nbsp;''d'')^''k'', ..., ''a''_''s''(''a''_''s''&nbsp;+&nbsp;''d'')^''k'', (''a''_''s''&nbsp;+&nbsp;''d'')^''k''+1

are ''s'' + 1 ''k''-powerful numbers in an arithmetic progression.

Line 63 ⟶ 102:

We have an identity involving ''k''-powerful numbers:

:''a''^''k''(''a''^''lℓ'' + ... + 1)^''k'' + ''a''^{''k'' + 1}(''a''^''lℓ'' + ... + 1)^''k'' + ... + ''a''^{''k'' + ''lℓ''}(''a''^''lℓ'' + ... + 1)^''k'' = ''a''^''k''(''a''^''lℓ'' + ... +1)^''k''+1.

This gives infinitely many ''l''+1-tuples of ''k''-powerful numbers whose sum is also ''k''-powerful. Nitaj shows there are infinitely many solutions of ''x''&nbsp;+&nbsp;''y''&nbsp;=&nbsp;''z'' in relatively prime 3-powerful numbers(Nitaj, 1995). Cohn constructs an infinite family of solutions of ''x''&nbsp;+&nbsp;''y''&nbsp;=&nbsp;''z'' in relatively prime non-cube 3-powerful numbers as follows: the triplet

:''X'' = 9712247684771506604963490444281, ''Y'' = 32295800804958334401937923416351, ''Z'' = 27474621855216870941749052236511

is a solution of the equation 32''X''³ + 49''Y''³ = 81''Z''³. We can construct another solution by setting ''{{prime|X}}''&prime; = ''X''(49''Y''³&nbsp;+&nbsp;81''Z''³), ''{{prime|Y}}''&prime; = &minus;''Y''(32''X''³&nbsp;+&nbsp;81''Z''³), ''{{prime|Z}}''&prime; = ''Z''(32''X''³&nbsp;&minus;&nbsp;49''Y''³) and omitting the common divisor.

== See also ==

*[[Achilles number]]

*[[Highly powerful number]]

== ReferencesNotes ==

{{Reflist}}

== References ==

* {{cite journal

| author = Cohn, J. H. E.

Line 83 ⟶ 125:

| year = 1998

| pages = 439–440

| url = httphttps://www.ams.org/mcom/1998-67-221/S0025-5718-98-00881-3/}} | doi = 10.1090/S0025-5718-98-00881-3

| issue = 221

| doi-access = free

}}

* {{cite journal

| author = [[Paul Erdős|Erdős, Paul]] and [[George Szekeres|Szekeres, George]]

| author-link = Paul Erdős

| author2 = Szekeres, George

| author2-link = George Szekeres

| name-list-style = amp

| title = Über die Anzahl der Abelschen Gruppen gegebener Ordnung und über ein verwandtes zahlentheoretisches Problem

| journal = Acta Litt. Sci. Szeged

Line 92 ⟶ 140:

| year = 1934

| pages = 95–102}}

* {{cite journal

| author = [[Solomon W. Golomb|Golomb, Solomon W.]]

| author-link = Solomon W. Golomb

| title = Powerful numbers

| journal = Amer.[[American Math.Mathematical Monthly]]

| volume = 77

| issue = 8

| year = 1970

| pages = 848–852}}

| doi = 10.2307/2317020

| jstor = 2317020}}

* {{cite book

| author = [[Richard K. Guy|Guy, Richard K.]]

| author-link = Richard K. Guy

| pages = Section B16

| title = Unsolved Problems in Number Theory,
3rd | edition = 3rd

| publisher = Springer-Verlag

| year = 2004

| idisbn = ISBN 978-0-387-20860-7}}2

| no-pp = true}}

* {{cite conference

| author = [[Roger Heath-Brown|Heath-Brown, Roger]]

| author-link = Roger Heath-Brown

| title = Ternary quadratic forms and sums of three square-full numbers

| booktitlebook-title = Séminaire de Théorie des Nombres, Paris, 1986-7

| publisher = Birkhäuser

| ___location = Boston

| pages = 137–163

| year = 1988}}

* {{cite conference

| author = [[Roger Heath-Brown|Heath-Brown, Roger]]

| title = Sums of three square-full numbers

| booktitlebook-title = Number Theory, I (Budapest, 1987)

| publisher = Colloq. Math. Soc. János Bolyai, no. 51

| year = 1990

| pages = 163–171}}

* {{cite book | last=Ivić | first=Aleksandar | title=The Riemann zeta-function. The theory of the Riemann zeta-function with applications | series=A Wiley-Interscience Publication | ___location=New York etc. | publisher=John Wiley & Sons | year=1985 | isbn=978-0-471-80634-9 | zbl=0556.10026 | pages=33–34,407–413 }}

* {{cite journal

| author = McDaniel, Wayne L.

| title = Representations of every integer as the difference of powerful numbers

| journal = [[Fibonacci Quart.Quarterly]]

| volume = 20

| year = 1982

| pages = 85–87}}| doi = 10.1080/00150517.1982.12430037

}}

* {{cite journal

| author = Nitaj, Abderrahmane

| title = On a conjecture of Erdős on 3-powerful numbers

| journal = [[Bulletin of the London Mathematical Society|Bull. London Math. Soc.]]

| volume = 27

| year = 1995

| pages = 317–318}}

| doi = 10.1112/blms/27.4.317

| issue = 4| citeseerx = 10.1.1.24.563

}}

* {{cite journal

| last = Walker | first = David T.

| issue = 2

| journal = The Fibonacci Quarterly

| mr = 0409348

| pages = 111–116

| title = Consecutive integer pairs of powerful numbers and related Diophantine equations

| url = https://www.fq.math.ca/Scanned/14-2/walker.pdf

| volume = 14

| year = 1976

| doi = 10.1080/00150517.1976.12430562

}}

== External links ==

* [https://www.encyclopediaofmath.org/index.php/Power-full_number ''Power-full number''] at [[Encyclopedia of Mathematics]].

* [http://mathworld.wolfram.com/PowerfulNumber.html Powerful number]

* {{MathWorld|urlname=PowerfulNumber|title=Powerful number}}

* [http://www.math.unicaen.fr/~nitaj/abc.html The abc conjecture]

* [https://web.archive.org/web/20000819203144/http://www.math.unicaen.fr/~nitaj/abc.html The abc conjecture]

* {{OEIS el|sequencenumber=A060355|name=Numbers n such that n and n+1 are a pair of consecutive powerful numbers}}

{{Divisor classes}}

[[Category:Integer sequences]]

{{Classes of natural numbers}}

{{Authority control}}

[[Category:Integer sequences]]

[[fr:Nombre puissant]]

[[Category:Abc conjecture]]

[[ja:多冪数]]