Ta có \(\overrightarrow{CO}=\overrightarrow{OF}=\overrightarrow{DE}=\overrightarrow{BA}\)
Do đó: F là ảnh của O, O là ảnh của C, E là ảnh của D qua phép tịnh tiến \(\overrightarrow{BA}\)
Hay tam giác \(OFE\) là ảnh của COD qua phép tịnh tiến \(\overrightarrow{BA}\)