取整函数若干性质的证明
引言
定义
⌊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+1 x − 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+1 x − 1 ≤ ⌊ x ⌋ ≤ x ≤ ⌈ x ⌉ ≤ x + 1
∀n∈Z,⌊n2⌋+⌈n