The point $(x, y)$ can be rotated by $\theta$ in a counter-clockwise direction about the origin $(0, 0)$. This point $(x', y')$ can be found by using the rotation matrix, as so:
$ \begin{bmatrix} cos(\theta) & -sin(\theta) \\ sin(\theta) & cos(\theta) \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} = \begin{bmatrix} x' \\ y' \end{bmatrix} $ That is,
$ \begin{aligned} x' & = x\cos(\theta) - y\sin(\theta) \\ y' & = x\sin(\theta) + y\cos(\theta) \end{aligned} $
Given the equation of a line
$Ax + By = C$
To rotate this line by $\theta$ in a counter-clockwise direction about the origin, one would think that you would simply substitute $(x', y')$ into the equation, giving you:
$A (x\cos(\theta) - y\sin(\theta)) + B (x\sin(\theta) + y\cos(\theta)) = C$
or with collected x and y terms:
$x(A\cos(\theta) + B\sin(\theta)) + y(B\cos(\theta) - A\sin(\theta) = C$
However, this is not the case, I now realise that this actually rotates it in a clockwise direction, but I don't understand why.
Can anyone explain why this is the case? I feel that it has something to do with the form with collected x and y terms, due to it resembling the transpose of rotation matrix multiplied by $[A, B]^T$, but to me that doesn't make much sense.
Let $f : \mathbb{R}\to\mathbb{R}$. Think about how the graph of $f(x−c)$ is the graph of $f(x)$ moved to the right by $c$, not to the left. This is because $f(x−c)$ attains the value $f(x_0)$ at $x_0+c$:
$$f((x_0 + c) - c) = f(x_0)$$ so the entire function is displaced to the right.
Similarly here, by substituting $(x',y')$ into the line equation, the point $(x_0,y_0)$ satisfying the line equation is actually attained for $(x_0,y_0)$ rotated clockwise by $\phi$. This is effectively rotating the entire line clockwise by $\phi$.