如图，以矩形OABC的顶点O为坐标原点，OA所在直线为x轴，OC所在直线为y轴，建立平面直角坐标系，已知OA＝8，OC＝10，将矩形OABC绕点O逆时针方向旋转α（0＜α＜180°）得到矩形ODEF．