如图,已知矩形ABCD中,AC交BD于点O求证:A,B,C,D,4个点再以○为圆心,OA为半径的圆上