Question

证明恒等式？

Answer 1

设f(x)=arcsinx+arccosx，∵f(x)在[-1,1]连续,在(-1,1)可导∴f'(x)=1/√(1-x^2)-1/√(1-x^2)
由拉格朗日中值定理
一定可以在[-1,1]中找到一个a点使得
f(a)=[f(1)-f(-1)]/(1-(-1))
∵导函数等于0
所以f(x)是常系数函数
即f(x)=a∴x=0时
f(0)=arcsin0+arccos0=π/2∴恒等式成立
向左转|向右转

Answer 2

一个推论，利用拉格朗日恒等式可以证明柯西不等式，好了，下面开始给你证明。‘
有一个适合中学生的拉格朗日恒等式:
[(a1)^2+(a2)^2][(b1)^2+(b2)^2]=
[(a1)(b1)+(a2)(b2)]^2+[(a2)(b1)-(a1)(b2)]^2
[(a1)^2+(a2)^2+(a3)^2][(b1)^2+(b2)^2+(b3)^2]=
=[(a1)(b1)+(a2)(b2))+(a3)(b3)]^2+[(a2)(b1)-(a1)(b2)]^2+
+[(a3)(b1)-(a1)(b3)]^2+[(a2)(b3)-(a3)(b2)]^2
[(a1)^2+...+(an)^2][(b1)^2+...+(bn)^2]=
=[(a1)(b1)+...+(an)(bn)]^2+[(a2)(b1)-(a1)(b2)]^2+
+[(a3)(b1)-(a1)(b3)]^2+..+[(a(n-1))(bn)-(an)(b(n-1))]^2
用数学归纳法证明.
1.
显然n=1时,[(a1)^2][(b1)^2]=[(a1)(b1)]^2.
拉格朗日恒等式成立.
2.
设n=k时,拉格朗日恒等式成立.
当n=k+1时,
[(a1)^2+...+(a(n+1))^2][(b1)^2+...+(b(n+1))^2]-
-[(a1)(b1)+...+(a(n+1))(b(n+1))]^2=
={[(a1)^2+...+(an)^2][(b1)^2+...+(bn)^2]-
-[(a1)(b1)+...+(an)(bn)]^2}+
+{[(a(n+1))^2(b1)^2+(b(n+1))^2(a1)^2]+..+
+[(a(n+1))^2(bn)^2+(b(n+1))^2(an)^2]-
-2a(n+1)b(n+1)[(a1)(b1)+...+(an)(bn)]}=
={[(a2)(b1)-(a1)(b2)]^2+[(a3)(b1)-(a1)(b3)]^2+..+
+[(a(n-1))(bn)-(an)(b(n-1))]^2}+
+{[(a(n+1))^2(b1)^2-2a(n+1)b(n+1)(a1)(b1)+
+(b(n+1))^2(a1)^2]+..+[(a(n+1))^2(bn)^2-
-2a(n+1)b(n+1)(an)(bn)+(b(n+1))^2(an)^2]}=
={[(a2)(b1)-(a1)(b2)]^2+[(a3)(b1)-(a1)(b3)]^2+..+
+[(a(n-1))(bn)-(an)(b(n-1))]^2}+
+{[(a(n+1))(b1)-b(n+1)(a1)]^2+
+..+[(a(n+1))(bn)-b(n+1)(bn)]^2}
所以n=k+1时,拉格朗日恒等式成立.
这样数学归纳法证明了拉格朗日恒等式.