已知a,b,c,d都是實數,且滿足a^2+b^2=1,c^2+d^2=4,求證:|ac+bd|≤2
a=cosA,b=sinA
c=2cosB,d=2sinB
|ac+bd|=2|cosAcocB+sinAsinB}=2|cos(A-B)|
<=2
得證
若x+y+z=1，試用換元法證明x²+y²+z²≥1/3
解法一：(換元法)
證明：因爲
(x-1/3)^2+(y-1/3)^2+(z-1/3)^2≥0
展開，得
x^2+y^2+z^2-2/3*(x+y+z)+3*1/9≥0
x^2+y^2+z^2-2/3+1/3≥0
x^2+y^2+z^2≥1/3。
其中等號當且僅當x=y=z=1/3時成立
解法二：
因爲:x+y+z=1
所以:(x+y+z)²=1
化解爲:x²+y²+z²+2xy+2xz+2yz=1
又因爲：
x²+y²≥2xy;
x²+z²≥2xz;
y²+z²≥2yz;
所以x²+y²+z²+2xy+2xz+2yz=1<=3(x²+y²+z²)
固x²+y²+z²≥1/3
例1：已知a+b+c=1，求證：a2+b2+c2≥1/3
證明：令a=m+1/3，b=n+1/3，c=t+1/3，則m+n+t=0
∴a2+b2+c2=(m+1/3)2+(n+1/3)2+(t+1/3)2
=m2+n2+t2+2(m+n+t)/3+1/3
=m2+n2+t2+1/3
∵m2+n2+t2≥0， ∴a2+b2+c2≥1/3 得證。
換元的目的：轉化、化簡已知條件，使已知條件更易於使用。
例2：已知a>b>c，求證：1/(a-b)+1/(b-c)≥4/(a-c)
證明：令x=a-b，y=b-c，則a-c=x+y且x>0，y>0
∴原不等式轉化爲：1/x+1/y≥4/(x+y)
因此，只要證明：(x+y)/x+(x+y)/y≥4
只要證：1+y/x+1+x/y≥4
只要證：y/x+x/y≥2，而y/x+x/y≥2恆成立。
∴1/(a-b)+1/(b-c)≥4/(a-c) 得證。
換元的目的：
化簡、化熟命題，把複雜的、不熟悉的命題化爲簡單的、熟悉的命題。
例3：已知(x2-y2+1) 2+4x2y2-x2-y2=0，求證：(3-√5 )/2≤x2+y2≤ (3 +√5 )/2
證明：令x2+y2=t
由(x2-y2+1) 2+4x2y2-x2-y2=0整理得：
(x2+y2) 2-3(x2+y2)+1=-4x2
∴(x2+y2) 2-3(x2+y2)+1≤0
∴t2-3t+1≤0，解之得：(3-√5 )/2≤t≤(3 +√5 )/2
∴ (3-√5 )/2≤x2+y2≤(3 +√5 )/2 得證。
換元的目的：轉化條件，建立條件與結論間的聯繫。
例4：已知x-1=(y+1)/2=(z-2)/3，求證：x2+y2+z2≥59/14
證明：設x-1=(y+1)/2=(z-2)/3=k，
則x=k+1，y=2k-1，z=3k+2
∴x2+y2+z2=(k+1) 2+(2k-1) 2+( 3k+2) 2
=14k2+10k+6
=14(k2+5k/7)+6
=14(k+5/14) 2+59/14≥59/14
∴x2+y2+z2≥59/14 得證。
換元的目的：減少未知數的個數，直接利用已知條件。
例5：已知a>0，求證：(a+(a+(a+(a+…+a 0.5) 0.5) 0.5) 0.5) 0.5<[1+(1+4a) 0.5]/2
證明：設t1=a 0.5，t2=(a+a 0.5) 0.5，……，tn=(a+(a+(a+(a+…+a 0.5) 0.5) 0.5) 0.5) 0.5
tn=(a+ tn-1) 0.5
tn2=a+ tn-1，且tn>0，而tn> tn-1
∴tn20
∴tn<[1+(1+4a) 0.5]/2 原不等式得證。
換元的目的.：轉換、化簡命題
例6：已知a≥c>0，b≥c，求證：√c(a-c)+√c(b-c) ≤√ab
證明：要證明原不等式，只要證明：
√c(a-c)/ ab +√c(b-c)/ ab ≤1
只要證明：√(c/b)(1-c/a) +√c/a(1-c/b) ≤1
令sinα= √c/b ，sinβ=√c/a ，且α、β∈(0，π]
只要證明：sinαcosβ+cosαsinβ≤1
只要證明：sin(α+β)≤1，而sin(α+β)≤1顯然成立
∴原不等式得證。
換元的目的：利用兩個正數的和等於1進行三角換元，可以將原問題得到極大
程度的化簡，在各種命題的解題中有着廣泛的應用。
例7：已知a2+b2=c2，且a、b、c均爲正數，求證：an+bn2且n∈N
證明：設a=csinα，b=ccosα。α∈(0，π/2)
則：an+bn=cnsinnα+ cncosnα=cn (sinnα+ cosnα)
∵0
