如图所示,在多面体ABCDEF中,平面ABCD垂直平面ADEF,四边形ABCD是直角梯形,AD平行BC,DC垂直AD,四边形ADEF是等腰梯形,EF平行AD,角FAD等于角BAD等于60度,EF等于AF等于AB等于2,证明BF垂直AD

过F作FP垂直AD,垂足P.连接BP.
AF等于AB,角FAD等于角BAD等于60度,可证AFP全等ABP.BP垂直AD,
平面ABCD垂直平面ADEF,FP垂直AD,BP垂直AD
AD垂直面FBP,AD垂直BF�������ABCDEF�����ֱ�������AFP�У���FAD����60�ȣ�AF=2�������AP=1��FP=���3����AD=1*2+2=4��1��ADEF���=1/2*��2+4��*���3=3���3ֱ�������ABP�У���BAD����60�ȣ�AB=2�������BP=���3=CDBC=PD=2+1=3��2��ABCD���=1/2*��3+4��*���3ֱ�ǵ��������FBP�У�BP=FP=���3,BF=���6��3�����������ABF��AF=AB=2��AFB���=2��֮���15��4��ֱ������BCEF���=1/2*��2+3��*���6��5�������EDC�У�ED=2��DC=���3,EC=���7������EDC���=���3�����=3���3+1/2*��3+4��*���3+2��֮���15+1/2*��2+3��*���6+���3����Լ���������Pn(an,n)(n=1,2,����),��P1(1,1),����PnPn+1=(n+1,1)��������an��ͨ�ʽ��Ǹ��������û��ϰ��������Ƕ��٣�������2��֮15���3+2��֮���15+2��֮5���6��ֱ��x-my+1=0��Բx2+y2-2x=0���У���m��ֵΪû��-1����ֻ��1����1,.����3�͸��3ѡ�ĸ���֪����{an}�ǵȲ����У���a2=15,a5=3,����P(3.a3),Q(4,a4)��ֱ��б��Ϊ