$c⊥Ax$, $c⊥By$
$⇒Ax//By$
$⇒\widehat{kAx}=\widehat{kBy}$
Ta có:
$Am$ là phân giác $\widehat{kAx}$
$⇒\widehat{kAm}=\widehat{kAx}:2$
$Bn$ là phân giác $\widehat{kBy}$
$⇒\widehat{kBn}=\widehat{kBy}:2$
Từ hai điều trên $⇒\widehat{kAm}=\widehat{kBn}$
mà 2 góc ở vị trí đồng vị
$⇒Am//Bn$