“无字证明”（proofs without words）就是将数学命题用简单、有创意而且易于理解的几何图形来呈现。请利用图甲、图乙中阴影部分的面积关系，写出该图所验证的一个三角恒等变换公式
。
（考生注意：请在下列两题中任选一题作答，如果多做，则按所做的第一题记分）
A．（坐标系与参数方程选做题）极坐标系中，圆
上的动点到直线
的距离的最大值是。
B．（几何证明选讲选做题）如图，已知
内接于
，点D在OC的延长线上，AD是的切线，若
，AC=2，则OD的长为。
已知命题
恒成立，命题
为减函数，若p且q为真命题，则a的取值范围是。
已知某几何体的三视图如图所示，则该几何体的全面积为。
曲线
与x轴所围成的面积图形面积为。
的前项和为
，若
，
，则
等于 ．