4:
a: Xét (O) có
EC,EA là tiếp tuyến
=>EC=EA
mà OC=OA
nên OE là trung trực của AC
Xét (O) có
FB,FC là tiếp tuyến
=>FB=FC
mà OB=OC
nên OF là trung trực của BC
CE+CF=EF
=>EF=EA+FB
b: Xét ΔCAB có CM/CA=CN/CB
nên MN//AB
c: góc ACB=1/2*180=90 độ
=>AC vuông góc CB
=>AC//OF