Trong Oxy với a, b là những số cho trước \(F^{ }_{\left(M\right)}=M'\left(x';y'\right)\) trong đó \(\left[{}\begin{matrix}x'=x.cos\alpha-y.sin\alpha+a\\y'=x.sin\alpha+y.cos\alpha+b\end{matrix}\right.\)
a) F có phải là phép dời hình? Chứng minh
b) Trong trường hợp nào của \(\alpha\) thì F là phép tịnh tiến? Chứng minh