Theo định nghĩa của phép đồng dạng ta có \(B'C' = kBC\), từ đó suy ra \(B'C{'^2} = {k^2}B{C^2}\).
\( \Rightarrow {\left( {\overrightarrow {A'C'} - \overrightarrow {A'B'} } \right)^2} = {k^2}{\left( {\overrightarrow {AC} - \overrightarrow {AB} } \right)^2}\)
\( \Rightarrow A'C{'^2} - 2\overrightarrow {A'C'} .\overrightarrow {A'B'} + A'B{'^2}\)\( = {k^2}\left( {A{C^2} - 2\overrightarrow {AC} .\overrightarrow {AB} + A{B^2}} \right)\)
Mà \(A'C{'^2} = {k^2}A{C^2},A'B{'^2} = {k^2}A{B^2}\) nên \(\overrightarrow {A'C'} .\overrightarrow {A'B'} = {k^2}\overrightarrow {AC} .\overrightarrow {AB} \) (đpcm).
