丸め関数 ⌈x2⌉+⌊x2⌋=x\left\lceil{\frac{x}{2}}\right\rceil + \left\lfloor\frac{x}{2}\right\rfloor = x⌈2x⌉+⌊2x⌋=x ⌊⌊xy⌋z⌋=⌊xyz⌋\left\lfloor\frac{\left\lfloor\frac{x}{y}\right\rfloor}{z}\right\rfloor = \left\lfloor\frac{x}{yz}\right\rfloorz⌊yx⌋=⌊yzx⌋ ⌊⌈xy⌉z⌋=⌊xyz⌋または⌈xyz⌉\left\lfloor\frac{\left\lceil\frac{x}{y}\right\rceil}{z}\right\rfloor = \left\lfloor\frac{x}{yz}\right\rfloor または \left\lceil\frac{x}{yz}\right\rceilz⌈yx⌉=⌊yzx⌋または⌈yzx⌉ n∈Z ⟹ n+⌊x⌋=⌊n+x⌋n \in \Z \implies n + \lfloor x \rfloor = \lfloor n + x \rfloorn∈Z⟹n+⌊x⌋=⌊n+x⌋ min(⌈x⌉,⌈y⌉)=⌈min(x,y)⌉min(\lceil x \rceil, \lceil y \rceil) = \left\lceil min(x, y) \right\rceilmin(⌈x⌉,⌈y⌉)=⌈min(x,y)⌉