两个完全一样的直角三角形ef=9,oc=2