如圖，

填空：

因為∠1＋∠2＝(已知)，所以AB∥CD(　　)，

因為AB∥EF(已知)，所以∠1＋∠3＝(　　)，

因為∠2＝∠3(同角的補角相等)，所以CD∥EF(　　)．

半徑為2cm的與⊙O邊長為2cm的正方形ABCD在水平直線l的同側，⊙O與l相切于點F，DC在l上．

（1）過點B作的一條切線BE，E為切點．

①填空：如圖1，當點A在⊙O上時，∠EBA的度數是　    　；

②如圖2，當E，A，D三點在同一直線上時，求線段OA的長；

（2）以正方形ABCD的邊AD與OF重合的位置為初始位置，向左移動正方形（圖3），至邊BC與OF重合時結束移動，M，N分別是邊BC，AD與⊙O的公共點，求扇形MON的面積的范圍．

完成推理填空：如圖在△ABC中，已知∠1+∠2=180°，∠3=∠B，試說明∠AED=∠C．
解：∵∠1+∠EFD=180°（鄰補角定義），∠1+∠2=180°（已知 ）
∴________　　（ 同角的補角相等 ）
∴________　 （內錯角相等，兩直線平行）
∴∠ADE=∠3________
∵∠3=∠B________
∴∠ADE=∠B（等量代換）
∴DE∥BC________
∴∠AED=∠C________．