“无字证明”(proofs without words),就是将数学命题用简单、有创意而且易于理解的几何图形来呈现.请利用图甲、图乙中阴影部分的面积关系,写出该图所验证的一个三角恒等变换公式:
如图,有一个算法流程图.在集合中随机地取一个数值做为x输入,则输出的y值落在区间内的概率值为.
.(几何证明选讲选做题) 如图,是半圆的直径,点在半圆上,于,且,设,则=________.
(坐标系与参数方程选做题)在极坐标系中,过点作圆的切线,则切线的极坐标方程是.
若对于使成立的所有常数M中,我们把M的最小值叫做的上确界,若,则的上确界是
已知命题:关于的函数在[1,+∞)上是增函数,命题:关于的函数在R上为减函数,若且为真命题,则的取值范是.