Giải thích các bước giải:
Ta có : $AE\perp EF, ED\perp AF$
$\to AD\cdot AF=AE^2=AB^2$
Lại có:
$\vec{AC}\cdot \vec{BF}$
$=(\vec{AB}+\vec{AD})(\vec{BA}+\vec{AF})$
$=\vec{AB}\cdot \vec{BA}+\vec{AB}\cdot\vec{AF}+\vec{AD}\cdot\vec{BA}+\vec{AD}\cdot\vec{AF}$
$=-AB^2+0+0+AD\cdot AF$
$=AD\cdot AF-AB^2$
$=0$
$\to AC\perp BF$