Is manipulating a trivial equality a logically valid proof of a formula? I was working on a proof that $r^{n/2}$ commutes with $f$ in $D_4$. I did not know where to start, so I decided to manipulate a true statement into the formula I was trying to prove, as a sort of derivation.
$$\begin{align}
ef &= ef \\
r^nf &= r^0f \\ 
r^{n/2} r^{n/2} f &= r^{n/2} r^{-n/2} f \\
r^{n/2} f &= r^{-n/2} f \\
r^{n/2} f &= f r^{n/2} \\
\end{align} $$
However, I started second-guessing myself because I realized “$ef=ef$” is true always, regardless of whether “$r^{n/2}$ commutes with $f$” is true. This leads me wondering whether “$ef=ef \implies r^{n/2} f = f r^{n/2}$” is tautological and if, in general, if any implication beginning with a trivial equality is tautological.

Actually, $D_4=\langle r,s\mid r^4=e, s^2=e,srs^{-1}=e\rangle$, Then we have
$$
sr^2s^{-1}=r^{-2}=r^2,
$$
so $r^2$ commutes with $r$ and $s$ and hence with all elements. So it is in the center.
So you don't have to start with $ef=ef$, but it is not false.
