在三角形ABO中,AB等于AC,角BAC等于90度,角EPF为直角