已知:如图,A,B,C三点在圆O上,△ABC的高AD,CE交于H,CE的延长线交圆O于F,求证:AF=AH.