在平面直角坐标系中，四边形AOBC是矩形，点O（0，0），点A（5，0），点B（0，3），以点A为中心，顺时针旋转矩形AOBC，得到矩形ADEF，点O、B、C的对应点分别为D、E、F，且点D恰好落在BC边上．