15、因为AB∥CD，EF∥CD，所以∥，理由是．

如图，AB⊥BD，CD⊥BD，∠A+∠AEF=180°．
以下是某同学说明CD∥EF的推理过程或理由，请你在横线上补充完整其推理过程或理由．
解：
因为AB⊥BD，CD⊥BD（已知）
所以∠ABD=∠CDB=90°（垂直定义）
所以∠ABD+∠CDB=180°
所以 AB∥（）（）
因为∠A+∠AEF=180°（已知）
所以AB∥EF（）
所以 CD∥EF（）

23、阅读填空：
（1）如图，请你完成小颖和小明的说理过程：
小颖：
因为AD与BC是平行的，所以∠1=，理由是．
小明：
∠3=∠4→∥→∠A+=180°
其中第一步的理由是
第二步的理由是

（2）如图：已知：AD⊥BC于D，EF⊥BC于F，∠1=∠3，
求证：AD平分∠BAC．
证明：∵AD⊥BC 于D         
EF⊥BC于F（已知）
∴AD∥EF
∴∠1=∠E
∠2=∠3
又∵∠3=∠1（已知）
∴∠1=∠2
∴AD平分∠BAC．

如图，AB⊥BD，CD⊥BD，∠A+∠AEF=180°以下是某同学说明CD∥EF的推理过程或理由，请你在横线上补充完整其推理过程或理由．
解：因为AB⊥BD，CD⊥BD（已知）
所以∠ABD=∠CDB=90°（垂直定义）
所以∠ABD+∠CDB=180°
所以 AB∥（）
因为∠A+∠AEF=180°（已知）
所以AB∥EF（）
所以 CD∥EF（）

如图1，正方形ABCD中，有一直径为BC=2cm 的半圆O．两点E、F分别从点B、点A同时出发，点E沿线段BA以1cm/s的速度向点A运动，点F沿折线A-D-C以2cm/s的速度向点C运动．设点E离开点的B时间为t（s），其中1≤t＜2．
（1）当t为何值时，线段EF和BC平行？
（2）EF能否与半圆O相切？如果能，求出t的值；如果不能，请说明原因．
（3）如图2，设EF与AC相交于点P，当点E、F运动时，点P的位置是否发生变化？若发生变化，请说明理由；若不发生变化，也请说明理由，并求AP：PC的值．
变式：如图3，若将上题改为，正方形ABCD中，有一直径为BC=2cm的半圆O．点E为AB边上的动点（不与点A、B重合），过点E与圆O相切的直线交CD所在直线为点F，设EB=x，FD=y．
（1）试写出y关于x的函数关系式，并写出自变量x的取值范围．
（2）是否存在切线EF，把正方形ABCD的周长分成相等的两部分？若存在，求出x的值．若不存在，请说明理由．