如图，在平面直角坐标系中，矩形ABCO的面积为15，边OA比OC大2．E为BC的中点，以OE为直径的⊙O′交x轴于D点，过点D作DF⊥AE于点F．（1）求OA、OC的长；（2）求证：DF为⊙O′的切线．

　　如图，在平面直角坐标系中，矩形ABCO的面积为15，边OA比OC大2．E为BC的中点，以OE为直径的⊙O′交x轴于D点，过点D作DF⊥AE于点F．

　　（1）求OA、OC的长；

　　（2）求证：DF为⊙O′的切线．