取整函数若干性质的证明
引言
定义
⌊x⌋:=t|t∈Z,t≤x⌊x⌋:=t|t∈Z,t≤x
⌈x⌉:=t|t∈Z,t≥x⌈x⌉:=t|t∈Z,t≥x
易得
x−1≤⌊x⌋≤x≤⌈x⌉≤x+1x−1≤⌊x⌋≤x≤⌈x⌉≤x+1
∀n∈Z,⌊n2⌋+⌈n
⌊x⌋:=t|t∈Z,t≤x⌊x⌋:=t|t∈Z,t≤x
⌈x⌉:=t|t∈Z,t≥x⌈x⌉:=t|t∈Z,t≥x
易得
x−1≤⌊x⌋≤x≤⌈x⌉≤x+1x−1≤⌊x⌋≤x≤⌈x⌉≤x+1
∀n∈Z,⌊n2⌋+⌈n