1 . 用反证法证明命题“对任意，都有 时，应首先“假设___________”，再推出矛盾，从而说明假设不能成立，原命题为真命题．

2 . 我国后汉时期的数学家赵爽利用弦图证明了勾股定理，这种利用面积出入相补证明勾股定理的方法巧妙又简便，对于勾股定理我国历史上有多位数学家创造了不同的面积政法，如三国时期的刘徽、清代的梅文鼎、华蘅芳等．下图为华蘅芳证明勾股定理时构造的图形，若图中，，，以点C为原点，为x轴正方向．为y轴正方向，建立平面直角坐标系，以AB的中点D为圆心作圆D，使得图中三个正方形的所有顶点恰有2个顶点在圆D外部，则圆D的一个标准方程为______．（写出一个即可）

   

3 . 无字证明（proof without words）是指仅用图象而无需文字解释就能不证自明的数学命题，如图是某三角恒等式的无字证明，那么该图证明的三角恒等式为__________．
   

4 . 我国后汉时期的数学家赵爽通过弦图利用出入相补法证明了勾股定理，在我国历史上还有多人通过出入相补法证明过勾股定理，如下图为我国清末数学家华蘅芳证明勾股定理时构造的图形，在该图中是以为斜边的直角三角形，分别以为边作3个正方形，点在直线上，，记的周长与面积分别为，则的最大值为__________.
   

5 . 若点P为所在平面内一点，且，则点P叫做的费马点．当三角形的最大角小于时，可以证明费马点就是“到三角形的三个顶点的距离之和最小的点”，即最小．已知点O是边长为2的正的费马点，D为BC的中点，E为BO的中点，则的值为______．

6 . 我们常常运用对同一个量算两次的方法来证明组合恒等式，如：从装有编号为的个球的口袋中取出个球，共有种取法.在种取法中，不取号球有种取法；取号球有种取法.所以.试运用此方法，写出如下等式的结果：___________.

7 . 法国数学家费马于1640年提出了猜想：是质数.这种具有美妙形式的数被称为费马数，因为随着n的增大，迅速增大，所以要判断费马的猜想是否正确非常不容易，一直到1732年才被数学家欧拉算出，才证明费马的猜想是错误的.若数列满足，则满足的最小正整数_________.

8 . 在解决问题：“证明数集没有最小数”时可用反证法证明：
假设是中的最小数，则存在，
可得：，与假设中“a是A中的最小数”矛盾，
所以数集没有最小数.
那么对于问题：“证明数集，并且没有最大数”，也可以用反证法证明：我们可以假设是中的最大数，则存在，且，其中的一个值可以是__________（用、表示），由此可知，与假设是中的最大数矛盾.所以数集没有最大数.

9 . 南宋时期，数学家秦九韶提出利用三角形的三边求面积的公式：如果一个三角形的三边长分别为，那么三角形的面积，后人称之为秦九韶公式.这与古希腊数学家海伦证明的面积公式，实质是相同的.若在中，，，，则的面积为____， 的内切圆半径为____.

10 . （1）用反证法证明命题“存在实数x，使得sinx=x”时，“假设”的内容是：___________.
（2）已知命题p：∀x≥1，使得，则p为___________.