Question

如图，在梯形ABCD中，AB∥CD，∠BCD=90°，E是梯形内一点，F是梯形外一点，∠EDC=∠FBC，DE=BF，且AB=1，BC=2，tan∠ADC=2．
（1）求证：CE=CF；
（2）当BE：CE=1：2，∠BEC=135°，求cos∠BFE的值．

Answer

（1）过A作AP⊥CD于P，得出平行四边形APCB，求出AP=BC=2，AB=CP=1，根据解直角三角形求出DP=1，求出DC=BC，根据SAS证△EDC≌△FBC即可；
（2）根据全等求出CE=CF，求出∠ECF=90°，求出∠CEF=45°，求出∠BEF=90°，根据勾股定理求出EF、BF在Rt△BEF中．解直角三角形求出即可．
（1）证明：过A作AP⊥CD于P，
∵∠BCD=90°，
∴BC⊥CD，
∴AP∥BC，
∵AB∥CP，
∴四边形APCB是平行四边形，
∴AP=BC=2，AB=CP=1，
∵tan∠ACD==2，
∴DP=1，
∴DC=1+1=2=BC，
在△EDC和△FBC中
∵，
∴△EDC≌△FBC（SAS），
∴CE=CF；

（2）【解析】
∵△FBC≌△EDC（已证）
∴∠BCF=∠DCE
又∵∠DCE+∠ECB=∠DCB=90°
∴∠BCF+∠ECB=90°，即CE⊥CF．
∴∠ECF=90°，∠CEF=∠CFE=45°，
∵∠BEC=135°，
∴∠BEF=135°-45°=90°，
设BE=a，则CF=CE=2a．
在Rt△ECF中，由勾股定理得：EF=2a，
在Rt△BEF中，BF==3a，
故cos∠BFE===．