Trong mặt phẳng tọa độ Oxy, xét phép biến hình F biến mỗi điểm Mx;y thành điểm M'x';y' trong đó x'=xcosα−ysinα+ay'=xsinα+ycosα+b, với α,a,b là những số cho trước. Chứng minh F là phép dời hình.