Your original statement is not true (please read the whole answer). But the following statement is correct:
$$\left \lfloor {\log_2 n} \right \rfloor = \left \lfloor {\log_2 \left \lceil \frac {n-1}{2}\right \rceil} \right \rfloor + 1\tag{1}$$
Proof:
Every number $n$ can be placed between two cosecutive powers of 2. In other words, there exists $k$ such that:
$$2^k\le n\le2^{k+1}-1\tag{1}$$
Obviously:
$$k\le\log_2n<k+1$$
$$k=\lfloor\log_2n\rfloor\tag{2}$$
On the other side from (1):
$$\frac{2^k-1}2 \le \frac{n-1}{2} \le \frac{2^{k+1}-2}2$$
$$2^{k-1}-\frac12 \le \frac{n-1}{2} \le 2^k-1$$
$$\lceil 2^{k-1}-\frac12\rceil \le \lceil\frac{n-1}{2}\rceil \le 2^k-1$$
$$2^{k-1} \le \lceil\frac{n-1}{2}\rceil \le 2^k-1$$
$${k-1} \le \log_2\lceil\frac{n-1}{2}\rceil \le \log_2 (2^k-1)<k$$
$${k-1} =\lfloor \log_2\lceil\frac{n-1}{2}\rceil \rfloor$$
$$k=\lfloor \log_2\lceil\frac{n-1}{2}\rceil \rfloor+1\tag{3}$$
By comparing (2) and (3) you get:
$$\lfloor\log_2n\rfloor = \lfloor \log_2\lceil\frac{n-1}{2}\rceil \rfloor+1$$
...which completes the proof.
You can easily prove that the original statement is not true. You are basically saying that the function:
$$f(n)=\left \lfloor {\log n} \right \rfloor - \left \lfloor {\log \left \lceil \frac {n-1}{2}\right \rceil} \right \rfloor - 1$$
...is equal to zero for all values of $n$.
This is not true if "$\log$" stands for logartihm with base 10:
This is also not true if "$\log$" stans for natural logarithm "$\ln$":
If you don't trust these plots, calculate the value for $n=45$ and in both cases the result is -1, not 0.
Yes, it is true.
$$
\left | \left \lceil \frac{a}{2} \right \rceil - \left \lceil \frac{b}{2} \right \rceil \right |\geq \left \lfloor \left | \frac{a - b}{2} \right |\right \rfloor
\tag1$$
In the following, $m,n$ are integers.
Case 1 : If $a=2m,b=2n$, then both sides of $(1)$ equal $|m-n|$.
Case 2 : If $a=2m,b=2n+1$, then
$$(1)\iff |m-n-1|\ge \left\lfloor\left |m-n-\frac 12\right|\right\rfloor\tag2$$
If $m-n-\frac 12\ge 0$, then $m-n-1\ge 0$, so$$(2)\iff m-n-1\ge m-n-1$$which is true.
If $m-n-\frac 12\lt 0$, then $m-n-1\lt 0$, so$$(2)\iff -m+n+1\ge -m+n$$which is true.
Case 3 : If $a=2m+1, b=2n$, then
$$(1)\iff |m-n+1|\ge \left\lfloor\left|m-n+\frac 12\right|\right\rfloor\tag3$$
If $m-n+\frac 12\ge 0$, then $m-n+1\ge 0$, so$$(3)\iff m-n+1\ge m-n$$which is true.
If $m-n+\frac 12\lt 0$, then $m-n+1\lt 0$, so$$(3)\iff -m+n-1\ge -m+n-1$$which is true.
Case 4 : If $a=2m+1,b=2n+1$, then both sides of $(1)$ equal $|m-n|$.
Best Answer
First, split your summation of the $2$ terms into $2$ separate summations, i.e.,
$$\sum_{k=0}^m\left(\left\lfloor\frac{n}{m}k\right\rfloor - \left\lceil\frac{n}{m}(k-1)\right\rceil\right) = \sum_{k=0}^m\left\lfloor\frac{nk}{m}\right\rfloor - \sum_{k=0}^m\left\lceil\frac{n(k-1)}{m}\right\rceil \tag{1}\label{eq1A}$$
As suggested in zkutch's comment, we can use several formulas in Wikipedia's Floor and ceiling functions article. First, though, define
$$d = \gcd(m,n), \; \; m = dm_1, \; \; n = dn_1, \; \; \gcd(m_1,n_1) = 1 \tag{2}\label{eq2A}$$
For the first term on the right in \eqref{eq1A}, we have
$$\sum_{k=0}^m\left\lfloor\frac{nk}{m}\right\rfloor = 0 + \sum_{k=1}^{m-1}\left\lfloor\frac{nk}{m}\right\rfloor + n \tag{3}\label{eq3A}$$
For \eqref{eq1A}'s second term on the RHS, using that $\lceil -x \rceil = -\lfloor x \rfloor$, we get
$$\begin{equation}\begin{aligned} \sum_{k=0}^m\left\lceil\frac{n(k-1)}{m}\right\rceil & = \left\lceil-\frac{n}{m}\right\rceil + 0 + \sum_{k=2}^m\left\lceil\frac{n(k-1)}{m}\right\rceil \\ & = -\left\lfloor\frac{n}{m}\right\rfloor + \sum_{k=1}^{m-1}\left\lceil\frac{nk}{m}\right\rceil \end{aligned}\end{equation}\tag{4}\label{eq4A}$$
Using that $\lceil x \rceil = \lfloor x \rfloor + r$, where $r = 0$ if $x$ is an integer, and $r = 1$ otherwise. Using \eqref{eq2A}, we have $\frac{nk}{m} = \frac{dn_{1}k}{dm_{1}} = \frac{n_{1}k}{m_{1}}$. Since $\gcd(m_1,n_1) = 1$, this is an integer only when $k$ is an integral multiple of $m_1$, i.e., $k = m_1, 2m_1, \ldots, (d-1)m_1$. This comprises $d-1$ values among the $m-1$ values being summed. We therefore have
$$\sum_{k=1}^{m-1}\left\lceil\frac{nk}{m}\right\rceil = \sum_{k=1}^{m-1}\left\lfloor\frac{nk}{m}\right\rfloor + (m - 1) - (d - 1) \tag{5}\label{eq5A}$$
Using \eqref{eq5A} in \eqref{eq4A}, with that result along with \eqref{eq3A} in \eqref{eq1A}, gives
$$\begin{equation}\begin{aligned} & \sum_{k=0}^m\left(\left\lfloor\frac{n}{m}k\right\rfloor - \left\lceil\frac{n}{m}(k-1)\right\rceil\right) \\ & = \left(\sum_{k=1}^{m-1}\left\lfloor\frac{nk}{m}\right\rfloor + n\right) - \left(-\left\lfloor\frac{n}{m}\right\rfloor + \sum_{k=1}^{m-1}\left\lfloor\frac{nk}{m}\right\rfloor + m - d\right) \\ & = n - m + \gcd(m,n) + \left\lfloor\frac{n}{m}\right\rfloor \end{aligned}\end{equation}\tag{6}\label{eq6A}$$