在直角三角形ABC中角C=90°,以斜边为边长向外作正方形ABDE,且正方形对角线交与点O,连接OC,AC=3,CO=4