对定义在区间D上的函数
和
，如果对任意
，都有
成立，那么称函数在区间D上可被替代，D称为“替代区间”．给出以下命题：
①
在区间
上可被
替代；
②
可被
替代的一个“替代区间”为
；
③
在区间
可被
替代，则
；
④
，则存在实数
，使得在区间
上被替代；
其中真命题的有
．某大学对1000名学生的自主招生水平测试成绩进行统计，得到样本频率分布直方图如图所示，现规定不低于70分为合格，则合格人数是▲．
“无字证明”（proofs without words）就是将数学命题用简单、有创意而且易于理解的几何图形来呈现。请利用图甲、图乙中阴影部分的面积关系，写出该图所验证的一个三角恒等变换公式
。
（考生注意：请在下列两题中任选一题作答，如果多做，则按所做的第一题记分）
A．（坐标系与参数方程选做题）极坐标系中，圆
上的动点到直线
的距离的最大值是。
B．（几何证明选讲选做题）如图，已知
内接于
，点D在OC的延长线上，AD是的切线，若
，AC=2，则OD的长为。
已知命题
恒成立，命题
为减函数，若p且q为真命题，则a的取值范围是。
已知某几何体的三视图如图所示，则该几何体的全面积为。