A valós számok halmazán értelmezett (alsó) egészrész függvény (jelben ⌊x⌋ vagy [x]) egy valós számnak az adott számnál még nem nagyobb legnagyobb egész számot felelteti meg. Hasonlóan, a felső egészrész függvény (jelben ⌈x⌉) az adott valós számnak az adott számnál még nem kisebb legkisebb egész számot felelteti meg.[1]
A [x] jelölést Gauss vezette be az alsó egészrészre;[2] a ⌊x⌋ és a ⌈x⌉ jelek Kenneth E. Iversontól származnak.[3][4] A német nyelvben ma is használják a Gauß-Klammer ('Gauss-zárójel') nevet az alsó egészrészre. Az angol nyelvben az alsó egészrész függvény egyik neve az entier function, amiben az entier szó franciául egészet jelent.
Egy x valós számra x alsó egészrésze (vagy egész része) az az egész szám, mely a legnagyobb az x-nél kisebb vagy egyenlő egészek közül:
![{\displaystyle \lfloor x\rfloor =\max \,\{n\in \mathbb {Z} \mid n\leq x\},}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82yjo5ajG5aje4ngzCnAwQzjvEztm5zjG5nga2nDsOnArAzta0nDe1)
Így például
.
Egy x valós számra x felső egészrésze az az egész szám, mely a legkisebb az x-nél nagyobb vagy egyenlő egészek közül:
![{\displaystyle \lceil x\rceil =\min \,\{n\in \mathbb {Z} \mid n\geq x\}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO81aNBCzgsOaDGQzNhCaNoQoAi3o2s5oNvBoNlFaqo4ztC0z2hCaAvF)
Például:
.
Egy x valós szám törtrésze egészrészétől való távolsága, azaz
. Nyilván mindig teljesül
.
Példa:
Érték
|
Alsó egészrész
|
Felső egészrész
|
Törtrész
|
12/5 = 2,4
|
2
|
3
|
2/5 = 0,4
|
2.7
|
2
|
3
|
0,7
|
−2.7
|
−3
|
−2
|
0,3
|
−2
|
−2
|
−2
|
0
|
Mivel minden egység hosszú, félig nyílt intervallumban egy egész van, ezért egyértelműen vannak olyan n, 'm egészek, amikre:
![{\displaystyle x-1<m\leq x\leq n<x+1.\;}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO85agvFaAhAzgi2z2nAnjC3oqzAaAzEaji0nDC1ntzDyjFCaNC3zjs1)
Ezért
és ![{\displaystyle \;\lceil x\rceil =n\;}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Ezgo1zDFBaAnCyjdDzAe2oNaPzjnBzgrDzgnEzDdAzjwPzjhAa2sP)
az alsó és a felső egészrész ekvivalens definíciója.
A következő formulák segítenek az egészrészt tartalmazó számításokban:
![{\displaystyle {\begin{aligned}\lfloor x\rfloor =n&\;\;{\mbox{ akkor és csak akkor }}&n&\leq x<n+1,\\\lceil x\rceil =n&\;\;{\mbox{ akkor és csak akkor }}&n-1&<x\leq n,\\\lfloor x\rfloor =n&\;\;{\mbox{ akkor és csak akkor }}&x-1&<n\leq x,\\\lceil x\rceil =n&\;\;{\mbox{ akkor és csak akkor }}&x&\leq n<x+1.\end{aligned}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9CoAo3oDsNaqnBaDFAoNe4ytw2zjzByjrAztG4aji5zjmNaghBzNm0)
Ezek a képletek a rendezéssel való kapcsolatot mutatják:
![{\displaystyle {\begin{aligned}x<n&\;\;{\mbox{ akkor és csak akkor }}&\lfloor x\rfloor &<n,\\n<x&\;\;{\mbox{ akkor és csak akkor }}&n&<\lceil x\rceil ,\\x\leq n&\;\;{\mbox{ akkor és csak akkor }}&\lceil x\rceil &\leq n,\\n\leq x&\;\;{\mbox{ akkor és csak akkor }}&n&\leq \lfloor x\rfloor .\end{aligned}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Ants4ngo3zqdAaqs1ato4atmPnqePaqiPoNaQajlEzNoOoAzDaDnD)
Egész szám hozzáadásának hatása:
![{\displaystyle {\begin{aligned}\lfloor x+n\rfloor &=\lfloor x\rfloor +n,\\\lceil x+n\rceil &=\lceil x\rceil +n,\\\{x+n\}&=\{x\}.\end{aligned}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FajdCajm4yqs0yjvEntoPaDdDagwNzjC4aNhFo2nFotiQoArFnqnD)
Ha n nem egész, akkor a fenti számolások nem igazak:
![{\displaystyle {\begin{aligned}&\lfloor x\rfloor +\lfloor y\rfloor &\leq \;\lfloor x+y\rfloor \;&\leq \;\lfloor x\rfloor +\lfloor y\rfloor +1,\\&\lceil x\rceil +\lceil y\rceil -1&\leq \;\lceil x+y\rceil \;&\leq \;\lceil x\rceil +\lceil y\rceil .\end{aligned}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PntFEztw4aAzCagw4age3nDo1oAvEzqrDaDJCyjG2yqzBztBEzgvF)
A definíciók alapján nyilván
és egyenlőség akkor és csak akkor teljesül, ha x egész, i.e.
![{\displaystyle \lceil x\rceil -\lfloor x\rfloor ={\begin{cases}0&{\mbox{ ha }}x\in \mathbb {Z} \\1&{\mbox{ ha }}x\not \in \mathbb {Z} \end{cases}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO84agw0oNwQnqoOnAsNnjdBaqe2nAsOoDK3nge3aArDnAo0zje1yjs1)
Valóban, ha n egész:
![{\displaystyle \lfloor n\rfloor =\lceil n\rceil =n.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO81otG4otvEoNm0nqw4ztrBaqs3ateNatGPagiNo2i4zDo2aghFnjw5)
Az argumentum előjelét megváltoztatva az alsó és felső egészrész függvény megcserélődik, és előjelet vált:
azaz
![{\displaystyle \lfloor x\rfloor +\lfloor -x\rfloor ={\begin{cases}0&{\mbox{ ha }}x\in \mathbb {Z} \\-1&{\mbox{ ha }}x\not \in \mathbb {Z} ,\end{cases}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8NzgoQz2i2ygdBzDlEntzFathEyjmOyqe0zNo0zDw4ztFCz2aNnjC3)
![{\displaystyle \lceil x\rceil +\lceil -x\rceil ={\begin{cases}0&{\mbox{ ha }}x\in \mathbb {Z} \\1&{\mbox{ ha }}x\not \in \mathbb {Z} .\end{cases}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO83oqe2nDhBaDrAzqi2zAsQotzBoAa4aNCQatrAzNJCnAe0otiOaAs4)
A törtrész argumentumának ellentettjét véve a törtrész a komplementerére változik:
![{\displaystyle \{x\}+\{-x\}={\begin{cases}0&{\mbox{ ha }}x\in \mathbb {Z} \\1&{\mbox{ ha }}x\not \in \mathbb {Z} .\end{cases}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82zgs3oDK1zNJDnDsNotnBags3zNK1ntzAnjzEnDlEzjJDzNlBygw3)
A felső, az alsó egészrész és a törtrész idempotens:
![{\displaystyle {\begin{aligned}{\Big \lfloor }\lfloor x\rfloor {\Big \rfloor }&=\lfloor x\rfloor ,\\{\Big \lceil }\lceil x\rceil {\Big \rceil }&=\lceil x\rceil ,\\{\Big \{}\{x\}{\Big \}}&=\{x\}.\\\end{aligned}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Faqo4zge1zDs1oNe4zgaQngzCa2hBzNo4z2e0a2nEyqa4aNvDaqo5)
A beágyazott alsó, és felső egészrészek eredménye megegyezik a legbelső eredményével:
![{\displaystyle {\begin{aligned}{\Big \lfloor }\lceil x\rceil {\Big \rfloor }&=\lceil x\rceil ,\\{\Big \lceil }\lfloor x\rfloor {\Big \rceil }&=\lfloor x\rfloor .\\\end{aligned}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO85yjnEnqoPyte2z2sNnAePztiQaDwOnDs4a2dBzNs1ajnBzqrDoDJC)
Rögzített y-ra x mod y idempotens:
![{\displaystyle (x\,{\bmod {\,}}y)\,{\bmod {\,}}y=x\,{\bmod {\,}}y.\;}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9EzqzBytrEygo1ntnBaNeNyqoQnja4aAo5ajCQzAdEataOzDeQoqsN)
Tehát a definíciók szerint
![{\displaystyle \{x\}=x\,{\bmod {\,}}1.\;}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9BnDlCaqwQzDzDnDiQo2zEzNlCoDC5aghEaqi4aDBCoNCQaAzEzjBF)
Ha n ≠ 0,
![{\displaystyle 0\leq \left\{{\frac {m}{n}}\right\}\leq 1-{\frac {1}{|n|}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9EnqaPyghCzgo2nAdFotJBytBEzNlFzghAoqzEyqrEnjs5zDiPzDCP)
Ha n pozitív[5]
![{\displaystyle \left\lfloor {\frac {x+m}{n}}\right\rfloor =\left\lfloor {\frac {\lfloor x\rfloor +m}{n}}\right\rfloor ,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82zDGOzjK0yqw3ajCPzjG2ntG1zjKPzqoOajK3nDa2o2wNzNrAzDhA)
![{\displaystyle \left\lceil {\frac {x+m}{n}}\right\rceil =\left\lceil {\frac {\lceil x\rceil +m}{n}}\right\rceil .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO83atJCzti1yqi2zDeQyja4atdFnjzDztC3nAwNzjrCaDs5njC3yjw2)
Ha m pozitív[6]
![{\displaystyle n=\left\lceil {\frac {n}{m}}\right\rceil +\left\lceil {\frac {n-1}{m}}\right\rceil +\dots +\left\lceil {\frac {n-m+1}{m}}\right\rceil ,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8OztoPnqeNo2rEothFajvCoNFDyjhCoDiOngsOatw5yjCNotFEnDrE)
![{\displaystyle n=\left\lfloor {\frac {n}{m}}\right\rfloor +\left\lfloor {\frac {n+1}{m}}\right\rfloor +\dots +\left\lfloor {\frac {n+m-1}{m}}\right\rfloor .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Dagi3zghBoDmOztw5zteOygsPoDm4nAoNyjo0oNo5a2eOyqaOa2o4)
m = 2-re következik:
![{\displaystyle n=\left\lfloor {\frac {n}{2}}\right\rfloor +\left\lceil {\frac {n}{2}}\right\rceil .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO80nAo2zjoQoNGOoDeNaNwNyto1yqnCnte0atzCntC3ntwNnDlAaNrE)
Általában,[7] for pozitív m-re:
![{\displaystyle \lceil mx\rceil =\left\lceil x\right\rceil +\left\lceil x-{\frac {1}{m}}\right\rceil +\dots +\left\lceil x-{\frac {m-1}{m}}\right\rceil ,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO81zDeOztrAnAs5ytJFyqhFaqrFo2w2oNm0ajw2zje5oDi5oNKPytlC)
![{\displaystyle \lfloor mx\rfloor =\left\lfloor x\right\rfloor +\left\lfloor x+{\frac {1}{m}}\right\rfloor +\dots +\left\lfloor x+{\frac {m-1}{m}}\right\rfloor .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8Nngw1oNK2ytnFoNzBytoOztFAzgsPzDm5zgzDaNw3zDo5ygsPyjm1)
Ezekkel az összefüggésekkel át lehet térni az egyik egészrészről a másikra (m pozitív)[8]
![{\displaystyle \left\lceil {\frac {n}{m}}\right\rceil =\left\lfloor {\frac {n+m-1}{m}}\right\rfloor =\left\lfloor {\frac {n-1}{m}}\right\rfloor +1,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82oDC0zAs3zAzFytK5yqsNoAoOaDa1zAoOaqhBzjw2nqe1nqe0atwQ)
![{\displaystyle \left\lfloor {\frac {n}{m}}\right\rfloor =\left\lceil {\frac {n-m+1}{m}}\right\rceil =\left\lceil {\frac {n+1}{m}}\right\rceil -1,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9DaAi1ngoNzqrFoAvDatmOzjm5ytePzgvEnjK3yjJBa2aOaqrBzjnE)
Ha m és n is pozitív, és relatív prímek, akkor
![{\displaystyle \sum _{i=1}^{n-1}\left\lfloor {\frac {im}{n}}\right\rfloor ={\frac {1}{2}}(m-1)(n-1).}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO80aDBEyqnDotC1oDsQztnCzgzFyqnEaDmPzgvAzthEnjs3oDoNoqa2)
Mivel a jobb oldal szimmetrikus m-ben és n-ben, következik, hogy
![{\displaystyle \left\lfloor {\frac {m}{n}}\right\rfloor +\left\lfloor {\frac {2m}{n}}\right\rfloor +\dots +\left\lfloor {\frac {(n-1)m}{n}}\right\rfloor =\left\lfloor {\frac {n}{m}}\right\rfloor +\left\lfloor {\frac {2n}{m}}\right\rfloor +\dots +\left\lfloor {\frac {(m-1)n}{m}}\right\rfloor .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Dyjm0zDzDa2w4zDm5nDzFzthAaAi4oNzAa2zCnjaOatFBatJEoAa3)
Általánosabban, ha m és n pozitív,
[9]
Pozitív m,n-re, és tetszőleges valós x-re:
![{\displaystyle \left\lfloor {\frac {\lfloor x/m\rfloor }{n}}\right\rfloor =\left\lfloor {\frac {x}{mn}}\right\rfloor }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Dz2aPaNoOyjo1zNzEoNvFzqa4ztK4nAdBntdAzjeQotzAoto5zDhF)
![{\displaystyle \left\lceil {\frac {\lceil x/m\rceil }{n}}\right\rceil =\left\lceil {\frac {x}{mn}}\right\rceil }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO80ztm2aDlEnjo2njFEzje5nAvBoAiPaAa3oAzFaAhAyjK3nAs3yghA)
Az itt tárgyalt függvények nem folytonosak; az egészrészek és a törtrész szakadási helyei éppen az egész számok. Az x mod y szakadási helyei rögzített y-ra y többszörösei. Nem párosak, és nem páratlanok. Az alsó és a felső egészrész szakaszonként konstans, a törtrész szakaszonként lineáris. Az alsó egészrész jobbról, a felső egészrész balról folytonos. A szakadási helyeken mindkét oldali határérték létezik. A törtrész periodikus, legkisebb periódusa 1.
Mivel ezek a függvények nem folytonosak, nem fejthetők Taylor-sorba. Ezen kívül az egészrészeknek Fourier-sorokkal sem állíthatók elő, mivel nem periodikusak.
Az x mod y Fourier-sora rögzített y-ra:[10]
![{\displaystyle x\,{\bmod {\,}}y={\frac {y}{2}}-{\frac {y}{\pi }}\sum _{k=1}^{\infty }{\frac {\sin \left({\frac {2\pi kx}{y}}\right)}{k}}\qquad {\mbox{ }}x{\mbox{ nem osztható }}y{\mbox{ -nal}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8Qajs1aArCngzDzjhEz2rFnDJCytm3zDe2ntvEnjzDaNrFnjm2aji0)
Speciálisan, {x} = x mod 1 Fourier-sora:
![{\displaystyle \{x\}={\frac {1}{2}}-{\frac {1}{\pi }}\sum _{k=1}^{\infty }{\frac {\sin(2\pi kx)}{k}}\qquad {\mbox{ha }}x{\mbox{ nem egész}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82atw1zDvAngrBztvEzDdByjlFyqw4atlBnqdBntm1yjK1ajG0zjBB)
A szakadási helyeken a sor értéke a jobb és a bal határérték számtani közepét adja. A folytonossági pontokban a sor a függvényértékhez tart.
Az {x} = x − floor(x), floor(x) = x − {x} kifejezés felhasználásával
![{\displaystyle \lfloor x\rfloor =x-{\frac {1}{2}}+{\frac {1}{\pi }}\sum _{k=1}^{\infty }{\frac {\sin(2\pi kx)}{k}}\qquad {\mbox{ha }}x{\mbox{ nem egész}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8NaDKPaqw0ngo1yjJCatnBoAaOyjnAatJEaqoQytFFagvFzAnBntvA)
A mod operátor így definiálható:
![{\displaystyle x\,{\bmod {\,}}y=x-y\left\lfloor {\frac {x}{y}}\right\rfloor ,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Aagw1otiPatm5atmNoNm2aqa0ztaPntw5zAhEntwNaNG1aghBate2)
ahol y ≠ 0.
x mod y csak 0 és y közötti értékeket vesz fel; i.e.
ha y pozitív,
![{\displaystyle 0\leq x\,{\bmod {\,}}y<y,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO84aAePyqwNytC5ngs5ate2aje1aAaQoqsQaqa0zNlEzDG0zgnEzNlE)
és ha y negatív,
![{\displaystyle 0\geq x\,{\bmod {\,}}y>y.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FnAiQotGOygwPytBCaDw5nDm5zNo0ytm1zgs4ots0ytCQa2oPzNzE)
Ha x egész, és y pozitív, akkor
![{\displaystyle (x\,{\bmod {\,}}y)\equiv x{\pmod {y}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8QztBEnArFaNGQzAs0oAs5otvBzje3aDJAaja3z2rDoNdCoNC5oNzD)
Rögzített y-ra x mod y grafikonja fűrészfogakra emlékeztet. Innen a név: fűrészfog-függvény.
Gauss harmadik bizonyítása a kvadratikus reciprocitásra két lépésből áll.[11][12]
Legyen p és q két különböző páratlan prím, és legyen
![{\displaystyle m={\frac {p-1}{2}},\;\;n={\frac {q-1}{2}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO80yjGQa2hFzgo1a2vDoNaOzArFaDrAzgeQzDzFyqrFytw3aAzEaNC5)
Először a Gauss-lemmával megmutatjuk, hogy a Legendre-szimbólumokra
![{\displaystyle \left({\frac {q}{p}}\right)=(-1)^{\left\lfloor {\frac {q}{p}}\right\rfloor +\left\lfloor {\frac {2q}{p}}\right\rfloor +\dots +\left\lfloor {\frac {mq}{p}}\right\rfloor }}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PajGOztJCatdDz2o0z2i3zjGPoNFFyjG4o2oNzgeOatzEzta4zqa4)
és
![{\displaystyle \left({\frac {p}{q}}\right)=(-1)^{\left\lfloor {\frac {p}{q}}\right\rfloor +\left\lfloor {\frac {2p}{q}}\right\rfloor +\dots +\left\lfloor {\frac {np}{q}}\right\rfloor }.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO81zAs5njG5atsPzqdAztwPaAs2oqi1aAhFatzDoNm4yjoNytm4oqdA)
A második lépés geometriai érvelést használ annak belátására, hogy
![{\displaystyle \left\lfloor {\frac {q}{p}}\right\rfloor +\left\lfloor {\frac {2q}{p}}\right\rfloor +\dots +\left\lfloor {\frac {mq}{p}}\right\rfloor +\left\lfloor {\frac {p}{q}}\right\rfloor +\left\lfloor {\frac {2p}{q}}\right\rfloor +\dots +\left\lfloor {\frac {np}{q}}\right\rfloor =mn.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Bnjo3zge5ngnFytzDoNe0nqw5zte5aDi4yqi4njlEzjCNaAsNzNK2)
Összetéve
![{\displaystyle \left({\frac {p}{q}}\right)\left({\frac {q}{p}}\right)=(-1)^{mn}=(-1)^{{\frac {p-1}{2}}{\frac {q-1}{2}}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PajKOaNlBngvFoDCNyjlAaDJEnjhAoNdEzDG3aqoPoNaQagrAoAoO)
Ezek a képletek az alsó egészrészt használják a kis számok kvasdratikus jellemzésére a p páratlan prím modulusokra:[13]
![{\displaystyle \left({\frac {2}{p}}\right)=(-1)^{\left\lfloor {\frac {p+1}{4}}\right\rfloor },}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8QatC0ngw0aNiPnti3ytK0nqzCatnFzNi0njFAo2a5yts1otrDnjKO)
![{\displaystyle \left({\frac {3}{p}}\right)=(-1)^{\left\lfloor {\frac {p+1}{6}}\right\rfloor }.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO83ytdBytK2nAaOytC5zjBCaqi4ajC0oDzBajdFotm1ztdFz2rAa2w3)
A pozitív számok egészekre kerekítése az
függvénnyel, a negatív számoké a
függvénnyel írható le.
A tizedesjegyek levágása is definiálható az egészrészekkel:
nem negatív egészekre
, és nem pozitív egészekre
.
A szignumfüggvény felhasználásával:
Ha k pozitív egész, akkor jegyeinek száma a b alapú számrendszerben:
![{\displaystyle \lfloor \log _{b}{k}\rfloor +1.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO83ngw5aNvFzDs5a2nCoNFBotdCotzFoNs5nAaQzgvFzgsOyqeNztnB)
Legyen n pozitív egész. Ekkor a p prím kitevője n! prímtényezős felbontásában[14]
![{\displaystyle \left\lfloor {\frac {n}{p}}\right\rfloor +\left\lfloor {\frac {n}{p^{2}}}\right\rfloor +\left\lfloor {\frac {n}{p^{3}}}\right\rfloor +\dots }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO81ngvEo2zEaNw2agdFotvDnDzDajaQoNw2aqs1ots4ata4zgiOnAa4)
Ez az összeg véges, mert minden prímre van egy hatvány, ami nagyobb, mint n!.
A Beatty-sorozatok megmutatják, hogy az irracionális számok két részre particionálják a természetes számokat az egészrész felhasználásával.[15]
Több képletben is együtt szerepel a γ = 0,57721 56649... Euler-konstans és valamelyik egészrész:
![{\displaystyle \gamma =\int _{1}^{\infty }\left({1 \over \lfloor x\rfloor }-{1 \over x}\right)\,dx,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8Oyge5zNnFaga4yqeOnDdEoDhBntFBaNhDzgeQoNdAa2a1zAw1njvE)
![{\displaystyle \gamma =\lim _{n\to \infty }{\frac {1}{n}}\,\sum _{k=1}^{n}\left(\left\lceil {\frac {n}{k}}\right\rceil -{\frac {n}{k}}\right),}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8Onji1zqw0ngiPzAw4oAzDaji2zqdCnjrFaNsPnjKPnts4agiPajzE)
és
![{\displaystyle \gamma =\sum _{k=2}^{\infty }(-1)^{k}{\frac {\left\lfloor \log _{2}k\right\rfloor }{k}}={\tfrac {1}{2}}-{\tfrac {1}{3}}+2\left({\tfrac {1}{4}}-{\tfrac {1}{5}}+{\tfrac {1}{6}}-{\tfrac {1}{7}}\right)+3\left({\tfrac {1}{8}}-\dots -{\tfrac {1}{15}}\right)+\dots }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FzqaQngvFzjlAotvBo2nCntFFnga2zjBFnAe5atlEoArBzDi5zDo4)
A törtrész megjelenik a Riemann-féle zéta-függvény integrálos felírásaiban.
Parciális integrálással megmutatható,[16] hogy ha φ(x) folytonosan differenciálható az [a, b] zárt intervallumon, akkor
![{\displaystyle {\sum _{a<n\leq b}\varphi (n)=\int _{a}^{b}\varphi (x)dx+\int _{a}^{b}\left(\{x\}-{\tfrac {1}{2}}\right)\varphi '(x)dx+\left(\{a\}-{\tfrac {1}{2}}\right)\varphi (a)-\left(\{b\}-{\tfrac {1}{2}}\right)\varphi (b).}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Dztw5njzCyjvEnAw3ytoOotmOyqwOzDiPzqsNztG1zNzBajaPzje1)
Ha most φ(n) = n−s, ahol s valós része nagyobb, mint 1, a és b egész, és b tart a végtelenbe, akkor adódik:
![{\displaystyle \zeta (s)=s\int _{1}^{\infty }{\frac {{\frac {1}{2}}-\{x\}}{x^{s+1}}}\;dx+{\frac {1}{s-1}}+{\frac {1}{2}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO80zjvAnjm3atC2aDKQaDmOaje3ntJEaNwPnjzFoDeNzqrAnqa3yjG5)
Ez a képlet minden olyan s-re jó, aminek valós része nagyobb, mint -1, és nem egyenlő eggyel. {x} Fourier-sorának felhasználásával és ezzel az egyenlettel a zéta-függvény kiterjeszthető az egész komplex síkra, az 1 kivételével, ahol is pólusa van.[17]
A kritikus sávban levő s = σ + i t-re
![{\displaystyle \zeta (s)=s\int _{-\infty }^{\infty }e^{-\sigma \omega }(\lfloor e^{\omega }\rfloor -e^{\omega })e^{-it\omega }\,d\omega .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8OotvBnji1nAsNaAvDnAsNoAo5ygi1zqdDnDnAoAoQaDaQytCPzDdB)
1947-ben van der Pol ezt a felírást használta a zéta-függvény gyökeinek keresésére készített egy analóg számítógépet.[18]
n akkor és csak akkor prím, ha[19]
![{\displaystyle \sum _{m=1}^{\infty }\left(\left\lfloor {\frac {n}{m}}\right\rfloor -\left\lfloor {\frac {n-1}{m}}\right\rfloor \right)=2.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9AytG4aqwQnDeOzjo0aDK1aNC4zDCNzNe0nAe3ajoNoDi4ygs1zNs1)
Legyen r > 1 egész, pn az n-edik prím, és
![{\displaystyle \alpha =\sum _{m=1}^{\infty }p_{m}r^{-m^{2}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9EnDmOyjK3oAi5ytnAyjG4zgs3nqhCz2w1zNC0zjmPz2oNzjC4njwN)
Ekkor[20]
![{\displaystyle p_{n}=\left\lfloor r^{n^{2}}\alpha \right\rfloor -r^{2n-1}\left\lfloor r^{(n-1)^{2}}\alpha \right\rfloor .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO85agdDoNKOaDoPnta5aqzDzgsNnjiQzgaQzNw5aqvEnta5ntBCajlA)
Van egy θ = 1,3064... szám (a Mill-konstans), hogy
![{\displaystyle \left\lfloor \theta ^{3}\right\rfloor ,\left\lfloor \theta ^{9}\right\rfloor ,\left\lfloor \theta ^{27}\right\rfloor ,\dots }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8NoAzDaqi0ytG4yga4njoQats3ngvBzgvAnta5agw4oqo3zts4otm0)
mind prímek.[21]
Van egy ω = 1,9287800... szám is, hogy
![{\displaystyle \left\lfloor 2^{\omega }\right\rfloor ,\left\lfloor 2^{2^{\omega }}\right\rfloor ,\left\lfloor 2^{2^{2^{\omega }}}\right\rfloor ,\dots }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8Nzqi1ajw3oNJDoNJCyjBCnqoQzgzBztK3nDvDots2otw0zNo1zjlB)
mind prímek.[21]
Jelölje π(x) az x-nél nem nagyobb prímek számát. Ekkor nyílegyenesen következik a Wilson-tételből, hogy:[22]
![{\displaystyle \pi (n)=\sum _{j=2}^{n}\left\lfloor {\frac {(j-1)!+1}{j}}-\left\lfloor {\frac {(j-1)!}{j}}\right\rfloor \right\rfloor .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9AzAhEyti1aAi2oAhFoqvAnDnFzNnBa2vCnjaQygdBntK1aNC0oNnB)
Tehát, ha n ≥ 2,[23]
![{\displaystyle \pi (n)=\sum _{j=2}^{n}\left\lfloor {\frac {1}{\sum _{k=2}^{j}\left\lfloor \left\lfloor {\frac {j}{k}}\right\rfloor {\frac {k}{j}}\right\rfloor }}\right\rfloor .}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Dyje0aDC5yqi5oto2zqzFoAvCaqrBzAa4ytK5aArFnDwNotnCatzC)
Az ebben a szakaszban felsorolt formuláknak nincs gyakorlati alkalmazásuk.
Srínivásza Rámánudzsan vetette fel ezeket a kérdéseket a Journal of the Indian Mathematical Societynek:[24]
Ha n pozitív egész, akkor:
(I)
(II)
(III)
Ezeket az állításokat sikerült belátni.
A Waring-probléma tanulmányozása közben felvetődött a kérdés:
Van-e k, k ≥ 6 egész, hogy[25]
![{\displaystyle 3^{k}-2^{k}\left\lfloor \left({\tfrac {3}{2}}\right)^{k}\right\rfloor >2^{k}-\left\lfloor \left({\tfrac {3}{2}}\right)^{k}\right\rfloor -2\;\;?}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FytvBaqs0aNG5aqrBntBBythAoDiQnje1zNCPygi4ygrDo2iNoDCN)
Mahler[26] belátta, hogy csak véges számú megoldás létezhet, de nincs ismert konkrét megoldás.
- ↑ Graham, Knuth, & Patashnik, Ch. 3.1
- ↑ Lemmermeyer, pp. 10, 23.
- ↑ Iverson, p. 12.
- ↑ Higham, p. 25.
- ↑ Graham, Knuth, & Patashnik, p. 72
- ↑ Graham, Knuth, & Patashnik, p. 85
- ↑ Graham, Knuth, & Patashnik, p. 85 and Ex. 3.15
- ↑ Graham, Knuth, & Patashnik, Ex. 3.12
- ↑ Graham, Knuth, & Patashnik, p. 94
- ↑ Titchmarsh, p. 15, Eq. 2.1.7
- ↑ Lemmermeyer, § 1.4, Ex. 1.32–1.33
- ↑ Hardy & Wright, §§ 6.11–6.13
- ↑ Lemmermeyer, p. 25
- ↑ Hardy & Wright, Th. 416
- ↑ Graham, Knuth, & Patashnik, pp. 77–78
- ↑ Titchmarsh, p. 13
- ↑ Titchmarsh, pp.14–15
- ↑ Crandall & Pomerance, p. 391
- ↑ Crandall & Pomerance, Ex. 1.3, p. 46
- ↑ Hardy & Wright, § 22.3
- ↑ a b Ribenboim, p. 186
- ↑ Ribenboim, p. 181
- ↑ Crandall & Pomerance, Ex. 1.4, p. 46
- ↑ Ramanujan, Question 723, Papers p. 332
- ↑ Hardy & Wright, p. 337
- ↑ Mahler, K. On the fractional parts of the powers of a rational number II, 1957, Mathematika, 4, pages 122-124
- Floor function (angol nyelven). Encyclopedia of Mathematics. (Hozzáférés: 2022. március 11.)
- Štefan Porubský: Integer rounding functions (angol nyelven). Cseh Tudományos Akadémia, 2007. április 1. (Hozzáférés: 2022. március 11.)
- Eric W. Weisstein: Floor function (angol nyelven). MathWorld. (Hozzáférés: 2022. március 11.)
- Eric W. Weisstein: Ceiling function (angol nyelven). MathWorld. (Hozzáférés: 2022. március 11.)