4 . 罗尔定理是高等代数中微积分的三大定理之一，它与导数和函数的零点有关，是由法国数学家米歇尔·罗尔于1691年提出的．它的表达如下：如果函数满足在闭区间连续，在开区间内可导，且，那么在区间内至少存在一点，使得．
(1)运用罗尔定理证明：若函数在区间连续，在区间上可导，则存在，使得．
(2)已知函数，若对于区间内任意两个不相等的实数，都有成立，求实数的取值范围．
(3)证明：当时，有．

6 . 清初数学家梅文鼎在著作《平三角举要》中，对南宋数学家秦九韶提出的计算三角形面积的“三斜求积术”给出了一个完整的证明，证明过程中创造性地设计直角三角形，得出了一个结论：如图，是锐角的高，则．当，时，___________．
   

7 . 帕普斯：（Pappus）古希腊数学家，3﹣4世纪人，伟大的几何学家，著有《数学汇编》．此书对数学史具有重大的意义，是对前辈学者的著作作了系统整理，并发展了前辈的某些思想，保存了很多古代珍贵的数学证明的资料．如图1，图2，利用帕普斯的几何图形直观证明思想，能简明快捷地证明一个数学公式，这个公式是（       ）

A．

B．

C．

D．

10 . 十字测天仪广泛应用于欧洲中世纪晚期的航海领域，主要用于测量太阳等星体的方位，便于船员确定位置.如图1所示，十字测天仪由杆AB和横档CD构成，并且E是CD的中点，横档与杆垂直并且可在杆上滑动.十字测天仪的使用方法如下：如图2，手持十字测天仪，使得眼睛可以从A点观察.滑动横档CD使得A，C在同一水平面上，并且眼睛恰好能观察到太阳，此时视线恰好经过点D，DE的影子恰好是AE.然后，通过测量AE的长度，可计算出视线和水平面的夹角（称为太阳高度角），最后通过查阅地图来确定船员所在的位置.

(1)若在某次测量中，横档的长度为20，测得太阳高度角，求影子AE的长；
(2)若在另一次测量中，，横档的长度为20，求太阳高度角的正弦值；
(3)在杆AB上有两点，满足.当横档CD的中点E位于时，记太阳高度角为，其中，都是锐角.证明：.