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．

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

（2012•宝安区二模）如图，公园里，小颖沿着斜坡AB从A点爬上到B点后，顺着斜坡从B点滑下到C点．已知A、C两点在同一水平线上，∠A=45°，∠C=30°，AB=4米，则BC的长为（　　）