We show that the alternating sum of the floor function of $\sqrt{jn}$, with $j$ ranging from 1 to $n$, has an easy evaluation for all odd integers $n\geq 1$. This is in contrast to known non-alternating sums of the same type which hold only for a class of primes. The proof is elementary and was suggested by an AI model. To put this result in perspective, we also prove an asymptotic expression for the analogous sum without the floor function.
पेपर ID : 2510.26291शीर्षक : वर्गमूल के फ़्लोर फ़ंक्शन का एक प्रत्यावर्ती योगलेखक : Marc Chamberland (Grinnell College), Karl Dilcher (Dalhousie University)वर्गीकरण : math.NT (संख्या सिद्धांत)प्रकाशन समय : 30 अक्टूबर 2025 को arXiv पर प्रस्तुतपेपर लिंक : https://arxiv.org/abs/2510.26291 यह पेपर सिद्ध करता है कि सभी विषम संख्याओं n ≥ 1 n \geq 1 n ≥ 1 के लिए, j n \sqrt{jn} jn के फ़्लोर फ़ंक्शन का प्रत्यावर्ती योग (j j j 1 से n n n तक) एक सरल बंद रूप रखता है। यह ज्ञात गैर-प्रत्यावर्ती योग के विपरीत है—जो केवल कुछ विशेष अभाज्य संख्याओं के लिए मान्य है। प्रमाण विधि प्राथमिक है, और AI मॉडल द्वारा सुझाई गई है। परिणाम को उचित संदर्भ में रखने के लिए, लेखकों ने फ़्लोर फ़ंक्शन के बिना समान योग के渐近व्यंजक भी सिद्ध किए हैं।
यह पेपर वर्गमूल के फ़्लोर फ़ंक्शन वाले प्रत्यावर्ती योग की सटीक गणना का अध्ययन करता है, विशेष रूप से ∑ j = 1 n ( − 1 ) j + 1 ⌊ j n ⌋ \sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor ∑ j = 1 n ( − 1 ) j + 1 ⌊ jn ⌋ जैसे योग पर ध्यान केंद्रित करता है।
शास्त्रीय पृष्ठभूमि : Pólya और Szegő की शास्त्रीय कृति में एक प्रसिद्ध सर्वसमिका (Bouniakowski सर्वसमिका) शामिल है: अभाज्य संख्या p ≡ 1 ( m o d 4 ) p \equiv 1 \pmod{4} p ≡ 1 ( mod 4 ) के लिए,
∑ j = 1 p − 1 4 ⌊ j p ⌋ = p 2 − 1 12 \sum_{j=1}^{\frac{p-1}{4}}\lfloor\sqrt{jp}\rfloor = \frac{p^2-1}{12} ∑ j = 1 4 p − 1 ⌊ j p ⌋ = 12 p 2 − 1 सैद्धांतिक मूल्य : फ़्लोर फ़ंक्शन के योग संख्या सिद्धांत में महत्वपूर्ण हैं, जो जाली बिंदु गणना, Diophantine सन्निकटन आदि समस्याओं से निकटता से संबंधित हैंतुलनात्मक महत्व : गैर-प्रत्यावर्ती योग केवल विशेष रूप की अभाज्य संख्याओं के लिए मान्य हैं, जबकि प्रत्यावर्ती योग के लिए अधिक सामान्य नियम होना एक प्राकृतिक प्रश्न हैBouniakowski सर्वसमिका केवल p ≡ 1 ( m o d 4 ) p \equiv 1 \pmod{4} p ≡ 1 ( mod 4 ) की अभाज्य संख्याओं पर लागू होती है p ≡ 3 ( m o d 4 ) p \equiv 3 \pmod{4} p ≡ 3 ( mod 4 ) के मामले में, काल्पनिक द्विघात क्षेत्रों की वर्ग संख्या शामिल होती है, जो अधिक जटिल हैप्रत्यावर्ती योग के लिए कोई ज्ञात परिणाम नहीं है योग सीमा ( p − 1 ) / 4 (p-1)/4 ( p − 1 ) /4 तक है, पूर्ण श्रेणी तक नहीं यह अन्वेषण करना कि क्या अधिक व्यापक पूर्णांक वर्गों के लिए समान सर्वसमिकाएं मौजूद हैं यह अध्ययन करना कि प्रत्यावर्ती गुण योग के गुणों को कैसे प्रभावित करते हैं फ़्लोर फ़ंक्शन के साथ और बिना स्थितियों के बीच व्यवहार में अंतर की तुलना करना मुख्य प्रमेय : सभी विषम संख्याओं n ≥ 1 n \geq 1 n ≥ 1 के लिए सिद्ध किया गया कि
∑ j = 1 n ( − 1 ) j + 1 ⌊ j n ⌋ = n + 1 2 \sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor = \frac{n+1}{2} ∑ j = 1 n ( − 1 ) j + 1 ⌊ jn ⌋ = 2 n + 1 सार्वभौमिकता में सफलता : यह परिणाम सभी विषम संख्याओं पर लागू होता है, केवल विशेष अभाज्य संख्याओं तक सीमित नहीं है, जो लागू श्रेणी को महत्वपूर्ण रूप से विस्तारित करता है渐近विश्लेषण : फ़्लोर फ़ंक्शन के बिना संबंधित योग के渐近व्यंजक सिद्ध किए गए:
∑ j = 1 n ( − 1 ) j + 1 j n = n 2 + C n + 1 8 + O ( 1 n ) \sum_{j=1}^{n}(-1)^{j+1}\sqrt{jn} = \frac{n}{2} + C\sqrt{n} + \frac{1}{8} + O\left(\frac{1}{n}\right) ∑ j = 1 n ( − 1 ) j + 1 jn = 2 n + C n + 8 1 + O ( n 1 )
जहां C ≈ 0.3801 C \approx 0.3801 C ≈ 0.3801 को स्पष्ट अनंत श्रेणी के रूप में व्यक्त किया जा सकता हैपद्धति संबंधी नवाचार : प्रमाण AI मॉडल (Google Gemini) द्वारा सुझाया गया था, जो AI-सहायक गणितीय प्रमाण की क्षमता को प्रदर्शित करता हैसैद्धांतिक अंतर्दृष्टि : यह प्रकट करता है कि फ़्लोर ऑपरेशन त्रुटि पद C n + 1 8 + O ( 1 / n ) C\sqrt{n} + \frac{1}{8} + O(1/n) C n + 8 1 + O ( 1/ n ) को सरल स्थिरांक 1 2 \frac{1}{2} 2 1 में कैसे रूपांतरित करता हैइनपुट : विषम संख्या n ≥ 1 n \geq 1 n ≥ 1 आउटपुट : प्रत्यावर्ती योग ∑ j = 1 n ( − 1 ) j + 1 ⌊ j n ⌋ \sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor ∑ j = 1 n ( − 1 ) j + 1 ⌊ jn ⌋ का सटीक मानबाधा : n n n विषम होना चाहिए
सर्वसमिका ⌊ j n ⌋ = ∑ k = 1 ⌊ j n ⌋ 1 \lfloor\sqrt{jn}\rfloor = \sum_{k=1}^{\lfloor\sqrt{jn}\rfloor}1 ⌊ jn ⌋ = ∑ k = 1 ⌊ jn ⌋ 1 का उपयोग करके, मूल योग को पुनः लिखा जाता है:
∑ j = 1 n ( − 1 ) j + 1 ⌊ j n ⌋ = ∑ j = 1 n ( − 1 ) j + 1 ∑ k = 1 ⌊ j n ⌋ 1 \sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor = \sum_{j=1}^{n}(-1)^{j+1}\sum_{k=1}^{\lfloor\sqrt{jn}\rfloor}1 ∑ j = 1 n ( − 1 ) j + 1 ⌊ jn ⌋ = ∑ j = 1 n ( − 1 ) j + 1 ∑ k = 1 ⌊ jn ⌋ 1
ध्यान दें कि k ≤ j n k \leq \sqrt{jn} k ≤ jn समतुल्य है j ≥ k 2 / n j \geq k^2/n j ≥ k 2 / n के साथ, इसलिए:
∑ j = 1 n ( − 1 ) j + 1 ∑ k = 1 ⌊ j n ⌋ 1 = ∑ k = 1 n ∑ j = ⌈ k 2 / n ⌉ n ( − 1 ) j + 1 \sum_{j=1}^{n}(-1)^{j+1}\sum_{k=1}^{\lfloor\sqrt{jn}\rfloor}1 = \sum_{k=1}^{n}\sum_{j=\lceil k^2/n\rceil}^{n}(-1)^{j+1} ∑ j = 1 n ( − 1 ) j + 1 ∑ k = 1 ⌊ jn ⌋ 1 = ∑ k = 1 n ∑ j = ⌈ k 2 / n ⌉ n ( − 1 ) j + 1
निश्चित k k k के लिए, आंतरिक योग ∑ j = ⌈ k 2 / n ⌉ n ( − 1 ) j + 1 \sum_{j=\lceil k^2/n\rceil}^{n}(-1)^{j+1} ∑ j = ⌈ k 2 / n ⌉ n ( − 1 ) j + 1 का मान प्रारंभिक पद ⌈ k 2 / n ⌉ \lceil k^2/n\rceil ⌈ k 2 / n ⌉ की विषमता पर निर्भर करता है:
जब ⌈ k 2 / n ⌉ \lceil k^2/n\rceil ⌈ k 2 / n ⌉ विषम हो : प्रथम पद + 1 +1 + 1 है, बाद के पद − 1 , + 1 , − 1 , + 1 , … -1, +1, -1, +1, \ldots − 1 , + 1 , − 1 , + 1 , … हैं, युग्मन रद्द करने के बाद + 1 +1 + 1 शेष रहता हैजब ⌈ k 2 / n ⌉ \lceil k^2/n\rceil ⌈ k 2 / n ⌉ सम हो : प्रथम पद − 1 -1 − 1 है, सभी पद पूरी तरह युग्मित हो जाते हैं, योग 0 हैइसलिए:
∑ j = 1 n ( − 1 ) j + 1 ⌊ j n ⌋ = # { 1 ≤ k ≤ n ∣ ⌈ k 2 / n ⌉ विषम है } \sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor = \#\{1 \leq k \leq n \mid \lceil k^2/n\rceil \text{ विषम है}\} ∑ j = 1 n ( − 1 ) j + 1 ⌊ jn ⌋ = # { 1 ≤ k ≤ n ∣ ⌈ k 2 / n ⌉ विषम है }
मुख्य अवलोकन: विषम संख्या n n n के लिए,
⌈ ( n − k ) 2 n ⌉ = ⌈ n − 2 k + k 2 n ⌉ = n − 2 k + ⌈ k 2 n ⌉ \left\lceil\frac{(n-k)^2}{n}\right\rceil = \left\lceil n - 2k + \frac{k^2}{n}\right\rceil = n - 2k + \left\lceil\frac{k^2}{n}\right\rceil ⌈ n ( n − k ) 2 ⌉ = ⌈ n − 2 k + n k 2 ⌉ = n − 2 k + ⌈ n k 2 ⌉
चूंकि n n n विषम है, n − 2 k n - 2k n − 2 k भी विषम है, इसलिए ⌈ ( n − k ) 2 / n ⌉ \lceil(n-k)^2/n\rceil ⌈( n − k ) 2 / n ⌉ और ⌈ k 2 / n ⌉ \lceil k^2/n\rceil ⌈ k 2 / n ⌉ विपरीत विषमता रखते हैं।
जब k = n k = n k = n हो, तो ⌈ n 2 / n ⌉ = n \lceil n^2/n\rceil = n ⌈ n 2 / n ⌉ = n विषम है, 1 का योगदान देता है k ∈ { 1 , 2 , … , n − 1 2 } k \in \{1, 2, \ldots, \frac{n-1}{2}\} k ∈ { 1 , 2 , … , 2 n − 1 } के लिए, प्रत्येक k k k को n − k n-k n − k के साथ युग्मित किया जाता है, ठीक एक ऐसा है जो ⌈ k 2 / n ⌉ \lceil k^2/n\rceil ⌈ k 2 / n ⌉ को विषम बनाता हैइसलिए कुल गणना है:
1 + n − 1 2 = n + 1 2 1 + \frac{n-1}{2} = \frac{n+1}{2} 1 + 2 n − 1 = 2 n + 1
योग क्रम विनिमय का चतुर अनुप्रयोग : एकल-स्तरीय योग को द्विगुण योग में रूपांतरित करके, समस्या की संयोजन संरचना को प्रकट किया जाता हैविषमता युग्मन तर्क : n n n की विषमता के गुण का उपयोग करके, k k k और n − k n-k n − k के बीच सममित संबंध स्थापित किया जाता हैगणना विधि : योग समस्या को समुच्चय गणना समस्या में रूपांतरित किया जाता है, जिससे प्रमाण अधिक सहज हो जाता हैAI-सहायक प्रमाण : Google Gemini द्वारा सुझाई गई प्रमाण संरचना को लेखकों द्वारा सरल और पुनः लिखा गया, जो मानव-मशीन सहयोग के गणितीय अनुसंधान प्रतिमान को प्रदर्शित करता हैपेपर अंतर के आधार पर एक वैकल्पिक विधि भी प्रस्तावित करता है:
d n ( ℓ ) : = ⌊ 2 ℓ n ⌋ − ⌊ ( 2 ℓ − 1 ) n ⌋ d_n(\ell) := \lfloor\sqrt{2\ell n}\rfloor - \lfloor\sqrt{(2\ell-1)n}\rfloor d n ( ℓ ) := ⌊ 2 ℓ n ⌋ − ⌊ ( 2 ℓ − 1 ) n ⌋
अनुमान 2.1 : यदि δ : = d n ( λ ) ≥ 2 \delta := d_n(\lambda) \geq 2 δ := d n ( λ ) ≥ 2 , तो δ − 1 \delta-1 δ − 1 क्रमागत स्थान ऐसे हैं जहां d n ( ℓ ) = 0 d_n(\ell) = 0 d n ( ℓ ) = 0 , और ये शून्य मान समुच्चय परस्पर असंयुक्त हैं।
यह अनुमान यदि सिद्ध हो तो मुख्य प्रमेय को निहित करेगा, लेकिन प्रमाण में जटिल तकनीकी लेम्मा शामिल हैं, जिन्हें लेखकों ने पूरी तरह पूरा नहीं किया है।
##渐近विश्लेषण (प्रमेय 1.3 का प्रमाण)
फ़्लोर फ़ंक्शन के बिना योग के渐近विस्तार का प्रमाण, फ़्लोर ऑपरेशन के "सुचारु" प्रभाव को प्रकट करता है।
∑ j = 1 n ( − 1 ) j + 1 j n = n − n ∑ m = 1 n − 1 2 ( 2 m − 2 m + 1 ) \sum_{j=1}^{n}(-1)^{j+1}\sqrt{jn} = \sqrt{n} - \sqrt{n}\sum_{m=1}^{\frac{n-1}{2}}\left(\sqrt{2m} - \sqrt{2m+1}\right) ∑ j = 1 n ( − 1 ) j + 1 jn = n − n ∑ m = 1 2 n − 1 ( 2 m − 2 m + 1 ) = n − n ∑ m = 1 n − 1 2 2 m ( 1 − 1 + ( 2 m ) − 1 ) = \sqrt{n} - \sqrt{n}\sum_{m=1}^{\frac{n-1}{2}}\sqrt{2m}\left(1 - \sqrt{1 + (2m)^{-1}}\right) = n − n ∑ m = 1 2 n − 1 2 m ( 1 − 1 + ( 2 m ) − 1 )
द्विपद प्रमेय के विशेष मामले का उपयोग (α = 1 / 2 \alpha = 1/2 α = 1/2 ):
1 − x = ∑ k = 0 ∞ ( 2 k k ) x k ( 1 − 2 k ) 4 k , ∣ x ∣ < 1 \sqrt{1-x} = \sum_{k=0}^{\infty}\binom{2k}{k}\frac{x^k}{(1-2k)4^k}, \quad |x| < 1 1 − x = ∑ k = 0 ∞ ( k 2 k ) ( 1 − 2 k ) 4 k x k , ∣ x ∣ < 1
प्राप्त करते हैं:
1 − 1 + ( 2 m ) − 1 = ∑ k = 1 ∞ 1 2 k − 1 ( 2 k k ) ( − 1 8 m ) k 1 - \sqrt{1 + (2m)^{-1}} = \sum_{k=1}^{\infty}\frac{1}{2k-1}\binom{2k}{k}\left(\frac{-1}{8m}\right)^k 1 − 1 + ( 2 m ) − 1 = ∑ k = 1 ∞ 2 k − 1 1 ( k 2 k ) ( 8 m − 1 ) k
∑ m = 1 n − 1 2 2 m ( 1 − 1 + ( 2 m ) − 1 ) = 2 ∑ k = 1 ∞ ( − 1 ) k ( 2 k − 1 ) 8 k ( 2 k k ) ∑ m = 1 n − 1 2 1 m k − 1 / 2 \sum_{m=1}^{\frac{n-1}{2}}\sqrt{2m}\left(1 - \sqrt{1 + (2m)^{-1}}\right) = \sqrt{2}\sum_{k=1}^{\infty}\frac{(-1)^k}{(2k-1)8^k}\binom{2k}{k}\sum_{m=1}^{\frac{n-1}{2}}\frac{1}{m^{k-1/2}} ∑ m = 1 2 n − 1 2 m ( 1 − 1 + ( 2 m ) − 1 ) = 2 ∑ k = 1 ∞ ( 2 k − 1 ) 8 k ( − 1 ) k ( k 2 k ) ∑ m = 1 2 n − 1 m k − 1/2 1
Riemann zeta फ़ंक्शन के आंशिक योग अनुमान का उपयोग:
∑ m = 1 N 1 m s = ζ ( s ) + N 1 − s 1 − s + 1 2 N s + O ( N − s − 1 ) \sum_{m=1}^{N}\frac{1}{m^s} = \zeta(s) + \frac{N^{1-s}}{1-s} + \frac{1}{2N^s} + O(N^{-s-1}) ∑ m = 1 N m s 1 = ζ ( s ) + 1 − s N 1 − s + 2 N s 1 + O ( N − s − 1 )
N = n − 1 2 N = \frac{n-1}{2} N = 2 n − 1 , s = k − 1 2 s = k - \frac{1}{2} s = k − 2 1 लें:
k = 1 k=1 k = 1 पद : − 1 2 n -\frac{1}{2}\sqrt{n} − 2 1 n का प्रमुख पद उत्पन्न करता हैk = 2 k=2 k = 2 पद : 1 8 n \frac{1}{8\sqrt{n}} 8 n 1 का सुधार पद उत्पन्न करता हैk ≥ 3 k \geq 3 k ≥ 3 पद : O ( n − 3 / 2 ) O(n^{-3/2}) O ( n − 3/2 ) में योगदान देते हैंC = 1 + 2 ∑ k = 1 ∞ ( − 1 ) k + 1 ( 2 k − 1 ) 8 k ( 2 k k ) ζ ( k − 1 2 ) C = 1 + \sqrt{2}\sum_{k=1}^{\infty}\frac{(-1)^{k+1}}{(2k-1)8^k}\binom{2k}{k}\zeta\left(k - \frac{1}{2}\right) C = 1 + 2 ∑ k = 1 ∞ ( 2 k − 1 ) 8 k ( − 1 ) k + 1 ( k 2 k ) ζ ( k − 2 1 )
संख्यात्मक गणना C ≈ 0.3801 C \approx 0.3801 C ≈ 0.3801 देती है।
फ़्लोर ऑपरेशन जटिल त्रुटि पद C n + 1 8 + O ( 1 / n ) C\sqrt{n} + \frac{1}{8} + O(1/n) C n + 8 1 + O ( 1/ n ) को सरल स्थिरांक 1 2 \frac{1}{2} 2 1 में रूपांतरित करता है, यह एक आश्चर्यजनक "नियमितकरण" घटना है।
पेपर मुख्य प्रमेय और渐近सूत्र को संख्यात्मक प्रयोगों के माध्यम से सत्यापित करता है:
मुख्य प्रमेय सत्यापन : कई विषम संख्याओं के लिए (जैसे n = 33 n = 33 n = 33 ) प्रत्यावर्ती योग की गणना करके, सत्यापित किया जाता है कि परिणाम वास्तव में n + 1 2 \frac{n+1}{2} 2 n + 1 हैअंतर वितरण : तालिका 1 n = 33 n=33 n = 33 के समय d 33 ( ℓ ) d_{33}(\ell) d 33 ( ℓ ) का वितरण दिखाती है:ℓ ∈ { 1 , … , 16 } \ell \in \{1, \ldots, 16\} ℓ ∈ { 1 , … , 16 } d 33 ( ℓ ) ∈ { 0 , 1 , 2 , 3 } d_{33}(\ell) \in \{0, 1, 2, 3\} d 33 ( ℓ ) ∈ { 0 , 1 , 2 , 3 } d 33 ( 1 ) = 3 d_{33}(1) = 3 d 33 ( 1 ) = 3 दो क्रमागत शून्य मानों के अनुरूप है渐近सूत्र सत्यापन : फ़्लोर फ़ंक्शन के बिना योग की गणना करके,渐近सूत्र के साथ समझौते की डिग्री सत्यापित की जाती हैफ़्लोर फ़ंक्शन की गणना के लिए सटीक पूर्णांक अंकगणित का उपयोग
-渐近विश्लेषण के लिए, स्थिरांक C C C के मान को सत्यापित करने के लिए उच्च-सटीकता फ़्लोटिंग-पॉइंट गणना की आवश्यकता है प्रमाण रणनीतियों का अन्वेषण करने के लिए AI मॉडल (Google Gemini) का उपयोग प्रमेय 1.1 का सत्यापन :सभी परीक्षित विषम संख्याओं के लिए, सूत्र ∑ j = 1 n ( − 1 ) j + 1 ⌊ j n ⌋ = n + 1 2 \sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor = \frac{n+1}{2} ∑ j = 1 n ( − 1 ) j + 1 ⌊ jn ⌋ = 2 n + 1 मान्य है परिणाम पूर्ण सटीकता (गैर-अनुमानित) रखते हैं प्रमेय 1.3 का सत्यापन :
-渐近सूत्र n → ∞ n \to \infty n → ∞ के समय सटीकता में सुधार करता हैस्थिरांक C ≈ 0.3801 C \approx 0.3801 C ≈ 0.3801 को अनंत श्रेणी के माध्यम से सटीक रूप से व्यक्त किया जा सकता है केस: n = 33 n = 33 n = 33
तालिका 1 अंतर d 33 ( ℓ ) = ⌊ 2 ℓ ⋅ 33 ⌋ − ⌊ ( 2 ℓ − 1 ) ⋅ 33 ⌋ d_{33}(\ell) = \lfloor\sqrt{2\ell \cdot 33}\rfloor - \lfloor\sqrt{(2\ell-1) \cdot 33}\rfloor d 33 ( ℓ ) = ⌊ 2 ℓ ⋅ 33 ⌋ − ⌊ ( 2 ℓ − 1 ) ⋅ 33 ⌋ के मान दिखाती है:
ℓ \ell ℓ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 d 33 ( ℓ ) d_{33}(\ell) d 33 ( ℓ ) 3 2 2 1 1 0 1 0 1 0 0 1 1 1 1 1
अवलोकन:
d 33 ( 1 ) = 3 d_{33}(1) = 3 d 33 ( 1 ) = 3 ने ℓ = 10 , 11 \ell = 10, 11 ℓ = 10 , 11 के दो शून्य मानों को "मुआवजा" दियाd 33 ( 2 ) = 2 d_{33}(2) = 2 d 33 ( 2 ) = 2 ने ℓ = 8 \ell = 8 ℓ = 8 के शून्य मान को मुआवजा दियाकुल योग: 3 + 2 + 2 + 1 + 1 + 0 + ⋯ + 1 = 16 = 33 − 1 2 3 + 2 + 2 + 1 + 1 + 0 + \cdots + 1 = 16 = \frac{33-1}{2} 3 + 2 + 2 + 1 + 1 + 0 + ⋯ + 1 = 16 = 2 33 − 1 यह अनुमान 2.1 के पैटर्न को सत्यापित करता है।
सार्वभौमिकता : प्रत्यावर्ती योग की सरलता n n n की अभाज्यता या विशेष अंकगणितीय गुणों पर निर्भर नहीं करती है, केवल विषमता की आवश्यकता हैसममितता : k k k और n − k n-k n − k का युग्मन संबंध प्रमाण का मूल है, गहन सममितता को प्रदर्शित करता हैनियमितकरण प्रभाव : फ़्लोर ऑपरेशन渐近विस्तार में सभी गैर-स्थिरांक पदों को समाप्त करता हैAI-सहायता : AI मॉडल सही प्रमाण संरचना का सुझाव दे सकता है, लेकिन मानव सरलीकरण और कठोरता की आवश्यकता है∑ j = 1 p − 1 4 ⌊ j p ⌋ = p 2 − 1 12 , p ≡ 1 ( m o d 4 ) अभाज्य \sum_{j=1}^{\frac{p-1}{4}}\lfloor\sqrt{jp}\rfloor = \frac{p^2-1}{12}, \quad p \equiv 1 \pmod{4} \text{ अभाज्य} ∑ j = 1 4 p − 1 ⌊ j p ⌋ = 12 p 2 − 1 , p ≡ 1 ( mod 4 ) अभाज्य
सबसे पहला संबंधित परिणाम केवल विशेष अभाज्य वर्गों पर लागू प्रमाण जाली बिंदु गणना तकनीकों को शामिल करता है Bouniakowski सर्वसमिका को व्यायाम के रूप में शामिल करता है जाली बिंदु गणना के लिए व्यवस्थित विधि प्रदान करता है संख्या सिद्धांत में ज्यामितीय दृष्टिकोण पर जोर देता है सर्वसमिका (1.1) के लिए अधिक आधुनिक प्रमाण प्रदान करता है विभिन्न तकनीकी पथ का उपयोग करता है p ≡ 3 ( m o d 4 ) p \equiv 3 \pmod{4} p ≡ 3 ( mod 4 ) के मामले के लिए, योग काल्पनिक द्विघात क्षेत्र Q ( − p ) \mathbb{Q}(\sqrt{-p}) Q ( − p ) की वर्ग संख्या को शामिल करता हैकई संबंधित सर्वसमिकाओं के सामान्यीकरण प्रदान करता है De Koninck और Doyon की कृति में सर्वसमिका शामिल है:
⌊ k ⌋ = ∑ d = 1 k λ ( d ) ⌊ k d ⌋ \lfloor\sqrt{k}\rfloor = \sum_{d=1}^{k}\lambda(d)\left\lfloor\frac{k}{d}\right\rfloor ⌊ k ⌋ = ∑ d = 1 k λ ( d ) ⌊ d k ⌋
जहां λ ( n ) = ( − 1 ) Ω ( n ) \lambda(n) = (-1)^{\Omega(n)} λ ( n ) = ( − 1 ) Ω ( n ) Liouville फ़ंक्शन है।
व्यापक लागू श्रेणी : सभी विषम संख्याएं बनाम विशेष अभाज्य वर्गअधिक सरल परिणाम : n + 1 2 \frac{n+1}{2} 2 n + 1 बनाम वर्ग संख्या को शामिल करने वाली जटिल अभिव्यक्तियांपूर्ण渐近विश्लेषण : फ़्लोर फ़ंक्शन के साथ/बिना तुलना प्रदान करता हैपद्धति संबंधी नवाचार : गणितीय अनुसंधान में AI-सहायक प्रमाण की व्यवहार्यता प्रदर्शित करता हैसटीक सूत्र : सभी विषम संख्याओं n ≥ 1 n \geq 1 n ≥ 1 के लिए,
∑ j = 1 n ( − 1 ) j + 1 ⌊ j n ⌋ = n + 1 2 \sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor = \frac{n+1}{2} ∑ j = 1 n ( − 1 ) j + 1 ⌊ jn ⌋ = 2 n + 1 渐近तुलना : फ़्लोर फ़ंक्शन के बिना,
∑ j = 1 n ( − 1 ) j + 1 j n = n 2 + C n + 1 8 + O ( n − 1 ) \sum_{j=1}^{n}(-1)^{j+1}\sqrt{jn} = \frac{n}{2} + C\sqrt{n} + \frac{1}{8} + O(n^{-1}) ∑ j = 1 n ( − 1 ) j + 1 jn = 2 n + C n + 8 1 + O ( n − 1 )
फ़्लोर ऑपरेशन n \sqrt{n} n क्रम की त्रुटि पद को समाप्त करता हैपद्धति विज्ञान : AI मॉडल (Google Gemini) प्रभावी प्रमाण रणनीतियों का सुझाव दे सकता हैविषम संख्या प्रतिबंध : प्रमेय 1.1 केवल विषम संख्याओं पर लागू होता है, सम संख्याओं की स्थिति पर चर्चा नहीं की गई हैअनुमान 2.1 अधूरा : अंतर पर आधारित वैकल्पिक प्रमाण विधि जटिल लेम्मा को शामिल करती है, पूरी तरह पूरी नहीं की गई हैAI प्रमाण की कठोरता : AI द्वारा सुझाया गया प्रमाण मानव सत्यापन और सरलीकरण की आवश्यकता है, सीधे उपयोग नहीं किया जा सकतासीमित अनुप्रयोग : अंकगणितीय संरचना की कमी के कारण, शास्त्रीय व्युत्क्रमण सूत्र (जैसे Möbius व्युत्क्रमण) को लागू करना कठिन हैस्थिरांक C C C का बंद रूप : हालांकि श्रेणी प्रतिनिधित्व दिया गया है, लेकिन यह सरल प्राथमिक फ़ंक्शन नहीं हैसम संख्याओं की स्थिति : n n n सम होने पर प्रत्यावर्ती योग के व्यवहार का अध्ययनअनुमान 2.1 को पूरा करना : तकनीकी लेम्मा को सरल करके, अंतर-आधारित प्रमाण को पूरा करनाअन्य फ़ंक्शन में सामान्यीकरण : ⌊ j n k ⌋ \lfloor\sqrt[k]{jn}\rfloor ⌊ k jn ⌋ आदि के प्रत्यावर्ती योग का अध्ययनमॉड्यूलर रूपों से जुड़ाव : मॉड्यूलर रूप सिद्धांत के साथ संभावित संबंध की खोजAI-सहायक गणित : संख्या सिद्धांत प्रमाणों में AI के अनुप्रयोग क्षमता का व्यवस्थित अध्ययनकम्प्यूटेशनल जटिलता : इन योगों की गणना के लिए कुशल एल्गोरिदम का अध्ययनपरिणाम सरल : दाहिना पक्ष केवल n + 1 2 \frac{n+1}{2} 2 n + 1 है, अत्यंत सरलसार्वभौमिकता : सभी विषम संख्याओं पर लागू, विशेष उप-वर्गों तक सीमित नहींतीव्र विपरीतता : Bouniakowski सर्वसमिका की सीमाओं के साथ तीव्र विपरीतताप्राथमिक विधि : गहन सिद्धांत पर निर्भर नहीं, समझने में आसानचतुर रूपांतरण : योग को गणना समस्या में रूपांतरित करता हैसममितता उपयोग : n n n की विषमता के गुणों का पूर्ण उपयोगदोहरी दृष्टिकोण : सटीक सूत्र और渐近विश्लेषण दोनों प्रदान करता हैतुलनात्मक अध्ययन : फ़्लोर ऑपरेशन के "नियमितकरण" प्रभाव को प्रकट करता हैवैकल्पिक विधि : अंतर-आधारित वैकल्पिक दृष्टिकोण प्रस्तावित करता हैAI-सहायक प्रमाण : संख्या सिद्धांत क्षेत्र में पहली बार AI-सुझाए गए प्रमाण प्रदर्शित करता हैमानव-मशीन सहयोग : AI सुझाव और मानव कठोरीकरण का संयोजनपारदर्शिता : AI के योगदान और मानव संशोधन को स्पष्ट रूप से बताता हैतर्क स्पष्ट, चरण विस्तृत ठोस संख्यात्मक उदाहरण प्रदान करता है समृद्ध ऐतिहासिक पृष्ठभूमि विषम संख्या प्रतिबंध : सम संख्याओं की स्थिति पूरी तरह अछूती है, परिणाम की पूर्णता को सीमित करती हैकोई सामान्यीकरण नहीं : j n k \sqrt[k]{jn} k jn या अन्य फ़ंक्शन में सामान्यीकरण की संभावना की खोज नहीं की गईअनुमान अप्रमाणित : अनुमान 2.1 एक अन्य दृष्टिकोण प्रदान करता है, लेकिन प्रमाण अधूरा हैतकनीकी विवरण अनुपस्थित : अधूरे प्रमाण के लिए, विशिष्ट कठिनाइयों का विवरण नहीं दिया गया हैसिद्धांत-केंद्रित : मुख्य रूप से शुद्ध गणितीय परिणाम, स्पष्ट अनुप्रयोग की कमीअंकगणितीय संरचना अनुपस्थित : लेखकों के अनुसार, अंकगणितीय संरचना की कमी आगे के अनुप्रयोग को सीमित करती हैविशिष्ट योगदान अस्पष्ट : AI द्वारा सुझाए गए मूल रूप का विस्तृत विवरण नहीं दिया गया हैपुनरुत्पादनीयता : AI के साथ इंटरैक्शन के विस्तृत रिकॉर्ड प्रदान नहीं किए गए हैंसामान्यीकरण अज्ञात : यह विधि अन्य समस्याओं पर लागू होगी या नहीं, यह स्पष्ट नहीं हैसीमित उदाहरण : केवल n = 33 n=33 n = 33 का विस्तृत उदाहरण दिया गया है渐近सटीकता : विभिन्न n n n मानों पर渐近सूत्र की त्रुटि विश्लेषण प्रदान नहीं की गई हैस्थिरांक गणना : स्थिरांक C C C की संख्यात्मक गणना विधि विस्तार से नहीं बताई गई हैशास्त्रीय परिणाम विस्तार : Bouniakowski सर्वसमिका के विचारों को नई स्थितियों में सामान्यीकृत करता हैनई तकनीकें : विषमता युग्मन तर्क अन्य समस्याओं पर लागू हो सकता हैसैद्धांतिक अंतर्दृष्टि : प्रत्यावर्ती गुण और फ़्लोर ऑपरेशन के पारस्परिक प्रभाव को प्रकट करता हैअग्रदूत : संख्या सिद्धांत क्षेत्र में AI-सहायक प्रमाण की व्यवहार्यता प्रदर्शित करता हैचर्चा उत्पन्न करता है : गणितीय अनुसंधान में AI की भूमिका के बारे मेंपद्धति उदाहरण : मानव-मशीन सहयोग की सफल केस स्टडीसीमित : मुख्य रूप से सैद्धांतिक परिणाम, प्रत्यक्ष अनुप्रयोग स्पष्ट नहींशैक्षणिक मूल्य : प्राथमिक संख्या सिद्धांत के सुंदर उदाहरण के रूप में काम कर सकता हैप्रेरणादायक : संबंधित समस्याओं के अनुसंधान को प्रेरित कर सकता हैप्रमाण सत्यापन योग्य : प्रमाण चरण स्पष्ट हैं, सत्यापन में आसानसंख्यात्मक पुनरुत्पादन योग्य : गणना मानक गणितीय सॉफ़्टवेयर से की जा सकती हैAI भाग पुनरुत्पादन योग्य नहीं : AI के साथ इंटरैक्शन प्रक्रिया पूरी तरह दर्ज नहीं की गई हैसंख्या सिद्धांत में जाली बिंदु गणना समस्याएं Diophantine सन्निकटन सिद्धांत फ़्लोर फ़ंक्शन के विश्लेषणात्मक गुणों का अध्ययन संख्या सिद्धांत पाठ्यक्रम के उदाहरण: प्राथमिक विधियों की शक्ति प्रदर्शित करता है संयोजन गणित: योग तकनीकें और सममितता तर्क कम्प्यूटेशनल गणित: सटीक गणना और渐近विश्लेषण की तुलना AI-सहायक गणितीय प्रमाण की केस स्टडी मानव-मशीन सहयोग के गणितीय अनुसंधान मॉडल गणितीय खोज की कम्प्यूटेशनल विधियां फ़्लोर फ़ंक्शन को शामिल करने वाले अन्य योग प्रत्यावर्ती योग का सामान्य सिद्धांत समान सर्वसमिकाओं की खोज और प्रमाण V. Bouniakowski (1882) : "Démonstration d'un théorème relatif à la fonction E(x)"मूल Bouniakowski सर्वसमिका G. Pólya और G. Szegő (1976) : "Problems and Theorems in Analysis, Vol. II"सर्वसमिका (1.1) को व्यायाम के रूप में शामिल करता है S. A. Shirali (1997) : "A family portrait of primes—A case study in discrimination"सर्वसमिका (1.1) के लिए वैकल्पिक प्रमाण प्रदान करता है H. M. Edwards (2001) : "Riemann's Zeta Function"Zeta फ़ंक्शन आंशिक योग अनुमान का संदर्भ M. Chamberland और K. Dilcher (2025) : "Sums of the floor function related to class numbers"लेखकों का संबंधित कार्य, वर्ग संख्याओं में सामान्यीकरण Google Gemini (2025) : AI मॉडलमुख्य प्रमेय के प्रमाण संरचना का सुझाव दिया यह एक सुंदर संख्या सिद्धांत पेपर है, जो एक सरल और सार्वभौमिक सर्वसमिका सिद्ध करता है। मुख्य विशेषताएं हैं:
परिणाम सभी विषम संख्याओं पर लागू होता है, केवल विशेष अभाज्य संख्याओं तक सीमित नहीं प्रमाण प्राथमिक और चतुर है, विषमता युग्मन का उपयोग करता है पूर्ण渐近विश्लेषण तुलना के रूप में प्रदान करता है गणितीय प्रमाण में AI-सहायता की क्षमता प्रदर्शित करता है मुख्य सीमाएं हैं:
केवल विषम संख्याओं पर लागू स्पष्ट अनुप्रयोगों की कमी AI योगदान के विशिष्ट विवरण पर्याप्त पारदर्शी नहीं कुल मिलाकर, यह एक दिलचस्प शुद्ध गणितीय परिणाम है, जो प्राथमिक विधियों की शक्ति और AI-सहायक अनुसंधान की संभावना को प्रदर्शित करता है, संख्या सिद्धांत और गणितीय पद्धति विज्ञान दोनों में योगदान देता है।