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

8 . 复数是由意大利米兰学者卡当在十六世纪首次引入，经过达朗贝尔、棣莫弗、欧拉、高斯等人的工作，此概念逐渐为数学家所接受.形如的数称为复数，其中称为实部，称为虚部，i称为虚数单位，.当时，为实数；当且时，为纯虚数.其中，叫做复数的模.设，，，，，，如图，点，复数可用点表示，这个建立了直角坐标系来表示复数的平面叫做复平面，轴叫做实轴，轴叫做虚轴.显然，实轴上的点都表示实数；除了原点外，虚轴上的点都表示纯虚数.按照这种表示方法，每一个复数，有复平面内唯一的一个点和它对应，反过来，复平面内的每一个点，有唯一的一个复数和它对应.一般地，任何一个复数都可以表示成的形式，即，其中为复数的模，叫做复数的辐角，我们规定范围内的辐角的值为辐角的主值，记作.叫做复数的三角形式.

   

(1)设复数，，求、的三角形式；
(2)设复数，，其中，求；
(3)在中，已知、、为三个内角的对应边.借助平面直角坐标系及阅读材料中所给复数相关内容，证明：
①；
②，，.
注意：使用复数以外的方法证明不给分.