如图所示,在△ABC,∠C=90°,∠A=22.5°,AB的垂直平分线EF交AC于点F,垂足为点E,求证:AF=根号2F