\(\overrightarrow{ID}.\overrightarrow{AA'}=\overrightarrow{ID}\left(\overrightarrow{IA'}-\overrightarrow{IA}\right)=\overrightarrow{ID}.\overrightarrow{IA'}-\overrightarrow{ID}.\overrightarrow{IA}=IA'^2-\overrightarrow{ID}.\overrightarrow{IA}\)
\(=IA'^2-\left(\overrightarrow{IC'}+\overrightarrow{C'D}\right)\overrightarrow{IA}=IA'^2-\overrightarrow{IC'}.\overrightarrow{IA'}-\overrightarrow{C'D}.\overrightarrow{IA}=IA'^2-IC'^2-0\) (vì AI vuông góc với C'B')
\(=r^2-r^2=0\) (r là bán kính đường tròn nội tiếp tam giác ABC)
ĐFCM