a: Xét ΔAEB vuông tại E và ΔAFC vuông tại F có
góc EAB chung
=>ΔAEB đồng dạng với ΔAFC
=>AE/AF=AB/AC
=>AE/AB=AF/AC
Xét ΔAEF và ΔABC có
AE/AB=AF/AC
góc FAE chung
Do đó: ΔAEF đồng dạng với ΔABC
=>góc AEF=góc ABC
b: Kẻ HM//AB(M thuộc AC)
HN//AC(N thuộc AB)
Xét tứ giác AMHN có
AM//HN
AN//HM
Do đó: AMHN là hình bình hành
=>AM=HN; AN=HM
ΔAHM có AH<AM+MH
=>AH<AM+AN
HN//AC
mà BH vuông góc AC
nên HB vuông góc HN
ΔHBN vuông tại H
=>HB<BN
HM//AB
CH vuông góc AB
Do đó: HC vuông góc HM
=>ΔHCM vuông tại H
=>HC<MC
AH<AM+AN
HB<BN
HC<MC
=>HA+HB+HC<AM+AN+BN+MC=AC+AB
Chứng minh tương tự, ta được:
HA+HB+HC<AB+BC và HA+HB+HC<AC+BC
=>3*(HA+HB+HC)<2(BA+BC+AC)
=>HA+HB+HC<2/3*(BA+BC+AC)