题干
如图，水坝的横断面是梯形，背水坡AB的坡角∠BAD=60°，坡长AB=20 3 m，为加强水坝强度，将坝底从A处向后水平延伸到F处，使新的背水坡的坡角∠F=45°，求AF的长度．
答案(点此获取答案解析）
解:过B作BE⊥DF于E．
Rt△ABE中，AB=20
Rt△ABE中，AB=20 
中，
，则此数列前13项的和
=（ ）