1. The problem statement, all variables and given/known data Prove: ⌊−x⌋ = −⌈x⌉ ⌈−x⌉ = −⌊x⌋ . 3. The attempt at a solution Can i use the property ⌊x⌋ = n, x = n + m where 0 <= m < 1 or do i need to incorporate the negation into this property? I think there would be 2 cases to this proof. Case 1: m = 0, the lower bound. Case 2: m = 1/2. Case 3: m = 1, the upper bound. I just don't know how i'd go about proving these cases.