已知OA=AC，求证OA=AC，还有步骤？这谁出的题