Συναρτήσεις δαπέδου και οροφής

Στα μαθηματικά και την επιστήμη υπολογιστών, η **συνάρτηση δαπέδου** είναι μια συνάρτηση που λαμβάνει ως είσοδο έναν πραγματικό αριθμό  και δίνει ως έξοδο τον μεγαλύτερο ακέραιο αριθμό που είναι μικρότερος ή ίσος του , και συμβολίζεται με  ή . Ομοίως, η **συνάρτηση οροφής** απεικονίζει το  στον μικρότερο ακέραιο που είναι μεγαλύτερος ή ίσος του , και συμβολίζεται με  ή .

Για παράδειγμα, , ,  και .

Η συνάρτηση δαπέδου ονομάζεται επίσης και **ακέραιο μέρος** του , το οποίο συχνά συμβολίζεται με . Ωστόσο, ο όρος *ακέραιο μέρος* διαφέρει από τη συνάρτηση δαπέδου για αρνητικούς αριθμούς.

## Σημειογραφία
Το *ακέραιο μέρος* ενός αριθμού ορίστηκε για πρώτη φορά το 1798 από τον Αντριέν-Μαρί Λεζάντρ στην απόδειξη ενός τύπου του.

Ο Καρλ Φρίντριχ Γκάους εισήγαγε τη σημειογραφία  στην τρίτη απόδειξη της τετραγωνικής αμοιβαιότητας (1808). Αυτό παρέμεινε έτσι, έως ότου ο Kenneth E. Iverson εισήγαγε, στο βιβλίο του *A Programming Language* το 1962, τα ονόματα "δάπεδο" και "οροφή" και τις αντίστοιχες σημειογραφίες  και . Και οι δύο σημειογραφίες χρησιμοποιούνται τώρα στα μαθηματικά, αν και εμείς θα χρησιμοποιήσουμε τη σημειογραφία του Iverson.

Σε ορισμένες πηγές, οι διπλές αγκύλες  χρησιμοποιούνται για τη συνάρτηση δαπέδου και οι αντίστροφες αγκύλες  ή  για τη συνάρτηση οροφής.

Το κλασματικό μέρος ενός πραγματικού αριθμού , που συμβολίζεται με }, ορίζεται από τον τύπο

: 

για κάθε *x* και ισχύει ότι:

: .

## Ορισμός και ιδιότητες
Έστω πραγματικοί αριθμοί *x* και *y* και ακέραιοι *m* και *n* στο σύνολο \mathbb{Z}. Τότε, οι συναρτήσεις δαπέδου και οροφής μπορούν να οριστούν από τις εξισώσεις:

:  \lfloor x \rfloor=\max \{m\in\mathbb{Z}\mid m\le x\},

:  \lceil x \rceil=\min \{n\in\mathbb{Z}\mid n\ge x\}.

Εφόσον υπάρχει ακριβώς ένας ακέραιος σε ένα διάστημα μήκους ένα, για οποιονδήποτε πραγματικό αριθμό *x*, υπάρχουν μοναδικοί ακέραιοι *m* και *n* που ικανοποιούν την εξίσωση

: x-1

όπου \lfloor x \rfloor = m και \lceil x \rceil = n.

### Ισοδυναμίες
Αυτοί οι τύποι μπορούν να χρησιμοποιηθούν για την απλοποίηση παραστάσεων που αφορούν τις συναρτήσεις δαπέδου και οροφής.

: 
\begin{align}
\lfloor x \rfloor = m &\;\;\mbox{αν και μόνο αν} &m &\le x 

:

Αυτοί οι τύποι δείχνουν πώς η πρόσθεση ενός ακέραιου αριθμού  στις συναρτήσεις τις επηρεάζει:

: 
\begin{align}
\lfloor x+n \rfloor &= \lfloor x \rfloor+n,\\
\lceil x+n \rceil &= \lceil x \rceil+n,\\
\{ x+n \} &= \{ x \}.
\end{align}


Οι παραπάνω σχέσεις δεν ισχύουν εάν ο  δεν είναι ακέραιος. Ωστόσο, για κάθε  και  ισχύουν οι ακόλουθες ανισώσεις:

: \begin{align}
\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{align}

### Μονοτονία
Και οι δύο συναρτήσεις δαπέδου και οροφής είναι αύξουσες:

: 
\begin{align}
x_{1} \le x_{2} &\Rightarrow \lfloor x_{1} \rfloor \le \lfloor x_{2} \rfloor, \\
x_{1} \le x_{2} &\Rightarrow \lceil x_{1} \rceil \le \lceil x_{2} \rceil. 
\end{align}


### Σχέσεις μεταξύ των συναρτήσεων
Είναι προφανές από τους ορισμούς ότι

: \lfloor x \rfloor \le \lceil x \rceil, με την ισότητα να ισχύει μόνο όταν το *x* είναι ακέραιος, δηλαδή:
: \lceil x \rceil - \lfloor x \rfloor = \begin{cases}
0&\mbox{αν } x\in \mathbb{Z}\\
1&\mbox{αν } x\not\in \mathbb{Z}
\end{cases}

Για την ακρίβεια, για τους ακέραιους αριθμούς *n*, ισχύει η παρακάτω σχέση:

: \lfloor n \rfloor = \lceil n \rceil = n.

Με την αλλαγή του προσήμου, αλλάζουν και οι συναρτήσεις δαπέδου και οροφής:

:  \begin{align}
\lfloor x \rfloor +\lceil -x \rceil &= 0 \\
-\lfloor x \rfloor &= \lceil -x \rceil \\
-\lceil x \rceil &= \lfloor -x \rfloor
\end{align}


και:

: \lfloor x \rfloor + \lfloor -x \rfloor = \begin{cases}
0&\text{αν } x\in \mathbb{Z}\\
-1&\text{αν } x\not\in \mathbb{Z},
\end{cases}

: \lceil x \rceil + \lceil -x \rceil = \begin{cases}
0&\text{αν } x\in \mathbb{Z}\\
1&\text{αν } x\not\in \mathbb{Z}.
\end{cases}

Με την αλλαγή του προσήμου, αλλάζει και το κλασματικό μέρος:

: \{ x \} + \{ -x \} = \begin{cases}
0&\text{αν } x\in \mathbb{Z}\\
1&\text{αν } x\not\in \mathbb{Z}.
\end{cases}

Οι συναρτήσεις δαπέδου, οροφής και κλασματικού μέρους είναι ταυτοτικές:

: 
\begin{align}
\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{align}


:

### Πηλίκα
Αν *m* και *n* είναι ακέραιοι, με *n* ≠ 0, τότε:

: 0 \le \left \{\frac{m}{n} \right\} \le 1-\frac{1}.

Αν το *n* είναι θετικός ακέραιος, τότε:

: \left\lfloor\frac{x+m}{n}\right\rfloor = \left\lfloor\frac{\lfloor x\rfloor +m}{n}\right\rfloor,


: \left\lceil\frac{x+m}{n}\right\rceil = \left\lceil\frac{\lceil x\rceil +m}{n}\right\rceil.


Αν το *m* είναι θετικός ακέραιος, τότε:

: 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,


: 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.


Π.χ. για *m* = 2, έχουμε:

: n= \left\lfloor \frac{n}{2}\right \rfloor + \left\lceil\frac{n}{2}\right \rceil.

Γενικότερα, για θετικό ακέραιο *m:*

: \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,


: \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.


Οι παρακάτω σχέσεις μπορούν να χρησιμοποιηθούν για τη μετατροπή των συναρτήσεων δαπέδου σε συναρτήσεις οροφής και το αντίστροφο (*m* θετικός αριθμός):

: \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, 

: \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, 

Για όλους τους θετικούς ακέραιους *m* και *n*, ισχύει ο ακόλουθος τύπος:

: \sum_{k = 1}^{n - 1} \left\lfloor \frac{k m}{n} \right\rfloor = \frac{(m - 1)(n - 1)+\gcd(m,n)-1}2,

ο οποίος, για θετικούς και σχετικά πρώτους αριθμούς *m* και *n*, μειώνεται στον τύπο

: \sum_{k=1}^{n-1} \left\lfloor \frac{km}{n} \right\rfloor = \frac{1}{2}(m - 1)(n - 1)

και ομοίως για τις συναρτήσεις οροφής και κλασματικού μέρους (για θετικούς και σχετικά πρώτους αριθμούς *m* και *n*):

: \sum_{k=1}^{n-1} \left\lceil \frac{km}{n} \right\rceil = \frac{1}{2}(m + 1)(n - 1),

: \sum_{k=1}^{n-1} \left\{ \frac{km}{n} \right\} = \frac{1}{2}(n - 1).

Δεδομένου ότι η δεξιά πλευρά της γενικής περίπτωσης είναι συμμετρική ως προς τα *m* και *n*, αυτό σημαίνει ότι:

: \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.


Γενικότερα, εάν τα *m* και *n* είναι θετικά, τότε:

: \begin{align}
&\left\lfloor \frac{x}{n} \right \rfloor +
\left\lfloor \frac{m+x}{n} \right \rfloor +
\left\lfloor \frac{2m+x}{n} \right \rfloor +
\dots +
\left\lfloor \frac{(n-1)m+x}{n} \right \rfloor\\=
&\left\lfloor \frac{x}{m} \right \rfloor +
\left\lfloor \frac{n+x}{m} \right \rfloor +
\left\lfloor \frac{2n+x}{m} \right \rfloor +
\cdots +
\left\lfloor \frac{(m-1)n+x}{m} \right \rfloor.
\end{align}


Αυτό μερικές φορές ονομάζεται νόμος της αμοιβαιότητας.

### Ένθετες διαιρέσεις
Για θετικό ακέραιο *n* και πραγματικούς αριθμούς *m* και *x*, ισχύει ότι:

:  \left\lfloor \frac{\lfloor x/m\rfloor}{n} \right\rfloor = \left\lfloor \frac{x}{mn} \right\rfloor 

:  \left\lceil \frac{\lceil x/m\rceil}{n} \right\rceil = \left\lceil \frac{x}{mn} \right\rceil. 

### Συνέχεια και επεκτάσεις σειρών
Από τις συναρτήσεις που έχουμε αναφέρει μέχρι τώρα καμία δεν είναι συνεχής, αλλά όλες έχουν κλάδους: οι συναρτήσεις \lfloor x \rfloor, \lceil x \rceil, και \{ x\} έχουν ασυνέχεια στους ακέραιους αριθμούς.

Η συνάρτηση \lfloor x \rfloor είναι άνω ημισυνεχής, ενώ οι συναρτήσεις \lceil x \rceil και \{ x\} είναι κάτω ημισυνεχείς.

Δεδομένου ότι καμία από τις συναρτήσεις δεν είναι συνεχής, καμία από αυτές δεν μπορεί να γραφτεί ως δυναμοσειρά. Επίσης, αφού οι συναρτήσεις δαπέδου και οροφής δεν είναι περιοδικές, δεν έχουν ομοιόμορφα συγκλίνουσες επεκτάσεις της σειράς Φουριέ. Η συνάρτηση κλασματικού μέρους έχει επέκταση σειράς Φουριέ:

: \{x\}= \frac{1}{2} - \frac{1}{\pi} \sum_{k=1}^\infty
\frac{\sin(2 \pi k x)} {k},


όπου  δεν είναι ακέραιος αριθμός.

Σε σημεία ασυνέχειας, μια σειρά Φουριέ συγκλίνει σε μια τιμή που είναι ο μέσος όρος των ορίων της αριστερά και δεξιά, σε αντίθεση με τις συναρτήσεις δαπέδου, οροφής και κλασματικού μέρους: για *y* σταθερό και *x* πολλαπλάσιο του *y*, η σειρά Φουριέ που δίνεται συγκλίνει στο *y*/2, αντί στο *x* mod *y* = 0. Σε συνεχείς σημεία, η σειρά συγκλίνει στην πραγματική τιμή.

Χρησιμοποιώντας τον τύπο floor(x) = x &#x2212; {x}, παίρνουμε:

: \lfloor x\rfloor = x - \frac{1}{2} + \frac{1}{\pi} \sum_{k=1}^\infty \frac{\sin(2 \pi k x)}{k},

όπου  δεν είναι ακέραιος αριθμός.

## Εφαρμογές

### Αριθμητική υπολοίπων
Για έναν ακέραιο *x* και έναν θετικό ακέραιο *y*, η συνάρτηση modulo, που συμβολίζεται με *x* mod *y*, δίνει την τιμή του υπολοίπου όταν το *x* διαιρείται με το *y*. Αυτός ο ορισμός μπορεί να επεκταθεί και σε πραγματικούς αριθμούς *x* και *y*, όπου *y* ≠ 0, με τον τύπο:

: x \bmod y = x-y\left\lfloor \frac{x}{y}\right\rfloor.

Στη συνέχεια, από τον ορισμό της συνάρτησης δαπέδου, προκύπτει ότι αυτός ο ορισμός ικανοποιεί πολλές ιδιότητες. Συγκεκριμένα, ο αριθμός *x* mod *y* είναι πάντα μεταξύ του 0 και του *y*, δηλαδή:

Αν το *y* είναι θετικό, τότε:

: 0 \le x \bmod y 

και αν το *y* είναι αρνητικό, τότε:

: 0 \ge x \bmod y >y.

### Τετραγωνική αμοιβαιότητα
Η τρίτη απόδειξη της τετραγωνικής αμοιβαιότητας του Γκάους, όπως τροποποιήθηκε από τον Αϊζενστάιν, έχει δύο βασικά βήματα.

Έστω *p* και *q* διακριτοί θετικοί περιττοί πρώτοι αριθμοί, και έστω

: m = \frac{p - 1}{2}, n = \frac{q - 1}{2}.

Πρώτον, το λήμμα του Γκάους χρησιμοποιείται για να δείξει ότι τα σύμβολα Λεζάντρ δίνονται από τον τύπο

: \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 }

και

: \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 }.

Το δεύτερο βήμα είναι να χρησιμοποιήσουμε μια γεωμετρική σειρά για να δείξουμε ότι:

: \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.


Ο συνδυασμός αυτών των τύπων δίνει την τετραγωνική αμοιβαιότητα στη μορφή:

: \left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{mn}=(-1)^{\frac{p-1}{2}\frac{q-1}{2}}.

:

:

### Αριθμός ψηφίων
Ο αριθμός των ψηφίων στη βάση *b* ενός θετικού ακέραιου αριθμού *k* είναι:

: \lfloor \log_{b}{k} \rfloor + 1 = \lceil \log_{b}{(k+1)} \rceil .

### Αριθμός συμβολοσειρών χωρίς επαναλαμβανόμενους χαρακτήρες
Ο αριθμός των πιθανών συμβολοσειρών αυθαίρετου μήκους που δεν χρησιμοποιούν κανένα χαρακτήρα δύο φορές, δίνεται από τον τύπο

: (n)_0 + \cdots + (n)_n = \lfloor e n! \rfloor,

όπου:

*  > 0 είναι ο αριθμός των γραμμάτων στο αλφάβητο (π.χ. 26 στα Αγγλικά),
* (n)_k = n(n-1)\cdots(n-k+1)είναι ο αριθμός των συμβολοσειρών μήκους  που δεν χρησιμοποιούν κανένα χαρακτήρα δύο φορές,
* ! είναι το παραγοντικό του , και
*  = 2,718&#x2026; είναι ο αριθμός του Όιλερ

Για  = 26, ο αριθμός των πιθανών συμβολοσειρών είναι 1096259850353149530222034277.

### Παράγοντες των παραγοντικών
Έστω *n* θετικός ακέραιος αριθμός και *p* θετικός πρώτος αριθμός. Ο εκθέτης της υψηλότερης δύναμης του *p* που διαιρεί το *n*! δίνεται από έναν τύπο του Λεζάντρ:

: \left\lfloor\frac{n}{p}\right\rfloor + \left\lfloor\frac{n}{p^2}\right\rfloor + \left\lfloor\frac{n}{p^3}\right\rfloor + \dots = \frac{n-\sum_{k}a_k}{p-1},

όπου n = \sum_{k}a_kp^k είναι ο τρόπος γραφής του *n* στη βάση *p*. Αυτό είναι ένα πεπερασμένο άθροισμα, αφού οι συναρτήσεις δαπέδου είναι μηδέν όταν *p**k* > *n*.

### Η σταθερά Όιλερ-Μασκερόνι (γ)
Υπάρχουν τύποι για τη σταθερά Όιλερ-Μασκερόνι γ = 0,5772156649 ... που περιέχουν τις συναρτήσεις δαπέδου και οροφής, π.χ.:

: \gamma =\int_1^\infty\left({1\over\lfloor x\rfloor}-{1\over x}\right)\,dx,

: \gamma = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^n \left( \left \lceil \frac{n}{k} \right \rceil - \frac{n}{k} \right)

και

: 
 \gamma = \sum_{k=2}^\infty (-1)^k \frac{ \left \lfloor \log_2 k \right \rfloor}{k}
 = \tfrac12-\tfrac13
 + 2\left(\tfrac14 - \tfrac15 + \tfrac16 - \tfrac17\right)
 + 3\left(\tfrac18 - \cdots - \tfrac1{15}\right) + \cdots


### Συνάρτηση ζήτα Ρίμαν (ζ)
Η συνάρτηση κλασματικού μέρους εμφανίζεται επίσης σε παραστάσεις με ολοκληρώματα στη συνάρτηση ζήτα του Ρίμαν. Είναι εύκολο να αποδειχθεί (χρησιμοποιώντας ολοκλήρωση κατά παράγοντες) ότι αν \varphi(x) είναι μια συνάρτηση με συνεχή παράγωγο στο κλειστό διάστημα [*α*, *b*], τότε:

: \sum_{a

Αν θέσουμε \varphi(n) = n^{-s} για το πραγματικό μέρος του *s* που είναι μεγαλύτερο από 1 και αν τα *α* και *b* είναι ακέραιοι, τότε, όσο το *b* πλησιάζει το άπειρο, έχουμε ότι:

: \zeta(s) = s\int_1^\infty\frac{\frac12-\{x\}}{x^{s+1}}\,dx + \frac{1}{s-1} + \frac 1 2.

Αυτός ο τύπος ισχύει για όλα τα *s* με πραγματικό μέρος μεγαλύτερο από &#x2212;1, (εκτός από την τιμή *s* = 1) και σε συνδυασμό με την επέκταση της σειράς Φουριέ για την συνάρτηση {*x*} μπορεί να χρησιμοποιηθεί για την επέκταση της συνάρτησης ζήτα σε ολόκληρο το μιγαδικό επίπεδο.

Για *s* = *σ* + *it*, στην κρίσιμη γραμμή 0 \zeta(s)=s\int_{-\infty}^\infty e^{-\sigma\omega}(\lfloor e^\omega\rfloor - e^\omega)e^{-it\omega}\,d\omega.

Το 1947, ο βαν ντερ Πολ χρησιμοποίησε αυτή την αναπαράσταση για να κατασκευάσει έναν αναλογικό υπολογιστή που θα βρίσκει τις ρίζες της συνάρτησης ζήτα.

### Τύποι για πρώτους αριθμούς
Η συνάρτηση δαπέδου εμφανίζεται σε διάφορους τύπους για πρώτους αριθμούς. Για παράδειγμα, αφού ο αριθμός \left\lfloor\frac{n}{m} \right\rfloor -\left\lfloor\frac{n-1}{m}\right\rfloor είναι ίσος με 1 όταν το *m* διαιρεί το *n*, και ίσος με 0 διαφορετικά, προκύπτει ότι ένας θετικός ακέραιος *n* είναι πρώτος αν και μόνο αν:

: \sum_{m=1}^\infty \left(\left\lfloor\frac{n}{m}\right\rfloor-\left\lfloor\frac{n-1}{m}\right\rfloor\right) = 2.

Υπάρχουν επίσης και τύποι για την εύρεση των πρώτων αριθμών. Για παράδειγμα, έστω *p**n* ο *n*-οστός πρώτος αριθμός και για κάθε ακέραιο *r* > 1, ορίζουμε τον πραγματικό αριθμό *α* ως το άθροισμα:

: \alpha = \sum_{m=1}^\infty p_m r^{-m^2}.

Τότε:

: p_n = \left\lfloor r^{n^2}\alpha \right\rfloor - r^{2n-1}\left\lfloor r^{(n-1)^2}\alpha\right\rfloor.

:

:

Έστω (*x*) ο αριθμός των πρώτων που είναι μικρότεροι ή ίσοι του *x*. Μπορούμε να συμπεράνουμε, από το θεώρημα Wilson, ότι:

: \pi(n) = \sum_{j=2}^n\left\lfloor\frac{(j-1)!+1}{j} - \left\lfloor\frac{(j-1)!}{j}\right\rfloor\right\rfloor.

Επίσης, αν *n* ≥ 2, τότε:

: \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.

### Λυμένα προβλήματα
Ο Ραμανούτζαν υπέβαλε αυτά τα προβλήματα στην *Εφημερίδα της Ινδικής Μαθηματικής Εταιρείας*.

Αν το *n* είναι θετικός ακέραιος αριθμός, να αποδείξετε ότι:

# \left\lfloor\tfrac{n}{3}\right\rfloor + \left\lfloor\tfrac{n+2}{6}\right\rfloor + \left\lfloor\tfrac{n+4}{6}\right\rfloor = \left\lfloor\tfrac{n}{2}\right\rfloor + \left\lfloor\tfrac{n+3}{6}\right\rfloor,
# \left\lfloor\tfrac12 + \sqrt{n+\tfrac12}\right\rfloor = \left\lfloor\tfrac12 + \sqrt{n+\tfrac14}\right\rfloor,
# \left\lfloor\sqrt{n}+ \sqrt{n+1}\right\rfloor = \left\lfloor \sqrt{4n+2}\right\rfloor.

Έχουν αποδειχθεί ορισμένες γενικεύσεις από τις παραπάνω ταυτότητες.

### Άλυτο πρόβλημα
Η μελέτη του προβλήματος του Waring οδήγησε σε ένα άλυτο πρόβλημα:

Υπάρχουν θετικοί ακέραιοι *k* ≥ 6, τέτοιοι ώστε:

: 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 ?

Ο Κουρτ Μάλερ απέδειξε ότι μπορεί να υπάρχει μόνο ένας πεπερασμένος αριθμός τέτοιων *k*. Όμως, καμιά τιμή του *k* δεν έχει βρεθεί ακόμη.

## Υλοποιήσεις υπολογιστών

Πολλές γλώσσες προγραμματισμού (συμπεριλαμβανομένου τις C, C++, C#, Java,  PHP, R, και Python) παρέχουν τυπικές συναρτήσεις δαπέδου και οροφής, που συνήθως ονομάζονται `floor` και `ceil`, ή λιγότερο συχνά `ceiling`  Η γλώσσα APL χρησιμοποιεί `⌊x` για τη συνάρτηση δαπέδου. Η γλώσσα προγραμματισμού J, μια συνέχεια της APL που έχει σχεδιαστεί για να χρησιμοποιεί τυπικά σύμβολα πληκτρολογίου, χρησιμοποιεί `<.` για τη συνάρτηση δαπέδου και `>.` για τη συνάρτηση οροφής. Η ALGOL χρησιμοποιεί `entier` για τη συνάρτηση δαπέδου.

Στο Microsoft Excel, η συνάρτηση δαπέδου υλοποιείται ως `INT`. Η μορφή αρχείου OpenDocument, όπου χρησιμοποιείται από το OpenOffice.org, το Libreoffice και άλλα, χρησιμοποιεί επίσης `INT` για τη συνάρτηση δαπέδου.

## Δείτε επίσης

* Παρένθεση (μαθηματικά)
* Συνάρτηση ακέραιου μέρους

## Παραπομπές


## Βιβλιογραφία

* 
* 
* 
* 
* Nicholas J. Higham, *Handbook of writing for the mathematical sciences*, SIAM. ISBN&nbsp;, p. 25
* ISO/IEC. *ISO/IEC 9899::1999(E): Programming languages — C* (2nd ed), 1999; Section 6.3.1.4, p. 43.
* 
* 
* 
* 
* Michael Sullivan. *Precalculus*, 8th edition, p.&nbsp;86
* 

## Εξωτερικοί σύνδεσμοι

* Štefan Porubský, "Συναρτήσεις στρογγυλοποίησης ακέραιων αριθμών", *Interactive Information Portal for Algorithmic Mathematics*, Institute of Computer Science of the Czech Academy of Sciences, Prague, Czech Republic, ανακτήθηκε 24 Οκτωβρίου 2008
* 
* 
Κατηγορία:Μαθηματικός συμβολισμός
Κατηγορία:Ειδικές συναρτήσεις