عدد صحيح خالٍ من المربعات

العدد 10 خالٍ من المربعات، لأن قواسمه الأكبر من 1 هي 2 و 5 و 10، ولا يوجد أي منها مربع (المربعات القليلة الأولى هي 1 و 4 و 9 و 16).
تبقى الأعداد الصحيحة الخالية من المربعات حتى 120 بعد حذف مضاعفات مربعات الأعداد الأولية حتى √120

في الرياضيات ، العدد الصحيح الخالي من المربعات هو عدد صحيح لا يقبل القسمة على أي عدد مربع باستثناء 1. أي أن تحليله إلى عوامله الأولية يحتوي على عامل واحد فقط لكل عدد أولي يظهر فيه. على سبيل المثال، 10 = 2 × 5 هو عدد صحيح خالٍ من المربعات، بينما 18 = 2 × 3 × 3 ليس كذلك، لأن 18 يقبل القسمة على 9 = 3/2 . أصغر الأعداد الموجبة الخالية من المربعات هي

1، 2، 3، 5، 6، 7، 10، 11، 13، 14، 15، 17، 19، 21، 22، 23، 26، 29، 30، 31، 33، 34، 35، 37، 38، 39، ... (التسلسل A005117 في OEIS )

التحليل إلى عوامل بدون مربعات

كل عدد صحيح موجبن{\displaystyle n}يمكن تحليلها بطريقة فريدة كـ ن=أنا=1كqأناأنا،{\displaystyle n=\prod _{i=1}^{k}q_{i}^{i},} حيثqأنا{\displaystyle q_{i}}الأعداد التي تختلف عن 1 هي أعداد صحيحة خالية من المربعات وتكون أولية فيما بينها . وهذا ما يسمى بالتحليل الخالي من المربعات للعدد n .

لإنشاء تحليل خالٍ من المربعات، دع ن=ج=1حصجهـج{\displaystyle n=\prod _{j=1}^{h}p_{j}^{e_{j}}} ليكن التحليل إلى العوامل الأولية لـن{\displaystyle n}، حيثصج{\displaystyle p_{j}}إذا كانت أعدادًا أولية مختلفة ، فإن عوامل التحليل الخالي من المربعات تُعرَّف على النحو التالي: qأنا=ج:هـج=أناصج.{\displaystyle q_{i}=\prod _{j:e_{j}=i}p_{j}.}

يكون العدد الصحيح خالياً من المربعات إذا وفقط إذاqأنا=1{\displaystyle q_{i}=1}للجميعأنا>1{\displaystyle i>1}العدد الصحيح الأكبر من واحد هوك{\displaystyle k}القوة n لعدد صحيح آخر إذا وفقط إذاك{\displaystyle k}هو قاسم لكل شيءأنا{\displaystyle i}بحيثqأنا1.{\displaystyle q_{i}\neq 1.}

يُحدّ من استخدام تحليل الأعداد الصحيحة إلى عواملها الأولية دون وجود مربعات، صعوبة حسابه التي تُضاهي صعوبة حساب تحليلها إلى عواملها الأولية. وبشكل أدق، فإن كل خوارزمية معروفة لحساب تحليل الأعداد الصحيحة إلى عواملها الأولية تحسب أيضًا تحليلها إلى عواملها الأولية. وهذا فرقٌ ملحوظ عن حالة كثيرات الحدود التي يمكن تعريفها بنفس التعريفات، ولكن في هذه الحالة، لا يُعدّ تحليل الأعداد الصحيحة إلى عواملها الأولية أسهل حسابًا من التحليل الكامل فحسب، بل هو أيضًا الخطوة الأولى في جميع خوارزميات التحليل القياسية.

العوامل الخالية من المربعات للأعداد الصحيحة

الجزء الخالي من المربعات منن{\displaystyle n}هو ناتج جميع القواسم الأولية لـ ن{\displaystyle n}الذي أسه في تحليلن{\displaystyle n}فردي. كل عدد صحيح موجبن{\displaystyle n}يمكن تمثيلها بطريقة فريدة كحاصل ضرب أكبر مربع ممكن في عدد صحيح خالٍ من المربعات. ن=م2ك،{\displaystyle n=m^{2}k,} أينك{\displaystyle k}هو الجزء الخالي من المربعات منن{\displaystyle n}وم{\displaystyle m}هو أكبر قاسم لـن{\displaystyle n}بحيثم2{\displaystyle m^{2}}هو قاسم لـن{\displaystyle n}.

كل عدد صحيح موجبن{\displaystyle n}يمكن تمثيلها بطريقة فريدة كحاصل ضرب عدد قوي (أي عدد صحيح يقبل القسمة على مربع كل عامل أولي) وعدد صحيح خالٍ من المربعاتs{\displaystyle s}. هذاs{\displaystyle s}هو ناتج الأعداد الأولية التي تقسمن{\displaystyle n}فقط مرفوعة للأس الأول، والعدد القوي هو ن/s.{\displaystyle n/s.}

الجذر العددي لعدد صحيحن{\displaystyle n}هو أكبر عامل خالٍ من المربعات، أي حاصل ضرب جميع القواسم الأولية لـن{\displaystyle n}، وهو ما يساويأنا=1كqأنا{\displaystyle \textstyle \prod _{i=1}^{k}q_{i}}وفقًا لرموز القسم السابق. قد يكون جذر العدد الصحيح أصغر من الجزء الخالي من المربعات؛ ويكون العدد الصحيح خاليًا من المربعات إذا وفقط إذا كان مساويًا لجذره.

باختصار، هناك ثلاثة عوامل خالية من المربعات ترتبط بشكل طبيعي بكل عدد صحيح: العامل المذكور أعلاهs،{\displaystyle s,}الجزء الخالي من المربعات، وأكبر عامل خالٍ من المربعات. كل منهما عامل للذي يليه. ويمكن استنتاج كليهما بسهولة من التحليل إلى العوامل الأولية أو التحليل إلى العوامل الخالية من المربعات: إذا ن=أنا=1حصأناهـأنا=أنا=1كqأناأنا{\displaystyle n=\prod _{i=1}^{h}p_{i}^{e_{i}}=\prod _{i=1}^{k}q_{i}^{i}} هما التحليل إلى العوامل الأولية والتحليل الخالي من المربعات لـن{\displaystyle n}، أينص1،...،صح{\displaystyle p_{1},\ldots ,p_{h}}إذا كانت أعدادًا أولية مختلفة، فإن الجزء الخالي من المربعات هو هـأنا=1صأنا=q1،{\displaystyle \prod _{e_{i}=1}p_{i}=q_{1},} العامل الخالي من المربعات الذي يكون ناتج قسمته مربعًا هو هـأنا غريبصأنا=أنا غريبqأنا،{\displaystyle \prod _{e_{i}{\text{ odd}}}p_{i}=\prod _{i{\text{ odd}}}q_{i},} وأكبر عامل خالٍ من المربعات هو أنا=1حصأنا=أنا=1كqأنا.{\displaystyle \prod _{i=1}^{h}p_{i}=\prod _{i=1}^{k}q_{i}.}

على سبيل المثال، إذان=75600=2433527،{\displaystyle n=75600=2^{4}\cdot 3^{3}\cdot 5^{2}\cdot 7,}يمتلك المرءq1=7،q2=5،q3=3،q4=2.{\displaystyle q_{1}=7,\;q_{2}=5,\;q_{3}=3,\;q_{4}=2.}الجزء الخالي من المربعات هو 7 ، والعامل الخالي من المربعات الذي يجعل ناتج القسمة مربعًا هو 3 ⋅ 7 = 21 ، وأكبر عامل خالٍ من المربعات هو 2 ⋅ 3 ⋅ 5 ⋅ 7 = 210 .

لا توجد خوارزمية معروفة لحساب أي من هذه العوامل الخالية من المربعات أسرع من حساب التحليل الكامل إلى العوامل الأولية. على وجه الخصوص، لا توجد خوارزمية معروفة ذات زمن متعدد الحدود لحساب الجزء الخالي من المربعات لعدد صحيح، أو حتى لتحديد ما إذا كان العدد الصحيح خاليًا من المربعات. [ 1 ] في المقابل، توجد خوارزميات ذات زمن متعدد الحدود لاختبار أولية الأعداد . [ 2 ]

توصيفات مكافئة

عدد صحيح موجبن{\displaystyle n}يكون خالياً من المربعات إذا وفقط إذا كان في التحليل إلى العوامل الأولية لـن{\displaystyle n}لا يوجد عامل أولي ذو أس أكبر من واحد. وبعبارة أخرى، لكل عامل أوليص{\displaystyle p}لن{\displaystyle n}رئيس الوزراءص{\displaystyle p}لا يقسم بالتساوي ن/ص{\displaystyle n/p}. أيضًان{\displaystyle n}تكون خالية من المربعات إذا وفقط إذا كان في كل تحليلن=أب{\displaystyle n=ab}العواملأ{\displaystyle a}وب{\displaystyle b}الأعداد الأولية فيما بينها . ومن النتائج المباشرة لهذا التعريف أن جميع الأعداد الأولية خالية من المربعات.

عدد صحيح موجبن{\displaystyle n}تكون المجموعة خالية من المربعات إذا وفقط إذا كانت جميع الزمر الأبيلية من الرتبةن{\displaystyle n}تكون متماثلة ، وهذا صحيح فقط إذا كانت أي مجموعة من هذه المجموعات دورية . وينتج هذا عن تصنيف المجموعات الأبيلية المولدة نهائياً .

عدد صحيحن{\displaystyle n}تكون حلقة العوامل خالية من المربعات إذا وفقط إذاZ/نZ{\displaystyle \mathbb {Z} /n\mathbb {Z} }(انظر الحساب النمطي ) هو حاصل ضرب الحقول . وينتج هذا من نظرية الباقي الصينية وحقيقة أن الحلقة من الشكلZ/كZ{\displaystyle \mathbb {Z} /k\mathbb {Z} }يُعتبر حقلاً إذا وفقط إذاك{\displaystyle k}هو عدد أولي.

لكل عدد صحيح موجبن{\displaystyle n}، مجموعة جميع القواسم الموجبة لـن{\displaystyle n}تصبح مجموعة مرتبة جزئيًا إذا استخدمنا قابلية القسمة كعلاقة ترتيب. هذه المجموعة المرتبة جزئيًا هي دائمًا شبكة توزيعية . وهي جبر بولياني إذا وفقط إذان{\displaystyle n}خالٍ من المربعات.

عدد صحيح موجبن{\displaystyle n}تكون خالية من المربعات إذا وفقط إذاμ(ن)0{\displaystyle \mu (n)\neq 0}، أينμ{\displaystyle \mu }يرمز إلى دالة موبيوس .

سلسلة ديريشلي

القيمة المطلقة لدالة موبيوس هي دالة المؤشر للأعداد الصحيحة الخالية من المربعات ، أي أن | μ ( n ) | تساوي 1 إذا كان n عددًا صحيحًا خاليًا من المربعات، و0 إذا لم يكن كذلك. متسلسلة ديريشليه لهذه الدالة هي

ن=1|μ(ن)|نs=ζ(s)ζ(2s)،{\displaystyle \sum _{n=1}^{\infty }{\frac {|\mu (n)|}{n^{s}}}={\frac {\zeta (s)}{\zeta (2s)}},}

حيث ζ ( s ) هي دالة زيتا لريمان . وهذا ينتج عن جداء أويلر.

ζ(s)ζ(2s)=ص(1-ص-2s)(1-ص-s)=ص(1+ص-s)،{\displaystyle {\frac {\zeta (s)}{\zeta (2s)}}=\prod _{p}{\frac {(1-p^{-2s})}{(1-p^{-s})}}=\prod _{p}(1+p^{-s}),}

حيث يتم أخذ نواتج الضرب على الأعداد الأولية.

توزيع

لنفترض أن Q ( x ) يمثل عدد الأعداد الصحيحة الخالية من المربعات بين 1 و x ( OEIS : A013928  ، مع إزاحة الدليل بمقدار 1). بالنسبة لقيم n الكبيرة ، فإن 3/4 من الأعداد الصحيحة الموجبة الأقل من n لا تقبل القسمة على 4، و8/9 من هذه الأعداد لا تقبل القسمة على 9، وهكذا. ولأن هذه النسب تحقق خاصية الضرب (وهذا ما ينتج عن نظرية الباقي الصينية )، نحصل على التقريب التالي:

سؤال(x)xص برايم(1-1ص2)=xص برايم1(1-1ص2)-1=xص برايم11+1ص2+1ص4+=xك=11ك2=xζ(2)=6xπ2.\begin{aligned}Q(x)\approx x\prod _{p\ {\text{prime}}}\left(1-{\frac {1}{p^{2}}}\right)=x\prod _{p\ {\text{prime}}}{\frac {1}{(1-{\frac {1}{p^{2}}})^{-1}}}\\&=x\prod _{p\ {\text{prime}}}{\frac {1}{1+{\frac {1}{p^{2}}}+{\frac {1}{p^{4}}}+\cdots }}={\frac {x}{\sum _{k=1}^{\infty }{\frac {1}{k^{2}}}}}={\frac {x}{\zeta (2)}}={\frac {6x}{\pi ^{2}}}.\end{aligned}}}

يمكن جعل هذه الحجة دقيقة للحصول على التقدير (باستخدام ترميز Big O ).

سؤال(x)=6xπ2+يا(x).{\displaystyle Q(x)={\frac {6x}{\pi ^{2}}}+O\left({\sqrt {x}}\right).}

مخطط البرهان: يعطي التوصيف أعلاه

سؤال(x)=نxد2|نμ(د)=دxμ(د)نx،د2|ن1=دxμ(د)xد2؛{\displaystyle Q(x)=\sum _{n\leq x}\sum _{d^{2}\mid n}\mu (d)=\sum _{d\leq x}\mu (d)\sum _{n\leq x,d^{2}\mid n}1=\sum _{d\leq x}\mu (d)\left\lfloor {\frac {x}{d^{2}}}\right\rfloor ;}

بملاحظة أن الحد الأخير يساوي صفرًا لـد>x{\displaystyle d>{\sqrt {x}}}وبناءً على ذلك

سؤال(x)=دxxμ(د)د2+يا(دx1)=xدxμ(د)د2+يا(x)=xدμ(د)د2+يا(xد>x1د2+x)=xζ(2)+يا(x).\begin{aligned}{\phantom {Q(x)}}&=\sum _{d\leq {\sqrt {x}}}{\frac {x\mu (d)}{d^{2}}}+O\left(\sum _{d\leq {\sqrt {x}}}1\right)=x\sum _{d\leq {\sqrt {x}}}{\frac {\mu (d)}{d^{2}}}+O({\sqrt {x}})\\&=x\sum _{d}{\frac {\mu (d)}{d^{2}}}+O\left(x\sum _{d>{\sqrt {x}}}{\frac {1}{d^{2}}}+{\sqrt {x}}\right)={\frac {x}{\zeta (2)}}+O({\sqrt {x}}).\end{aligned}}}

من خلال استغلال أكبر منطقة خالية من الأصفار معروفة لدالة زيتا لريمان، قام أرنولد والفيز بتحسين التقريب إلى [ 3 ].

سؤال(x)=6xπ2+يا(x1/2خبرة(-ج(سجلx)3/5(سجلسجلx)1/5))،{\displaystyle Q(x)={\frac {6x}{\pi ^{2}}}+O\left(x^{1/2}\exp \left(-c{\frac {(\log x)^{3/5}}{(\log \log x)^{1/5}}}\right)\right),}

لبعض الثوابت الموجبة c .

بموجب فرضية ريمان ، يمكن اختزال حد الخطأ إلى [ 4 ]

سؤال(x)=xζ(2)+يا(x17/54+ε)=6π2x+يا(x17/54+ε).{\displaystyle Q(x)={\frac {x}{\zeta (2)}}+O\left(x^{17/54+\varepsilon }\right)={\frac {6}{\pi ^{2}}}x+O\left(x^{17/54+\varepsilon }\right).}

في عام 2015 تم تقليل حد الخطأ بشكل أكبر (بافتراض فرضية ريمان أيضًا) إلى [ 5 ]

سؤال(x)=6π2x+يا(x11/35+ε).{\displaystyle Q(x)={\frac {6}{\pi ^{2}}}x+O\left(x^{11/35+\varepsilon }\right).}

وبالتالي فإن الكثافة التقاربية/ الطبيعية للأعداد الخالية من المربعات هي

ليمxسؤال(x)x=6π20.6079{\displaystyle \lim _{x\to \infty }{\frac {Q(x)}{x}}={\frac {6}{\pi ^{2}}}\approx 0.6079}

لذلك فإن أكثر من 3/5 من الأعداد الصحيحة خالية من المربعات.

وبالمثل، إذا كان Q ( x , n ) يشير إلى عدد الأعداد الصحيحة الخالية من n (على سبيل المثال، الأعداد الصحيحة الخالية من 3 هي أعداد صحيحة خالية من المكعبات) بين 1 و x ، فيمكن للمرء أن يوضح [ 6 ]

سؤال(x،ن)=xك=11كن+يا(xن)=xζ(ن)+يا(xن).{\displaystyle Q(x,n)={\frac {x}{\sum _{k=1}^{\infty }{\frac {1}{k^{n}}}}}+O\left({\sqrt[{n}]{x}}\right)={\frac {x}{\zeta (n)}}+O\left({\sqrt[{n}]{x}}\right).}

بما أن مضاعفات العدد 4 يجب أن يكون لها عامل مربع 4 = 2² ، فلا يمكن أن تكون أربعة أعداد صحيحة متتالية خالية من المربعات. من جهة أخرى، يوجد عدد لا نهائي من الأعداد الصحيحة n التي تكون عندها الأعداد 4n +4n + 2، 4n + 3 خالية من المربعات. وإلا، بملاحظة أن العدد 4n ، وواحد على الأقل من الأعداد 4n + 1، 4n + 2، 4n + 3 من بين أربعة أعداد، يمكن أن يكون غير خالي من المربعات لقيمة n كبيرة بما فيه الكفاية ، فإن نصف جميع الأعداد الصحيحة الموجبة، مطروحًا منها عدد محدود، يجب أن تكون غير خالية من المربعات، وبالتالي

سؤال(x)x2+ج{\displaystyle Q(x)\leq {\frac {x}{2}}+C}بالنسبة لثابت ما C ،

خلافًا للتقدير التقاربي المذكور أعلاه لـسؤال(x){\displaystyle Q(x)}.

توجد متواليات من الأعداد الصحيحة غير المربعة المتتالية ذات أطوال عشوائية. في الواقع، لكل مجموعة ( p1 , ..., pl ) من الأعداد الأولية المختلفة، تضمن نظرية الباقي الصينية وجود عدد n يحقق التطابق المتزامن .

ن-أنا(تعديلصأنا2)(أنا=1،2،...،ل).{\displaystyle n\equiv -i{\pmod {p_{i}^{2}}}\qquad (i=1,2,\ldots ,l).}

كل n + i يقبل القسمة على p 2 i . [ 7 ] من ناحية أخرى، التقدير المذكور أعلاهسؤال(x)=6x/π2+يا(x){\displaystyle Q(x)=6x/\pi ^{2}+O\left({\sqrt {x}}\right)}وهذا يعني أنه، بالنسبة لثابت ما c ، يوجد دائمًا عدد صحيح خالٍ من المربعات بين x وx+جx{\displaystyle x+c{\sqrt {x}}}بالنسبة لقيم x الموجبة . علاوة على ذلك، تسمح لنا حجة بسيطة باستبدالx+جx{\displaystyle x+c{\sqrt {x}}}بواسطةx+جx1/5سجلx.{\displaystyle x+cx^{1/5}\log x.}[ 8 ] تسمحفرضيةabcx+xo(1){\displaystyle x+x^{o(1)}}[ 9 ]

حساب Q ( x )

The squarefree integers x can be identified and counted in Õ(x) time by using a modified Sieve of Eratosthenes. If only Q(x) is desired, and not a list of the numbers that it counts, then (1) can be used to compute Q(x) in Õ(x) time. The largest known value of Q(x), for x = 1036, was computed by Jakub Pawlewicz in 2011 using an algorithm that achieves Õ(x2/5) time,[10] and an algorithm taking Õ(x1/3) time has been outlined but not implemented.[11]:§5.5

Table of Q(x), 6/π2x, and R(x)

The table shows how Q(x){\displaystyle Q(x)} and 6π2x{\displaystyle {\frac {6}{\pi ^{2}}}x} (with the latter rounded to one decimal place) compare at powers of 10.

R(x)=Q(x)6π2x{\displaystyle R(x)=Q(x)-{\frac {6}{\pi ^{2}}}x} , also denoted as Δ(x){\displaystyle \Delta (x)}.

x{\displaystyle x}Q(x){\displaystyle Q(x)}6π2x{\displaystyle {\frac {6}{\pi ^{2}}}x}R(x){\displaystyle R(x)}
1076.10.9
1026160.80.2
103608607.90.1
1046,0836,079.33.7
10560,79460,792.71.3
106607,926607,927.1−1.3
1076,079,2916,079,271.020.0
10860,792,69460,792,710.2−16.2
109607,927,124607,927,101.922.1
10106,079,270,9426,079,271,018.5−76.5
101160,792,710,28060,792,710,185.494.6
1012607,927,102,274607,927,101,854.0420.0
10136,079,271,018,2946,079,271,018,540.3−246.3
101460,792,710,185,94760,792,710,185,402.7544.3
1015607,927,101,854,103607,927,101,854,027.076.0

R(x){\displaystyle R(x)} changes its sign infinitely often as x{\displaystyle x} tends to infinity.[12]

The absolute value of R(x){\displaystyle R(x)} is astonishingly small compared with x{\displaystyle x}.

Encoding as binary numbers

If we represent a square-free number as the infinite product

n=0(pn+1)an,an{0,1}, and pn is the nth prime,{\displaystyle \prod _{n=0}^{\infty }(p_{n+1})^{a_{n}},a_{n}\in \lbrace 0,1\rbrace ,{\text{ و }}p_{n}{\text{ هو العدد الأولي رقم }}n{\text{

then we may take those an{\displaystyle a_{n}} and use them as bits in a binary number with the encoding

n=0an2n.{\displaystyle \sum _{n=0}^{\infty }{a_{n}}\cdot 2^{n}.}

العدد 42 الخالي من المربعات له تحليل إلى عوامله الأولية 2 × 3 × 7 ، أو كحاصل ضرب لانهائي 2 1 × 3 1 × 5 0 × 7 1 × 11 0 × 13 0 ... وبالتالي، يمكن ترميز العدد 42 بالتسلسل الثنائي ...001011أو بالنظام العشري 11. (يتم عكس ترتيب الأرقام الثنائية عن ترتيبها في حاصل الضرب اللانهائي).

بما أن التحليل إلى العوامل الأولية لكل عدد فريد، فإن كل ترميز ثنائي للأعداد الصحيحة الخالية من المربعات فريد أيضاً.

والعكس صحيح أيضاً. بما أن لكل عدد صحيح موجب تمثيلاً ثنائياً فريداً، فمن الممكن عكس هذا الترميز بحيث يمكن فك ترميزه إلى عدد صحيح فريد خالٍ من المربعات.

مرة أخرى، على سبيل المثال، إذا بدأنا بالعدد 42، هذه المرة كعدد صحيح موجب، فسنحصل على تمثيله الثنائي 101010. وهذا يُفكّ إلى 2 0 · 3 1 · 5 0 · 7 1 · 11 0 · 13 1 = 3 × 7 × 13 = 273.

وبالتالي فإن الترميز الثنائي للأعداد الخالية من المربعات يصف تقابلاً بين الأعداد الصحيحة غير السالبة ومجموعة الأعداد الصحيحة الموجبة الخالية من المربعات.

(انظر التسلسلات A019565 و A048672 و A064273 في OEIS .)

حدسية إردوش الخالية من المربعات

معامل ذي الحدين المركزي

(2نن){\displaystyle {2n \choose n}}

لا تكون مجموعة الأعداد الصحيحة خالية من المربعات أبدًا عندما يكون n > 4. وقد تم إثبات ذلك في عام 1985 لجميع الأعداد الصحيحة الكبيرة بما فيه الكفاية بواسطة أندراس ساركوزي ، [ 13 ] ولجميع الأعداد الصحيحة > 4 في عام 1996 بواسطة أوليفييه راماري وأندرو جرانفيل . [ 14 ]

قلب مربع

لنُطلق على العدد الصحيح الموجب الذي لا يحتوي على قواسم من الرتبة t اسم "العدد الخالي من t " . وعلى وجه الخصوص، فإن الأعداد الصحيحة الخالية من 2 هي الأعداد الصحيحة الخالية من المربعات.

الدالة الضربيةجoرهـت(ن){\displaystyle \mathrm {core} _{t}(n)}يحوّل كل عدد صحيح موجب n إلى ناتج قسمة n على أكبر قاسم له من الرتبة t . أي،

جoرهـت(صهـ)=صهـتعديلت.{\displaystyle \mathrm {core} _{t}(p^{e})=p^{e{\bmod {t}}}.}

العدد الصحيحجoرهـت(ن){\displaystyle \mathrm {core} _{t}(n)}هي خالية من t ، وكل عدد صحيح خالٍ من t يتم تعيينه إلى نفسه بواسطة الدالةجoرهـت.{\displaystyle \mathrm {core} _{t}.}

دالة توليد ديريشليه للمتتالية (جoرهـت(ن))نشمال{\displaystyle \left(\mathrm {core} _{t}(n)\right)_{n\in \mathbb {N} }}يكون

ن1جoرهـت(ن)نs=ζ(تs)ζ(s-1)ζ(تs-ت){\displaystyle \sum _{n\geq 1}{\frac {\mathrm {core} _{t}(n)}{n^{s}}}={\frac {\zeta (ts)\zeta (s-1)}{\zeta (ts-t)}}}.

انظر أيضًا OEIS : A007913  ( t =2)، OEIS : A050985  ( t =3) و OEIS : A053165  ( t =4).

ملحوظات

  1. أدلمان، ليونارد م.؛ ماكيرلي، كيفن س. (1994). "مسائل مفتوحة في تعقيد نظرية الأعداد، الجزء الثاني". في: أدلمان، ليونارد م.؛ هوانغ، مينغ-ديه أ. (محرران). نظرية الأعداد الخوارزمية، الندوة الدولية الأولى، ANTS-I، إيثاكا، نيويورك، الولايات المتحدة الأمريكية، 6-9 مايو 1994، وقائع . سلسلة محاضرات في علوم الحاسوب. المجلد  877. سبرينغر. الصفحات 291-322 . doi : 10.1007/3-540-58691-1_70 . ISBN  978-3-540-58691-3.
  2. ^ أغراوال، مانيندرا. كيال، نيراج؛ ساكسينا ، نيتين (1 سبتمبر 2004). "PRIMEs موجودة في P" (PDF) . حوليات الرياضيات . 160 (2): 781-793 . دوى : 10.4007 / Annals.2004.160.781 . ISSN 0003-486X . السيد 2123939 . زبل 1071.11070 .   
  3. ^ والفيسز أ. (1963). Weylsche Exponentialsummen in der neueren Zahlentheorie . برلين: VEB Deutscher Verlag der Wissenschaften .
  4. جيا، تشاو هوا. “توزيع الأرقام الخالية من المربعات”، العلوم في الصين السلسلة أ: الرياضيات 36 :2 (1993)، الصفحات من 154 إلى 169. مستشهد به في Pappalardi 2003، دراسة استقصائية عن k -freeness ؛ انظر أيضًا Kaneenika Sinha، “ متوسط ​​​​أوامر بعض الوظائف الحسابية أرشفة 14 فبراير 2012 في آلة Wayback . ”، مجلة جمعية رامانوجان الرياضية 21 : 3 (2006)، الصفحات من 267 إلى 277.
  5. ليو، هـ. كيو. (2016). "حول توزيع الأعداد الخالية من المربعات" . مجلة نظرية الأعداد . 159 : 202-222 . doi : 10.1016/j.jnt.2015.07.013 .
  6. ^ لينفوت، EH ؛ إيفلين، CJA (1929). ""حول مشكلة في النظرية المضافة للأعداد" . " الرياضيات Zeitschrift . 30 : 443– 448. دوى : 10.1007 / BF01187781 . S2CID 120604049 . 
  7. بارنت، د.ب. (1984). تمارين في نظرية الأعداد . كتب مسائل في الرياضيات. سبرينغر-فيرلاغ نيويورك. doi : 10.1007/978-1-4757-5194-9 . ISBN 978-1-4757-5194-9.
  8. فيلاسيتا، مايكل؛ تريفونوف، أوغنيان (1992). "حول الفجوات بين الأعداد الخالية من المربعات. الجزء الثاني". مجلة الجمعية الرياضية بلندن . السلسلة الثانية. 45 (2): 215-221 . doi : 10.1112/jlms/s2-45.2.215 . MR 1171549 . 
  9. جرانفيل، أندرو (1998). "ABC يسمح لنا بحساب المربعات الخالية من العناصر". مجلة البحوث الرياضية الدولية . 1998 (19): 991-1009 . doi : 10.1155/S1073792898000592 .{{cite journal}}: CS1 maint: unflagged free DOI ( link )
  10. باولويتش، جاكوب (2011). "عد الأعداد الخالية من المربعات". arXiv : 1107.4890 [ math.NT ].
  11. ^ هيرش، عميد. كيسلر، ايدو. ميندلوفيتش، أوري (2024). "الحوسبة π ( N ) : نهج أولي في الزمن Õ ( N ) " . الرياضيات الحسابية . أرخايف : 2212.09857 . دوى : 10.1090/مكوم/4039 . ISSN 0025-5718 . 
  12. مينورو، تاناكا (1979). "تجارب تتعلق بتوزيع الأعداد الخالية من المربعات" . وقائع الأكاديمية اليابانية، السلسلة أ، العلوم الرياضية . 55 (3). doi : 10.3792/pjaa.55.101 . S2CID 121862978 . 
  13. ساركوزي، أ. (1985). "حول قواسم معاملات ذات الحدين. الجزء الأول" . مجلة نظرية الأعداد . 20 (1): 70-80 . doi : 10.1016/0022-314X(85)90017-4 . MR 0777971 . 
  14. راماري، أوليفييه؛ جرانفيل، أندرو (1996). "حدود صريحة على المجاميع الأسية وندرة معاملات ذات الحدين الخالية من المربعات". ماتيماتيكا . 43 (1): 73-107 . doi : 10.1112/S0025579300011608 .

مراجع