已知函数的单调减区间为（0，4）
21．（本小题满分12分）
（II）求证：数列
（I）求数列的前三项
已知数列
20．（本小题满分12分）
（I）当点F为AB的中点时，求证：；
（II）当点F为AB的中点时，求点B1到平面DEF的距离；
如图，在直三棱柱ABC―A1B1C1中，AC=BC=AA1=2，，D，E分别为AC，AA1的中点，点F为棱AB上的点。
19．（本小题满分12分）
的单调减区间为（0，4）
；
，D，E分别为AC，AA1的中点，点F为棱AB上的点。