Generating formally certified bounds on values and round-off errors

Texte intégral

(1)Generating formally certified bounds on values and round-off errors Marc Daumas, Guillaume Melquiond. To cite this version: Marc Daumas, Guillaume Melquiond. Generating formally certified bounds on values and round-off errors. Real Numbers and Computers, 2004, Dagstuhl, Germany. pp.55-70. �inria-00070739�. HAL Id: inria-00070739 https://hal.inria.fr/inria-00070739 Submitted on 19 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Generating formally certified bounds on values and round-off errors Marc Daumas — Guillaume Melquiond. N° 5259 Juillet 2004. ISSN 0249-6399. ISRN INRIA/RR--5259--FR+ENG. Thème SYM. apport de recherche.

(3)

(4)

(5)

(6) !"$#%&'"'()+*,-&(." &'"0/123444( 57698;:=<'69> ?@69ACBEDF> GIHJHK6L> ?@M'5NMOHJPQ> GJR9S T UV1WXZY-[C\^]`vEwx_anzy{Y[cfkbe|kdgfhwxW;}Xi~1YjpqdkwxY dhbCXmlLnOoqpsrCtuY;d ku9nwhfuYwhYj VuYw VuY~9O_tupooqYf,z_aOi1zOY;d 4;uN n¢ ~1zYobewxwhdgnOpsdwxd,z~Lnz£up~CwxYFfhnY;uwhw wxzzY;Xo dhYd,z~Cwxt1f0p§fxdhVu%pq~uXZ'~uYY¤1fh.psnCz¥fhfxncUpq~unVuo'Yfx9V1~unnpf0O~OYfOoqf{YnOb0~uLY;Y;nzwxwx£zznOfhfhYjtupndmw~1l9fhd;ncn¥inOt1UoQ~1pV1udYmdZfhV1fxnncz~@nföfhp§V1f,psd YFul1whnedheoqY;t1tL=Y;dY;nd¨z~=~Li£¦ n£¦nwxfxwxVuXZYFwxoQwhnOuYtuwxwx~1ncwhnOcnzw¡£ nO£d fh¬VuneY'r!l9zn~Ltu®~11'd-fxnV1XZfZuoYfxY-~ XZlLneY!e YVuo Yjn £E©Y;¤1 nOzpqfh~1pu~uY99Y~1nep~CY;f ~CfhowhbªpqfhV1t1Xidgp~uY%fhpszz¥~«¯1ntew,fhfhnOVuXZYmz°1fhpsw 0d{fûfhwxpncXZnzYm£¨ Y;VuYjY wj©±²Y;w-YidgtL ~V Yjudhupqoopb®;fxYpqwhnOfh~1pq£¦d b®efxn V1~unzf-fEdhnpqXZOYuwho¤1Y0n ~ctuzXZ~1Y-wxpsfhVLzofE1wxwhnnOtu~1w ez¡JXn¢Zd dgY;t1whwx nVªw d4Ozd wxfhYVul9YYnon~u@YjdOt1dhYt1ezf ozoqb®luo£¦YntufhVu~Lwx=Y;dhpVu~ªnoswxuY;d;z¥4o [cfxpqtLXZ V Y oVLYzO~1YeoQonY£E±erOpqf¨tLznOop§tuf{b!os'dgV1ondhtunios'lLYlLt1YidhY;nXZ£¦nOuwt1oXZdhnwx~cb0b0nu~pY;dxYj£¦dYf{nzb£ dgwhnpq£´fhf{pso whYOz¥ 1uoqpszfhpn~1d;¥|¨dknOtuwfxnCnOo³psdkYjdhb0fhn µF¶C·²¸x¹-º »4 kntu~1e¡Jn¢®YwxwhnOw;±u¼,Y;wg¤Ln±c¯1nwxXzo²uwxnCn£{±L¬Ywhfhpq°Lzfhpn~Q±1[u£¦Yf{bwxp§fxp;zoJ¥. ÙeÔ4Ã ÃxÌÄI¿ÁÚ Ë ½QÈÁÌÅÛ¾Ò0Ã ¿ÁÈ À9ÜQæ´ÂkÌÅgÀIÀÑÃxÅgÄJÄIÃ ¿ Å{ÄIÆIÆIÓjÖK¿ÇÄI¾'Ã ÅmÈzÝ²¿ÁË À²Å{çèÉÌÕQÃ ÄIÅ{ÀJÅ{Å{ÆÆIÊkË ÓÀIË ÌÐÌÊÃ Å{Ö{ÍÎÆÅË ß ÄIÆI¾Ï½QÅ Ð¾Ã ÜQ¿ÁÆÑÀkÅ{ÄIÀJ¿ÇÄIÃ ÅgÅ{ÈÁÃ éÆÑÒÄ ÖK¾!ÀI¿ÁÓÀ¨Ý²ÐÃ ÐzËÈÁËËÀIÆÑËÐzÄIÅgÅ{ÃgÆIÊ,Þ ÃxÃ ÄIÉ¿¿ÁÒkÞÈÇÃ Å Ô ÉÕ4ÈÁÃxÅ-ÄJÚ ¿ÁÃ ÆÑË Å{À^ÌÅgÃ ÂÃZÈzÅ{ÕQÆÑÌÅ{Å{ÄkÀJÆIÅgË Ô Ã ÌÆIËÃ ÖJßÓj¾FÄJÔ ¿ÁÆIÖ{Å{À³ÝQÐzÃ Ý9Ë ÌÆÑàKÄ^Ê,áÛà¦Ë â×;çEãÐâ Ã ÄJäÖ{¾åÅ ÅÕ³ÃgÙeÍQÊjÃ ÂÃ ÉzÆÑË ¿ÁÊÌÆIÅ{Ãx¿ÁÊ0ÀIÄJÄIË ÆJÄJ¿ÁÃxÆÑËÄIÅi¿ÁÄJË Êj¾jÌCÅÅ Ø Èsê æ´ÌjçË ÆÑÂkÃxÄI¿Áë;ÓÅ4ÊÓ ìuÃ ÆIÃ ÈÁÈÁígÈÁ¿ÁÀIÂÅ4îï ï ð1ñ¦ò òhó ó ó1ô´õxöj÷øhùxúûhö1ôsü ýòxþÿ ß . Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38334 Montbonnot Saint Ismier (France) Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52.

(7)

(8) "' #= (. ( ³

(9) (%& ()*^&4( )( &4( "g '"

(10)

(11) ntLd,1wh}jdgY;~Ofxn~1d¨tu~®~1ntuOYo ntefxpqo;z1luoqYieYi}~1}wxYwj±1zwhfhpwûYmosuY;dxwxpqefxpqnO~ tuY;whwhps~zwxYluutuowxY;wènd4YY~0w fEzXZXZoqYjned XZeYY,Y,wxwhrCuY;tutupqwxp²wxY;ted fxf pqoYpszfdgwxY wxo nez~1Y;wxepqdfhpeVunOXZLn};XZ}wxfxzXZpfhrCpptundhY^Y;~1dd u- pq~Cc~1fhpY;dwhwhOtuYooquYkoY;wx¤1nd;n

(12) ¥Ofgwx fxXZ~C~ufhXinOYYOtu±u¥uYjY;zd ntelLtufxnO}¨fhwhpeou~1Y,Y;Y;dgd~ufdgnzl1tufxwwhYkdho}Y;nOddgtetufhwpzo9oo YY; ztudg~1fw drCoqtebeY;dh pqYd o 1t1wh~-nenetutufhpqpfoutuz~utefxY nuXwxYtufxpOrCY¨tu£¦YnOewhXZYuY;oqwhoY;YtueY;YèdfhY;l9ounrOwxt1~uYY;d¬rCnetur pÎY9f Ytute~ifXZfhwxncYuWoYYwhfhpqn°1XZ};Y,uopY~1fEee};LYY;o ~1 zuwxzp§fxXZVuXZXZ}Yfx~CpfkrCtuY;~Y ¨tefxcpqpowhpsdhOtu~OoYf ¤L~ctunzfgXZf z};~CwhpsfhrCYOtu¥0Y;dv ndhpqtuXZw-uoo!Y;duwxnYXZXZpXZWwxYYi£¦Yntpsd± V1pqoluY;dgp§fxftuLYonCoYdhdhXZpql1Yoq~CYfketeYfxpq£ÑoOpdh};pdöqY;uXZzY~1~Cdf-oY;dY;wgfxup§°1uY;owp;rCfxtupqYnO~1oqYjddY~'uwxfhnY;OXZwx1XidXZwx}YjYd o ~1uY YmdhYntuXZpoXZd YOfhfhYY;~Ceffx1luOdoY;ud;¥Y ü}~1OfhY;dho dhY~uXZpqOYY;~Cft®eeYYmrC1t1oqpqp§fhfx}Z},YefY;CrCw tuzY pqf oY;dfhwxY;Y-whwxnOYlutuoqw pOdz fh nOpqwhwxwxYn~Ldgt1ew^p9dhoY;nd^~Cfkz1zutuoq¡KpseYjzdhfhdhpnn~1tLdd 9whnpqt1fhpswkrCtueY;Yd;~u¥En¬XmnluXZwxXZY"t Y,0~uonnfhOwxpY¨pqY;nOoted;fh¥ poLYjd{f£ÑpqoY -Xz~uputuoYwj±eY¨~1pqOY;zteYcw zpqf}CzoYXZY~Cf!fhwxY,tufhpoqpsdg} # º j ¸ % $ & whwxYtuw whwxn~1upI

(13) ± '¨};1dxdgY;XZY~Cf-eY01p§fx}± vEwhY;tuYZ£¦nOwhXZY;oqoY±E¬Ywhfhpq°Lzfhpn~Q± ³nOppqY;odwxpqfhpsrOt1Y;d;¥.

(14)

(15)

(16) !#"$&%'#)( *"+%' ! "$, -../01 %. . m ³ "'&è

(17) nUdx£³V1£¦zYYof{o1ub'fxtuVuwxwhYkLpqfhnC¤LpsdgnOYo nzfxpq£9~1ufhV1upLodpnO;pq~Cfhnfpwxn©~Lzpsdwxd4±LpfhnluYoqdxYjOdE£¦YY;z~uoq~LbiY;0wxrOzztLfhoYzo1oZfxp§£¦Vub£¦Y^nOfxwhwhVuXnOYktul9~1o³YcuV1¡Kwxnznc¢'cnzp£ Ynwxw fhwhV1nznOz£Îwxf,d;z¥ opsd¨|,nOdEwhtepqfxfhfhVuV1nOpXZXZdd zfhnpsnwx~1©moqoYbwx~uOdèpqY~1pqwx~C,p§fh°1fxY;YjVu~1!YeYjlcw Zzb'~u£¦On~ Yw lfx9VuteY Y fht1nOdhXzY;otufhY;£¦psndwuXZ~1wxnC0nnwxfx£²Y^Vu YV1nwY;wx noq©YjtuY;dh~1dwedgdx¡Jt1n£¦ ¢!YVf{Y;bOwhdwxnwx¬w pqfhnedps!rzz~146oQ5;&7Ku9¥ t1u8öpwx;n~CfxY;fhpqnOY~1Y;Y¨w;dfh±z±CV1Ofxznidfkn1ztuwhow noÎcfxncpsenwhY¨psouz£¦psl1dnOoqwhYjXY;dwhb-oq~1oY;b'dhzY;bowgoÎfxfxwhnp§nO°LtuV1Y;~1z~LclLe¡KnOnzoqYOtu¢F±~1YpqufèwxdwxnnOw ~~ d p~Fi',Y;pOeY~'oqbZuzwx~LniOwxupX dxdgfhwhwxY nt1tud4~L£ÑeYpqwkotuwxnY;~Cd:fh4;wx5;nuoJ±<¥ 5;u±O 79V1YdhVun~ifhV1zfnOXZXinO~Zuwhn£¦Y;dxdgpn~Lzoeuw fhpsY;d 11uwhtunªnclunz~uop£Ñnz;difzfhOpwxnt1Y~Lz~1dw znzlc~Cfb fxdgY$t YFVu=0nrC~1t1npqzY;wx~OoY;p§ff{ b dxdmnzp£ YYwx~CfxwxVufhnpsYd{w f d-udwxzpnewx~ Yet1nYYjXZo o,XZwxdgYnnc£´~uf{poYbªY;uwhYO wx¥pq~Cfh~1v Yj>Y~e46¡Û5&zpqfh?C~LYj±ècª¡JL&y{nOz7tu9YwhY~Lw0Y;z~ V1osd@p~«~14ÁAcVu?C¡Kp±Bwh5CVupq5fgobªfx7J¥Y~wxYO£¦nOY;dhwhwxtuXuoqY;fxz d o 1dxwh£¦neYef{b«t1Y;wx pqfhpslcb zokpq~CfhuY;uwhop;o¨fxopqpqnOlu~1w dz¥wxpY;[ed;n±XZp~1Y!oqV1t1zu~1pq~ue«¡J£¦wxnp§wfhfhY;Y ~uz9XZYu~uo¡KDY ~14Ázce¡K1E± z5j9F Y7Kw±kzuwxwxY®ncnz£Ñoddhnªn~u~Cnzfxf!pq~dg<t =YwxwhnOpqY;wx~Cdif0z£¦~Ln w fxpq£QVufxYVuwxYkYbpsdEV1~unOYünl9tuYleY;~ffhV1YzofoLwxdhYncXZpYYkVuY;p0Vuo~1bi0whY;1Owhznew eet1Yj-Y;V1lC~1bZc¡KVunO~uwhpqnfgfxwxYY;~udhwxpqnY;O~OwxfxpdgXfxd;d4H¥ GÛo~dhnl9nznOfx~CV'fxz;p~dhY;Yd;wx±Cwxenw Y;d whpY;cpq~1Y;~ fx VuV1YZY; ©nY;~Lw;¥ot1dgpn~Ld¨psd^~unzfdg<t =pqY;~Cf~1FfxVuYiuwhneY;dxd,dhVunt1o®lLYZY;wgfxp§°1Yjlcbz~%ztefxnXfxpmuwxncnz£ pwxXZY;dhutu[cooqYtLfxXZd V'Yn~C~LfxYzdgwhpsfhfheppqn°LY~1wEIdzfhfhVu46p5Y^n7K~1¥4Yd¢²¯1Y;YV1 fOwhnzY^Yj£Îdgwxt1oqnwxo§Y;f tud4O~LecbZwh¡JYnlL¢Y;YY;z~!whpwxont1w ludhd Y;oYèpq~0£¦fhnO¤1nw nOeznYfhXZfhp~uY;ufkte9fxnYnwwEp~OufwxwhYpqzfhOwxVuYp§fxXZ~CVufYXZfhY;pswhY wxfxnp4Ázw ¥Eud±¼,pq~!& t171zwzo~LnO-nO~CwhY;pqfxfhVuYX~mfxdd£¦Yzpq~LfhYV w owxY;YO9enpwh~ufh0p~ufxY;znOX~Zd^fhVupsEfdèGÛ~OnfxwxY©²o±zz~LooL u Y|^Y;[eoqnO| uXZ³Y~Ckfx¬NdfhzV1ozonfè£¦not1ondk@fxn'wxndxtu£¦~LY;coqb'¡Jnl9¢YY;opqwhY;wxnYmw dfhV1zwxzYf oqzp~uf¨©OfhY;V1iY-fhfxn-pqXZn~uYiYknYi£ÎfhzVuwxYY te~1fh V1n~uw Y;dèY;undm£³fhdgV19pY;dwxpYoq96p LnYjwh%f46fh5Kw Jez±ep~uCpq7J~1¥1|,±4dn~uYob%whfhpq;£¦bczwxpq~1Y£¦-tu£¦oonOb%whX VuznCo²dguY;wx~ªncnzz£Ñudulcob0psV1fxzpq~LnO~1dVL~l9YY l9Y YcYfh~@wxYeXZYYOoYbZonfh9YjY;eªpnt1dhn d £Ñw;¥ ¼,tuwifxnCnOoV1dmlLY;Y~ eYOYon9Y; fxn%dhpXi1oqpq£¦b«dht1 V«®fxdh©²¥NM^pqOY~ =eYjdhwhpefxpqnO~ nz£kfxVuYFze¡ 1Y;whoqpswxnzw fhd;p¥n~Q|¨±9d,p§f zwxteY;dhfxtunXo§fj±1pqfxf,p;zooq~FblLY-Y;~uY;Yw dhpoqfxb'Y;dV1uzwx~Lncenzoq£ÑYjdk!£¦nlcwkbfx~1VuY-pqOYwht1pdhnYt1w dkdlLnOp§tufxVF~1u~ud,nndh~FLYjzpsoztuo³Yjfhd¨w zzp~L~uFpq~1whnOtupq~=~1c¬¡Knzne¢r nO V1wY; ~C©bZY;wxnd;fh¥-VuUY;wEVu£¦YZnwxnOX~uY;zd o9ul1wxOnCdgnYj£ÎnOY~=wxpq°LVupzV1fhpYnw ~Znfhw ncenOYoIw ¥èo¼,ntuOpwifhdgnctLn o²V%O~dlL¬Y^neor9pq~u±Q©OPv Y;O Z[%fxn-zX~1Q z~c8^b¼ z tufhznwxXYizufhwhpsknOl1uzwxl1ncnzoqb £ fxfxVuVuYYbXZwhnOY;dgoqbf,dgnOnoq~1Y;dhoqYbwxnO~!fhpiYÔYnwx~1b0Y;d¨dgXXZzooQn~u©OiYwxfh~uV1YYoJ¥SX ¯uRÎte¬fxtunewhr'Yzu~1YS Y;8 oqnO¼ u>XZY4;5j~C& f74nz£4whnYtu1wwhfxnOnCl1nOzoÎluXobfxb0VuoqYmYfkdxt1£¦dhY;Yww nd~u YjVudŸ; © d fxfxVuV1Yzp~!wzu~cwxnCb0nO£Ñdt1znw ~0z~Cf{fxYn-Y^nOuwwhnfhVucwxpseYY;Y^pq~LdgeniY£Ñ9Yw;~1¥ uY~Cfuwhncn£ VuY; ©OYw dè~10OYfkoYOYo²nz£ n~u°LeY~LY^VupqOVuYw nfxn'£zGK~nf³XZpszdQXZtucfhnpsndg~Xplu1ozYwxfhOpspq~ fhfxfxpsnCVunOYjYd,o£¦nOdgoqt1~1on FVfxpq~1nd^nOnOfhtuYtuw,cwxfQd;°1¥ fxwxV1dg ff4zYZdguunOuXiwhonOpsYELnCufxdgY;pqnOYi~FpsY;dhpqufhnOVLt1~1dÎzf fhpY;Yd^=wxt1Y dhdgVuY;fhnpopsofhnYjn'9d,XZYfh~ V1z£¦pqnO~CfwÎf zfhwhpV1~®YiYEt1dhpqXZzdh£¦YuY£¦f{tuoYboXZpe~%Y;ps~Odgwhfxf Y;zO~LfxzpqnOw Y;~ d l91whYncf{nz£ÑYdY;~-l1zdhpY;w %w n£´~ªfxd;p¥4~C¼,fhY;tuwhw4zXozzpwx~mp§fxVunXZ~CfhYwxfhpqpsl1ZtefxfhV1pn~fmpsd whd{Y0fxpqoocYnwhfhtupqw °1Y;z l1pqolcp§f{b b^zfx~ªnüzwxtunefhent1XzYfh£¦psnwxuwxznCw n £Y wxV1whnOY; w³©zY;~1wdgoqbetLdh pV d OndZXZ¬1nerªwxOludoqY,fxVufhncYwxnOYodpsdip~uoqo n%znzufh9V1Y;Ywiwfhp~'ncnfhoVuY lu£¦oqtuYfhtufhnwxYe¥ n%p§fj¥ ¼,tuw VunpsYjdpoqoX©Y%epq¢9Y;whY;~1Y'VuY;~ 2. 3. Ü Ü Ì T+U ãUV.

(18) . # #"$ %I"$ ;#"$ . "$ #. fxnOV1~uYifUXidgVunOpY;XiwhVCYYfXZV1l9pYZwxuVCfhf-V1zl9f^whY0YOfx±VuXfhYVuzY¨~ct1b®dhnY9wwxYY;w eOpsdg®fhnOp~1~u~1d,nz£¦fdhnbcV1w-dgfhFY;~1X enoY-nOXZwfxuVufhteVuY0fxY,pqdg~1n®n£´f{XZdgbeudgpwhofhYiYY;wEX psnOdwhfh~uwxn!Y;n£ÑfEfhopqbFoJnO¥!nwh©cUw^pVu~ufhV1Yz°1f nw fhwxd{VuwxfY;Y0nO fx~ueoqYYjbOdg¥ XZp|¨~1pqO~uYVCnzwf-fxVuelLYps Yw ~1nO~unzfèYktuu~LwxneOYwxw d{f XZzXi~10YjZY ud{fxwht1fhob-fhtufxwxVuYkY¨pspdE~C~ufhYn~LfepY;~upqfhpsl9zYoVL;p L;Y;CpnnOwèwènzt1£ÎdhfhY;V1Y,dhnbcwxdgwhfhYjY; X!fhob¥ ±C\EzY~1fdh~unnzfxnOVu~QY¥w|kno~uo1YkfxVuXZY;pdhY¨VCufwxl9nYkl1oqfxY;V1XZfd wh~1Y¨~uXinzfYfh~uVuYne enOoqnOpqfhVpY;¤1dnOfhznfhp1~uwhY;9Yn~Cpf~OffhV1zYwxX!pqfhVu¥ XZYfxp,z~1fhY;XdwhnOtu~1ifhV1Y¨nwxowhYüYY;oqnOup~ufhncnOod ~fxcVutuYXm¯LXlLzY;poqwkfxtuVunzwxYY0£ XnX9fxYpb=w ;zfxoupqonOdhdhnnF~1od;tel9¥fhYp¯unnO~Zwknt1Y £²dhuY;%~mXipqYj1~ rOoqtLYfhVufhYpVundhY;~Ztu~!l1lcdgb-fhY pqfhfxtuwhfhntup~1n~Ldg~ fxnfx~OY-£fz~c~!tuXZXmp~ezlLfh°1VuY;~uwEY;pqfhXnzYm£²dgd{fhY;fxpswhYp1Y;oèddrCnnOtu£ wY; dgfhYVupnYfx~ª~Fn~elc¡Ûb Yk'wxzY1°1uV1~uosdgpqnOfh~ YY pqXfhY;zwxfhzpsfhpznoE~1rCd tu4ÁYjd{1fx±4pqnO ~ 7Jp¥'d U~unVufY;dh~uYY;YY;wxdxwhdhnOwxwhd pobFwhYCpszdhospqdhlunFoYV1pz~=~1fxuVuoqYjY=°1Y;~LozdhYoEV1nOXZYwxuYpq¥oY;]F%nOuwhwxY;nnOwxY;w;X!±²fx¥ VuGÛY0~Lpe~uYp§Yjfxp=oEpqfXpsdfx~uVunzYf¡ oq¼,betudèw 9fxnOncdxndhoEpqlul9oY ntufhnZ~LuOd YffhV1l1Y O©0z%fhnil9fhYVuf{YYp~uYpq~%fhpszfxVuo³YoqlLOY;nV1wxp§fxcVupqX nOw ©cnz~u£nfhVupY~uiOpqp§Of Yd~%pqXZuuwhnOoYXZw zY;X~Of Y fxcpqYjnO~tefxnOY;~u=oqbOn¥ ~ wxY;zo ~cntuXZXmulLteY;fxwxYd;wj±è± pqfhpqfhV V«~uwhn nOtuwx~1nctu¡K~1nze¢«¡JnY;¢ whwxY;nwhw wxd;n¥wj±è|koqfh~1V1 ntufxOVuV YFfhl9VuYYjV1dgY0cpl9nnwit1nz~1£üd-fxVuYwhYdxzOXZYwxYb®1t1whdhnOY£¦w t1zoèX p~ Y uew Y;tefxfhpYj Y±4np§~@fmp d dhUnV1XZpdZYfhpspdXi9YjnOd¨dxdgopdhlunoY'p~CfhYpqfhwxV Y;dgfhnOptu~uwZfhfxncnnl9o¨nlCtub@~L!ufheVupYi~u otunlL~1zYo³whYfx¢9Yjpq~C f{f bªnz£èfxn oqdgo4nOYXiwxwhYFnOwxdknn~1~!dgfxfhV1~OYif dZnzXZ~1 uteufxzY;fxF%nzz£ôtufhYjVudY ¥ £¦1rCnOtuwhwnOYjd{zfxw opqzo nOX!fh~Qwx¥¥³tu~1U;VuYkYfhept1npsZdh~ªYdgw n^ps~1d £¦=nOwhwEYjudgnp9tudxnwE~1wxYdhfxYplu;p wxLjnoqY~1fhfhpnnte~%fhpsYYwhwxfhzwxpqun£¦buw d,ofhpsV1nz£èfxf fxpqnOfhVuVu~iYYuXZ~1wxmnneefhw Vup§z°LYkX Y;Oiupqen~CXZpqfxfhYp1wxn~1whoYjoud Ywxfxuwxnunwxw fxnVulLuYnOwxtupXz~1fhuY;fxdEoqVubYXpq;oo1nOdhfxnCptu;nO~Cz~ f o l9Y £¦nwxXzooqb0Ywhfhpq°1Y;'pqfhV!Pv O [²¥. ³

(19) ' & a -"!"' " & -

(20) '

(21) ( ~cGÛdh~ Ytuf,XmfxVunzlL£EYY;V1£¦wnOoqzwxon~1e'pqzz~1wx~'1Y±¡KzwxxoYu:nwxRwxY;pqdhfheYVuY~CX ~1fxnzt1fhluYjdhoY;d³Y,d~cztu~!zXmoztulL1Y Y;uwxxd;whn¥©Ce~1 pnXYi~êfhYjnpq~1fhwxnzVmYf,uzwxXZ~ Y;Yjdhpq~uYz~C°1~!fx~ufhpqVLfhluYèoY¨f1whYjzoptupsd¨dgY pfhnxVu˜~QYm:¥ whFUnO±cVutup~1d³p§efxpYjd V !FfhV1zl9YoYtunpY-~uwxYinfx£pfh;VuzY o± ¥Y^XiYjz~fhV1zf x˜ psdfhVuY zotuY,fhV1zfpdt1dhY;'z~L09nOdxdgpluobnOXi1tefhYj0x˜ lcbfhV1Y^1whnOw zX pq~'uosY,xn£ x VLOn|Ytufx~Cn!fÎoqnCfhlLdgV1YjYZYèV1wxXn~1tue~1fxoeVuY;¡JY®nX¢-dhzYYfhLwxpswhznOzw wxo²dÎfh£¦Y;t1;oqz~1bOt1¥ fxdhpqY;nO ~ YZlcfb,t1(x) fdhhY VuYpsdpnO~1pqXiXZdgfh1uYjteoYfxXZzfhnYp£ ~Cn~QfxY;

(22) ¥ 'fh'¨n'lcpsbdhwxY;whZYfhuoq6po4wxL;nfxzVufhw pYZnz~whX Yjzf(˜ ~1e˜^Y;xw¨fx)whfxt1fhV1VL~1ffzfhfxpnu©~whYjnOYdwxw pwx~CznfhXw n d oqUbeVudèY-tLfhdgncYjndo4nV1~uOob0dkl9wxYYuYwx~=Y;dheYY;~Cdhf pqOz~uluY;oY,'p~ufxnutufxted;fh¥ nOXZx˜zfhpsoqobOY~uY;xwxzfhY1whncnz£En£ fhVuYmwx~uYn£ ±9fhVuY f˜(˜ x) 1uwhp§¢²nOYLwxY;Ywg~1fxpqYjYdklLzYwxf{Y©cY;Y~u~infhV1~FYknY ~!ufxVufY-p~uoqut1tuY f^f(x)zwxpszlu~1oiY;d;fh¥kV1Yk¯unOw¨nXZY uutuXifhY;1ZoqYO±1tuoqtu~1YuYf(˜ ˜ x) ±C~1Zdgn n~³±VuY;~0dgnOXiY pqnOfk~'psdnY;XZdhuboYfxfxniY1zwhunuOoY¨psfxV1fxpqnOf ~1√d;¥ x˜ oqpY;dp~'fhVuYw z~1Y [1, 2] ¥UVuY^fhncnoÎpsdVuY;whw,Y^fhfxVuniYmV1VCYbco9!nzfxYVuwhY;fhdhpq£¦pdbcpqx˜~uZ∈u[1,wxncnz4]£Ñd ± æ¦Ô4ÜQæ´Õ.

(23)

(24)

(25) !#"$&%'#)( *"+%' ! "$, -../01 %. . 1uwhnnOLzU~ Y;VuwgYfxpq1Yjzdë~1p§V1fxoqpqbenOO~QdhYp±4d fhp§psn'f-dOl9eYYinO~u~u1Y;Y0wxwhznnfhO~ªYjY;d Î!¥uwho nncnVu£Ñ¡JdYoY~®zOl9Yf{oEnteenf-YjdhfhzVuwhwxY0ppelufxpXZpqoqnOYju~=d,oYnXZwh£YiYfx~CVudgt1fhYYjXiªXZuuYjuoÎpu;±Îp§fxnfhpqtunOpnw,~ ~ fhfhncnOV1nO~%zofmdêFV1ncpY; nOVªd^Xi~uz1nwxtef pqfhfhVudhY;pqXZw-XZYufxpopoqb o YwxY;¢9dhYj9 Y;fxpqOf^Yfhobn'YfxcVuYjY Gte&fxY&±1& £¦n.¡ ?zw¨zY 'uzdgfxXZ~1uouYzw Z¤1nO~1z®fhp~upqfxzd¡K9unYp£Ñ~Ozf¨t1Oo§fuwxenpqfhtup~1n~Fupq~unO~XZdgpXZncuuYZoqY-Oud wheYjY°1psdg~1pnY;~!=~cpq~%tuXmntulLw^Y;wx£¦dnOwhXpqfhzV o fxdhVu9YY;Uupq°LVuwxnc;Ynzfxfh£Ñncdpnnfh~³oun¥izwxosdhUYn,osVuf Y0fxzY,©OufxY;Y;nid4dxpqfh~CwxVupqfxeYn fxwxpqOY;nO~®oÎnnutu£wh~CnOfxfEVudgw YZnOzXZX)uwhYnO1dw whpznOXZXLuY;wgoXmYfxpqXZt1Yjdd{Yf~CÑwxfh;Yjz~u!wxwhzbFYO~1±Y;'z~ulLYndgetunOYjOoqteV®tefxYfxpY;~eYÎ£¦wxn¥ whwxnOXw;±wxfxYpqnOos~=fhpp~ YnYwxw wxenYw w,Q£¦nOn~ w fxfxVunYpY;~u~uuYtew fèfxYkwhpszdxluwxopqY;ed;f¥9nzM^£ÎpuwxY;nc~inzfh£²VufhY¨V1dxzzfXZdgfxYz©cfhY;pq~Ldmz~1nZ£91OwhYnOwxLp§°LY;Y;wgd fxpqfxYjVud Y;ndh~iY¨fhuVuwxY¨n9nYtewhfxfhupY;tedfE£¦whznOwxX pfxluVuoY;Ykd;Vc±bcfhVuLYknfhfhVuncYjndgocYjfxdEwhpnOY;~ d fx1VuwhYnOLp~uY;wgufxtepqYjf^d¥Ez[cwxYjp fhlupoqnYj~Fd¥e[c¥ÁmY;pfhdpnu~Yen6¥ fh5Yj0eYjfxdhnZwhfhpVulLYYjdkunOwxnc~unzY£Ñdnz£ nz£ fhV1YYwxwxXZnw Y;d ±CV1lLn~ufhpVFdhXzdlLdgpnO~CoqOtenfxoYYjz~1p~FwhY;uowxznfhCpp~uYOZ¥ w z~uOY fxUV1V1Yf |)ue1whY;ncdxwhncnwx£nzp£´lLps¡Ûd YjVudkOYjYY; ~uO©Y; YwxV!w zfh~uopqY;Y;©O=YY;lcdx¬dhbnewhfxr=bVuYeoqnOnczYjtudpsfhn~unXnz9fmzYfhw psZnOfxwhpqunO©wh~ncnOnfx~%n£fh VuVuzYYjops uO©Y;fxfxwt1YzlCfhoEb=Vu1YiuwhosncnOnzbC~1£p~uluo't1tedhfifhpqV1nOnY~!~ªdh£¦whFnOwhpX.dxefjwxfxpq¥FeVufmY-¬nenzu£rwxYfx©OXZYpswxfhdg~upsYjYdd o¥ dgfhnOwhYjd²fhV1Yèuwxncnz£ud koszX-l²uz¡IfxYwxXZdÎ£¦nooqnp~u^¬tuwxwxbO¡ 8knzw kpsdhnXZnwxuVupsdgX!¥³UV1YèoszX-l²uz¡IfxYwxXZd ;¬zne~uri~1nz©f Y;whlL~1YZYoLwxY;~1¬lCb®nerZVCt1eXZYOY~®onul9XZYp~uY;~OOfèd^fhluY;tuf Xpqdf¥|¨d~=pql9fYidgfxun~1tuuludEo~1Yn Vu±OY; ~u©OnOY;~uFY¨lcnb!£ÎfhfxVunCY,nOo°1dôY;p~1deXY;Lz~uY;~1puutuzos~Cf fxY;£¦wxnlcX b fxn¬Vu£³neY-fxriVu1Yd{whfxncunnzwxwx£èY;nCdEndx£{fh¥wxVupY,efkuwhfhncVLn£Qf,pqps~d,-uoVctubOXY;!z~nO~FwxY;fhVu1YizluzteoYfxn£¦nXwxXfxp-fj¥4uUwxnCVunps£Ed pdèVuY;fhVu ©OY,YwhwYjfxndhnu~wxpq~Cf^Vcbin~®Y^dxzwxoYY;~!befhdVuwxYiY£¦d{Y;fxwEY1fhn d .

(26)

(27) !"$#&%(')

(28) *". E V1Y;wh ps©zY;l1w;oqYj¥4d¯uXZnOwYb'el9YXZlLunOoqYOtu±e~1ewxYjY;!dhLpq~CnOfx~1ndgpY lueouYöupwxp§nfxOoqb!wxXZnOXiXi1Y;tewèfhdhYjVu!ntuwxos~uuYjwxdknYkY;wgfhfxV1p§°1zYjf'p~ulCub!tef zd~Fnz£ tefhoqnOo²XZdhrCzt1fhpswhY,uwhwxncncnnzf £ nOLodhY;nwxozYfhf pntL~1d³dO;Yzwxp§~u£¦b,~unfhfV1zlLf³Y~u~un,Y;whOYjzdgfhtupoqf³Yzp~1oqoCnfhVLY;wg¤LfknVu=psdudQwx¤1nnOOzwxfhpX)~uk~u9YnOpY~Cwf ezpoCpsnOewhYjpqfhdVulcXb!d²LfxY;V1whnLf ¥ z¨wxYEz~u~uOnY f dg 9V1Y;Y; p©cpqoq~1ob l1nOtuYpqoqwhf¤1nfxn¥ eY; oEnOwxdhp§Yfx±ÎV z~=fhVunY;XY;wg¤1npooEpnz~u£´fxYnO~ªLoY;Y;wxz=fhpnfxnF~tunO~®~1z~u~CnOfxp~=pqdx1zfhfht1Yjwx=zfhwxY;Y;Fdhtuf{oqfxdn pqd^£nnO~uXiYZ1nOoqwY;XiXZY;n~Cwxf,Yi° nOeLYjY;wxz9fhpnnp~1~Ofd whpqfhkV1Xi~uYfhpsYj^dzwxpqoY0oQwxdgYfhfhnt1wxY;wh~! iOd1wxupqw LdYjnz£~ctuoqtuXmYlLY;wxpqd,fhV'+m!fxVuoYnY;whwnO~ul9Zntudgp~1ª~Q¥ ~1ªz~ªt1uLY;w-l9ntu~L.-¥[ct1 V wxdhY$t 1=0whYjpdgYY;~C~Of³f p~fxpqnOXZ~FnOdgpd^f ;~undhf^Y;dQnOe~1fhpXzd ozfh~1w =ezYte¡JfxnVu¢4n±jw dkYèXbFnOpt1^dhXYiznz~ufhV1puYtuwôsnfx~upqYj~1d¨¨p~®nOXifxVu1YmoqY £¦^tefhdgtufhwxwxt1Y'¥ fxGKtuf^whYjpsd^d¥ VuGÛn~1eY;Y;Y;Y;Îw ± £¦InOiwhX1zpoqwobinz£ V1~cY;tu Xm©cpqlL~1Y;-wxdp~1udgwxfhncY;nzO£Qpsdn-£³fxVunOYXZuteVufxnzoY fhpne~0Y;dxp~CwxfhpquY;~1fhpdgnp~'Y¨nzn£49iYw enOfhXZpn~pq/~ zè~1XtL©dgpY;~udmOdhYpwxXip§°L1;oqY;fxwpqnOu~1wxndè9YjYwhdhfhpqpY;Y;w;d ¥ whpOooÎtuoqXZYjV1Yz~Cffxfhd-pndnzzp£¨~O~'fxYpq~ ~CwxY;fxY dgYefhwxpu~uwxY;o²dx£¦fhdgnOV1pwnz~ªf¨munOwxwh~OncYf nzzwh£QY;p~1psudèdoOfxfhVuVuYjY^Y £¦wxtulCY;~1dhb utuoqY;f;XZ~1¥èY[co~CnOt1fxdh pqV!~1o91z~'whpqnO~CpLfx~1YY;wxwgof{t1bZdhopqd;nznO±4£ ~fhpqVu~CufhY'wxY;nwhY 9eYuwho9wxf{Y;bdxwhpsdhpqfhdpqnOVuY ~ªXZuYYfhpsfhz0 oob0+ t1p§£ fxV1fhpqnOVu~ Yf Ã Ã ÌÓjÄJÌ13Ë ÅÛ2 ÂkéjÅ{Å^ÃxÀQÄIÍ³¿Á¾ÖgÃ{¿ÁÃ ÈÁÞÈÁÈQÈÅ4ÒÐÉzÆÑÞ Å{ÅgÃ ÅgÀIÈÁÅ{Ì¨¿ÁÊÌÚÃxÄ,Å{ÄJÅ{¿ÁÌÌÊ¨Å{ÆJçÉÃxËÒ,ÄIË Å{ÄJÊ,Ý²ÌjËË ÄIë¾ÄJÅ{ß1ÆÑÀ¨Ë ½QÓÆI¾Ú ÅÛÅ4¾^çqÅgÌÆÑÃ Å{Ã Ì¨ÌÂÃ Ö{Å4Å{ÓjÀ,ÄIË Ë çeÄIÂkËÅgÃ ÃxÝ²ÖKÄI¾,¿ÁË;Ö4ëÃ ÐÌÆÑÊjÌÅÛ5Å ÄIÅÛ4Ä´é¨ÒÌà´ÀJ¿ ÐÄJÅ{¿ÁÆÑÖÛË ¿ÁÄJÌÌj¿ÁËÄIÀ^Å{Ì¨Æ4Ã ¿ÁÌÃ À9ÊÌjÄIÊk¾ÐÅ ÄIÆÑ¾ËÌÅÛÐzÃ Ò¨ÅgÂÆ¦Ã ÄIÅ ÆÑ¿ÁÅgÅ Ë À,çcçÃ ÄI¿ÁÌ¿¾ÄJÖ{Å&¾jÈÁçqÓ4ÓÊÈÁÈÅ4Å{ÄIÊÃ ËèÀÎ¿ÁÄIÌ¿ ¾ÄQÅÃ Ã Ã ÐÌjÖÛÐzÌÄIÅÛÅgÓéjÃ Ã ÆIÅ{ÈOÀ³ÀhÀIß!¿ÁÖ{ÌkÆI½³¿ÁË Ðj¾jÓÄIÅÀÆ ÈÁ¿ÁÉÆJÃ Æ¦Òß9½Q¾¿Á6À 4ÆÑÀIÄ³Ê3Å 4Ìj¿ ÄJ¿ÁË Ì ¿ÁÀQÚ ¿ ÞÅ{Ì^ÉÒ 798Ûöï :;)û ; =ö <¿ÁÌkÄJ¾jÅÝ²ËëkÀJÓÐÐzË Æ¦Ä4ÈÁ¿ ÉjÆJÃ Æ¦Òß O. Ü Ü Ì T+U ãUV.

(29) # #"$ %I"$ ;#"$ . . "$ #. psnd£²~ufhVuY;Y;YkenOYjtefh1£¦nOtewkfimnuOwhwEncXZn£5n+4wxOYpqOY;Y~u~Yfhw VuzYooqbiw zz~u~OY;ndOYnzwx£ Y;fhdgVufhpYXZpz~ufhupntu~ifxd;nz±u£²pq~CfhfxV1YpwxdèwxoQ~uzwxYOp§fx±VuluXZtefYfxp§fp^d{fxpqopoLoqoQpsdèOpqOY^nfhXZVuY 1zw zfhp~uluOoqYY ~1dh¼,Y;tuw;w ¥ fxncnoeXbV1YV1~1eoY;ienXzp~1d nO~mzwxpszluoY;d lutefEnOtuw 1dgfY eLY;whpY~LY;d4nO~muwxnOwxXd oY;~1Oª09t1nOddgfxfgnm¡Ûw nO~1fxeVupqYfhwpnl9~1nd-tunz~1£kpXinO1XioqY;1XitefhY;Yj~CfhY; zo£¦tutuYj~1d¥fhpUnVu~1Y^d;¥ tuu 9YV1wkxY~«~1 0¬ onuY;whwnOl9w nzt1X ~1udn~Cf pqzooÎp~1l9dmY^tL~«dgYj0dxdhp~YwhufhpwxnY~ ¡

(30) nOOdhdhYYwhwh¤1fhnpn~±Cenc±Y YjXZdE~uY;whnY£¦f~Yzw fxdun01fx oqn VubmY;fhfh V1n ©ZY®xfxVuluzYteotufuY=wxfhnn O9x˜Yfxwh¥ t1f{ bzooqnV1b ~ Y~p~ ±LXZz~1Y!whXZpszdhnluniwxob@YnO~QX-nO¥EwtL]Fd{pfè~ nCl9d{ fY¨nz1wx£4YwhOnfhV1pOdgYY;fhiY;uKw ~uwhR nOnzLfènOY;fh~1wgnfxdhpqY;tuYjrC~LdtueuYYwx~Cwhnfx¤1oqnb@Y; fhVunYfw fxpqf¨Vupsd,~dgfxl9YYY;wxdgY;fhrCpXtupwhfxY-Y;©C~1np§fxV!pq~ufh0VufhYVuY;YZwhwxennwXlLnOpqtu~~1n!£ ex˜YR²°1x˜fh~uV1Y;YmFe[cnOYjXZ fxpqpqnO~®~!nzu£ ¥ ux¥ XZb'~uY;Yw,lLYi~uY;Y;eYj!fhVunOtuV fxnp§£ fxpqYj¼,dtuV1wOYjdezt1~1;nzfhfhV1YjYwupY;Xips9dhnpqnOwh~fxfx~Cnf-lLnOntu~L~1dgYjrOt1fhVuYY~1Y u+ufxwxVun eYwxpqXYpdfxY;~unonOwhdxpsd zlup§£oY fhV1wxzY0fhVuoqnY;wYfhwV1~~1%fxVutuYuY 9uYOwm fklLnOrCtut1~1zu~ed¡ l9nn~1t1x˜dh~1pszeuwxYdY-w,nppq~0~~CfhfxFY;VuwhY^Yd,oud¨fxVunzYf£ RzzuoulutuwxtuY;n f^denpqXnO£ tuFzosfh¥^Y;U~uYVuYjYioqt1nOY wh~1lux˜dgpqYjfhpsrCw d ztuwxzYp~%~1oqbmYYoYnpXZe~Y^Y£¦~CYnf ewxXZunzwx£ Y;o Fdxdh1pqlcnOwhncb®~1nzd e£EfhYni °LVu~uY Yjup§ fxO©cpqnOpq~ufh~%obZpwh~1d Y;udhtuwxY;l1YdhdgYfxe~Czn'fè~Cfxwx~upY;nzzoIf o± ~cY utuzXmXZlLuY;owxEY d;¥G &!¼,&~F& fhVud{f Yiz~1nzfx1VuzYw w^V1dhpq~u~1OÎoqY±²lLnOnOwtue~1nutud^l1nOoqY~ ux˜wxY;whpdhYmpnwx~zfh~cpntu~1XmlLodŸ;wxd p§ fx¥ V=0OYwxbopXipqfhYj®1whYjpsdgpn~¦£¦nw XZY;~O¬f nOfxXipqnOXZ~nOn~ £ pqfx~CVufxYYwxuuop§fxpqwhnOpq~fhV1nOXiLYY;fhwxpszfhnwn~1£¦nOdhwkpu-Yw fxd-wxOenOpq~cfhpnY ~1ªdhoÎtupq~Cl1fhdhY;Ywhfxdino²£ whRpqfh¥ªV1Xi¬YnOfh~1ps dgYjoqrCplutuw Yz~Cwxfhbobp± d,fx+ VuY'pqXZuoY¡ XU V1Ybmwx~uY nz5fzz~1wx wxb4Y~uenOYtu~unVfhYè1fhwhV1Yjzf4psdgnO[˜panL,~iY;b]wx£¦zn+fhw pn[˜c~1,d d]dgVu=znO~Ltu[5(˜ o sl9aY+wxncfx˜tun-),~Ll94(eYkY; Ybufx+On d)]. obZwx d{fx−∞ z¥9~1GK f+∞ ¥ YÜwxY;V1OYdgl9nO~mntu~LVcub d h f n x w ; Y Î s p d x f u V fxVuY GÛf{~nOnitunOwL;Y;wxdhzY;fhd;p±ndg~1tLd VwhY^whnOwhtunO~1tue~1pe~uYjnOdhni~1dhfha˜pV1e+zY;fwxc˜zfhfhVupnY~1wxdY;˜bdh+tuwhoqYdfh˜p~1~unzZfèpq~u~CYjfxYYjwxdhdxzoÎwxYb~1+ÎfhoqVunCdgYŸjV1dzzw oeoQLznCwxdhYdh¡KplupqXZoqY uoYzXZotuYYj~Cdfx¥ Y; pOXuefxpqfhpqnOpn~~ n£ fxpVudYn~1udhupsp§efxYpqnOwx~Y;0nOO~dfx-VuY ~uY;°1 Yos'Y unzO£4 fhfVunY9wxYY;w o²fhp~Cnt1~X-l9p§YfxVw d¥wxY;Udh9V1Y;z fkfXifhn YjzF~1d~1fxV10~1fknzpqf£ dfhVuYuuwxn C¡ ~1 y˜ ∈ [˜c, d]˜ fhV1Y~ x y ∈ [ã c˜, ˜b d]˜ x ˜ ∈ [˜ a, ˜b] wfxxGÛ~LVunt1eY~1YwxYjenÎptu~u±~11fhu¥EV1pq~u¬Y®in~1XZzdhoneY;turCeY;tudYY;±ea˜~CfxfhVuoYb~ ±Oc˜dhpz~1~1Yfx˜bzVu~1Y, Odu˜epqfhoqwxpnY;~OzewxY^b«fhpsoVudèpqY=Yl9pqXZ~ ntunOF~u~L±nzufxdfhnVu¥ ~uY;nOwhY®t1d pd£¦tu~u~1n fhp~unY;~0Y;n£ £¦FnOw→~ FuuV1p§zfxfhpqnOYO~1Yzw o ˜. ˜. ˜. ˜. 2. ˜b d˜. a ˜ c˜. U V1YwxY0pdm¥ ~u n~1YY;ªfhnf z©OY0pq~Ld{fxY;[˜ a, Lb]nCdhdhpq[˜l1c,oqbªd]e=pq¢9[˜Y;awhY;~Cfmc˜,zb~1 d].~un~e¡KnufhpXZoèzotuYjd 5(ã + c˜) ~1 ˜ 4(˜b + d) ¬ O n 1 ~ £¦psd^nOwn¬tuw-dguYjwhrCnoqtupy{luYY;w ~Czf;fhwxo¥ bb0± fhfxVLVuYYf XZVuznOnOodhoqdgnYif4kfhnOdVuXZYfxnXidhncnOL~unOYjdgobfpq£¦t11b'dgYjfhwxVuY-Xip~Cf{YfhbCfhY9Y;wxwhY;p6d^zL;oezzlu~Lwxoq!YipqfhVufhp~OVuXZfxYiYYwxfxzpwxzp§fxoEoVupqluzXZwxw pqzYfhwxfxVuppY;XZdQfhYn0fxpYZl9wxYYmop~ulutLnzwxdgfYjwh!zbNupq~114 Fdgwh7KfhnO¥YjuwhUFpsV1fxnpYd £ l9Yp~uZopqXZpqfhY;'fxnzwxp§fxVuXZYfhps n~ R ¥ ½Q¾¿ÁÀQÆÑÅgÀIÓÈ Ä³¿ÁÀQÚ ¿ ÞÅgÌ,É Ò 7 ð;)ù ;j÷ ü õ :;)û ; =ö <çqË Æ³Ú Å{ÌÅ{ÆÑ¿ÁÖ ËÃxÄJ¿ÁÌjÚÐË ¿ÁÌÄ³Ì;ÓjÂÉzÅ{ÆIÀgß ˜. ˜. ˜. ˜. æ¦Ô4ÜQæ´Õ.

(31)

(32)

(33) !#"$&%'#)( *"+%' ! "$, -../01 % . ?.

(34) . xwUªY;V1dhutuY=p§¢²oqfnYfhwxVuY~1Y;~1w'YfxVuwhl9YpqfhYVuf{nOXZXiYYY1fh~ teps®fhfxYjVuu0YwxnY9zcoYtu9whYf{Y;b ¥Efh¯4fhYjV1p ~uzpqf'fhwhY YjnOdgututuwxoqwfY;fhpsncdh~1pqnnO@o ~0ufhnzVuwx£4nY%~CYjt1ndXiXZpY;duwhpstufx¨fhVuY;Yª nXZep§u¢²teoqYtuf wxYOY¥~LfxpqnOY®[e~1t1dl9 pYV df{oepqY©Opq¢9Y;Y~ oY;biwhY;fxfh~1VunZY=Yjpq~Ld0Y eut1p oqYf o 1XZwhYjnOz~uwxpY;~udxzdgp£¦t1Y;oIoq¥ bilutupotu!z~1pqfpsd~uYjY;dxdxzwxbm£¦nOwfhVuY t1dhYwfxniYwhfhpq£¦bfhV1zffhVuYnXZutefxY;whYjdgtuoqfpd zfè~1 fxVufxY,nVut1Ydxwx~1zYèXZudEYknnOfxtu~pqXZos YOzV1¥otu& OY;dYE lLzV0~1Y;Y~mY;wh~uwhpswxzYnªluw odYknOzLwxY;nYkwxtuzrCosfhtunpqw fhV1dÎY,pOdh~1pYkdhXiul9ppqYoswxzY;Ywè~lCwh~1Y;b upwh~CYjfhdgYŸY;wx~CnOfhzY;tuocZozZwxlcp§VLbifxVu£¦XZnYkt1YewfxYjp~cEtupsfheXmV1Y;zlLZf Y;fxwxnd nV1tu´f{os~1nenOow YXZz~ufhuVuOteY;Y;fhX d Y fxnOVu~Ywxfx¯1YVunY;zwidhwxYiYYurCdgzt1pqXZfht1wguzfxofhYYpf n±4d~1fh¥V1d[cYt1YV1 wxV%YwxwxnY wdhwxw t1Yz1 ~uV!whOYjZYdgY;dg£¦~Onpf XZw-ufxfhpqoqVunOpsY'~Fpqf{Y benOutuwxnoY;®t1dxdhoV1pqnO~lLYYmwxY;p√dgfhY;wx~®ps fhdgpV1nYOwh¥ fhYnOw^tuuowxncl9nz£èY'dxY;wxdhpqepoqf b d¥ nO8¨Xin1teY;fhYjY; w lcb'fhV1pd^£¦XZnw^YfxzVu~cneb Î±Îlu4;5 te&f^7J±²fhVuzYZ~L'enOfhVuXZpsdpqfx~®pqOnzVO£Ef,fxpqVu~CYmfhY;wxwhY;dhtuoQoqf,Xbntul9osFY-x/~unuf;wx¥BY;1GÛ+n~1~1exeY;Y;pqfhpnfh~'VuYi£¦nOwhwŸjzdgt1~uo§nf^fhVupd^Y;wkp~F1zfhVuwhfŸinw £4z~ufxVuOYY [−1, 1] neoq;Ontuwxwxp§whfxY;Vu~1X!Yi¥Î\Enz£Yfjfh±xV1pY~CfhdhYwxXZzYioezwxpqwhfhpsVuzXZluoYYZfxppq~%psd fxVut1YdgtLY zeouoqbwxY;~udxndgpf n~%luooY;Yfx1n,d^bcfhpYnosmz~%dht1n ViY;,whYjdhd{XfxpqXzooCzpfh~Cpnfh~®Y;whnz£o fx+QVuXmYtuwxo§Y;fxdhpq1tuoqo§Yf tLdgt1GÛ~CoqofhbY;wh;zoo³oqYjzwxp§efxVuYjXZnOYwhfxwxpY ospsfxdpqnOtu~Q~1¥ luoY fhnZ©Y;Y'fhw ©0n£ fxVuYwxYosfhpn~LdlLYf{Y;Y~Fdgt1le¡JY euwhYjdhdhpn~1dz~L p √ p Z d h d Y Y @ ~ m d § p ^ £ § p Z f O d x/ 1 + x x/ 1 + y ~1psdZY;p~«YjdhdxfxzVuwxYFpoqbwxfx~uVuYkY dxzXZY√zotuY¥ ¥è¬[Cnfx~L~1dgYjurOt1wx«Y~Cfhpq~Cobfh±zY;whp~Z±èfhokV1p§fxpzdèV wxp§Y fxyuVuzXZV1XZYucfhpsop'Y~u±zFpq£ fhpqxoV1oY'psfhdEV1dxpzY~Z~XZfhYVuzY~1udhw nzX~uYzwmOpY ~«fhV1[0,zdf2]xfh± Vu√Y!lute1fZ+Vu~unOxnzoqYf Ye~uunzwhfxYjVudhYdhwpn1~!wgpfd,nzp~ £Qfx[0,[1,VuY2]◦(zo÷n5)][1,wxpqfhVu◦(X √5)]nOtuo=Y[0,e92]Y; ¥¨fjU¥è[CVufxpsdk~1p~OufxYwxwxzp~Co³fhpsY;d,wh~uzno²dhztuwxl1pqfhdhVuYXZf,nY£fxpfh^VuYm~uwx~u~unfY l9[−1, On d 1] , Y L t g d j Y h f oqps¬unOfx~1Y^dgYjfhVurCtuYYe~CnOfhXob±czppqf~XZn£ fxbVul9pdY Y uewxuYwh£¦YjYdhw dhzpl1noq~Y¨£¦n~1w'lLVcnOtutuX~1uzd~'pq~C~1fh0Y;wxY;Owhwxfxnpqw nOdE~1pswhdnc~unz£ÑYdYjefxnmY;'l9Yp~1dgdgY;fh1Y;OzÎw ¥ fxY;0dhn-fxV1f pqVc£tunOXtuw,~fhncp~Cnfho Ypsw d ~ufhnzpnf~1zdluOoYmdfhX-n!t1u wxVFnYd9nO~unOdxYmdhpqnlu£èoYfx¥VuYX pqfXb!dgfhpoolLYZt1dhY;£¦nw^fhVuYZnfhVuY;w^nO~uYioqpXZp§fxpq~u 0 º $ ¶F¶ º Y;wxUnwhV1wxt1nYF~1w edXip~u4nC?Kd{7Kf¥Y;wh|kwxnnl1XZw dhXZneotencnY;fx~uYdôb ~uYwxnY;wh~1fnOw,enOYpstud 9~CYt1fh~1Ydh=wxYY;£¦tu@noE~=©cfhpq~LV1pqfh@YiV%Xn° £êYjY;wh®~uwxpqnfh9t1wZnupwx~CYiYfunwx£èY;whfxdhpqVufhYV1~CYXif YnfhfhpXZnps~Luditudgpfh~1Y;wh=YFYmfxzVul1oYZtudgnOYXoq¥ tuzfhGKYFf~1Xzp§fx~1t1 beYZwxzYnzososdg£n'fxfhpqlLVuOYYY tLwxY;dgdhYtu£¦tuoqfxo²dkdgp§fxfxV0b'¤1nConOdhfhYp~unw9npqpfh~CV®fdhtuwhpqlufh~1V1nXiwxYXZfhpskoÎ~ctuVuX-Y;~l9Ymw dgd tu¦plu~1fhw oqt1 fxupqpqnO~u~ LY;~1whnY; o¥d;±CkYosVuYfh~pfxYVuY;Y^whwxY new LdnO~uY~!~Cf lLdèYn£QtLfhdgYjVu Y p~Fz|öo²l1fhdgVunOYoqtunfhfhYVuYY;wxwkwxnO w dgYjd¥ psdkfhfxO VuY;fhnZzwxpluoY lcb0YjrCt1zop§f{b η x 2. 2. 2. 2. x. kY poqo9~unfeY°L~uYfhV1Y¨l9YV1cpnwnz£Qoqo1fhVuY,pqXZuoYXZY~CfxY;Zn9Yw fxnw ddE£¦nwxwxmYwxwhnOwEz~1oqbedhpdEpd OYxw bmnXZXZn~Q¥ |¨dz~ZY uzXZuoY±CVuY;whYpsdfxVuY£¦nwxX-t1o Opqcp~ufhV1Y¨zl1dhnotefxYYwxwhnOw £¦nwEfxVuYÖuepqfhpn~Q¥ ½Q¾¿ÁÀQÊ3Å 4Ì¿ ÄI¿ÁË Ì^¿ÁÀQÚ ¿ ÞÅ{Ì ¿ÁÌ^Ý²Ë;ëkÉÒ 798Ûöï

(35) :j÷ û ù;ØzÃ ÌÊ É Ò 798Ûöï õ ý ýûxýçqË ÆÎÀIÒ;ÂÂÅÛÄJÆÑ¿ÁÖ ¿ÁÌÄJÅ{Æ¦Þ Ã Èsß x=x ˜ + ηx .. Ü Ü Ì T+U ãUV.

(36) # #"$ %I"$ ;#"$ J. pdfxVuYwhnOtu~1ep~uZYwxwxnwlLYf{Y;Y~fhVuYY u fwxY;dhtuoqfn£ x˜ + y˜ z~LpqfxdknXZutefxY;'zotuY. η0. "$ # x˜ y˜. ¥. z − z˜ = (x + y) − (˜ x y˜). = (x + y) − (˜ x + y˜ − η0 ) = (x − x ˜) + (y − y˜) + η0 = ηx + ηy + η0 .. x ¥ ~1 UYEVuyY pscd fxzY~1pq~C~1 fh^Y;wxwhfxY;VudhYELo eYjpsY d fx°Lpq~uOpp§YfxoY;pqbªnO~~ Ylc~1fhbFnoqpfhnC~CVudgfhYYiYwxuηwxznoz9zl9~LYnwh t1fhp~1Y;ηud^d;¥ nz¥ £èGÛGÛ~Cfh~CVufhfxY;YZYwhwxtuz~1oso ud YAAwxoqbczpY;~u~1~1' oAnOwhdhpqY;fhdZV1whXizYoYofhfh9psfxzOnO¥- dxVudg¯1pY;nlu,wôY'fh°neY;oq=tuwhYjps9zdinlu£¦po~OnY;fwd η nL;Y£whwxpqfhzñmV1¥0pqXi£4¼,YfhtufhVupsw^Y z±9fhfxncVup§f nOYo nOpsd,whuY;0YX fhYjnpdkf ~1ddgfxYzwxte~Cpqfx°1f,nY;pX0~Ofx£¦Ynfxwxpw¨;zzooJoqoqo¥¨b®¯u[CnOzfxw¨~LYwx¤1lLnCY;~<fx4 L%pqC ~u Jed±u LnO7KnO~1¥ pqe~Cpqf^fhpnwh~1pqd fhV1Xi~1Y®fhps1zwh±²npqOf^Y;edŸ;fhLV1Y;z~1f uAd^n~Fpd fxVuYjrCY-t1zo4oqtufhnY x ˜ y˜ x. x. y. y. 0. 0. 0. p ~CwhfhpqfhY;V1whXinzt1YoQ~1fhpsu'whdpqfhV1nOO~XidZYfhpsYôqwxtubªYjdp§ofxpqV'nzXZ£pqwxfhn[cY;t1YjQ~1¥ fhepnY;GK~f0npudZ;¥ 5!Y;~1whnzYjfd{YfxwxpqfhXYFV1Y!z~ufhnz;pnf0~1dhwxY'd;Y;¥ £¦now~CYt1wxX-wxnl9wZYw pqd0~CfxzY~1wx@ofxdZVuYF~1u wxY;psY!dhpqt1nO~@dhY; n£ pnO~CXZfhY;XiwhnOz~ o ¶ $Ñe ¶¶ j º wxY1YFwhYjndg~1Y;oq~Ob«f fxnpq~1nOdh~psenzY£ wZfxVuwxYpdkosYfhwxpwhnOY!wY;pwhd wxnw V1Y~ x z~1 lux˜tef^V1z~uYnfhfhVuV1Y;YwkdhLnCXidhdhYFpludhoqpqYO~QnO~u¥ Y Upd VuY!XZnOdgfnOXiXZnO~ x ˜ = x × (1 + ) x = x˜ × (1 + ) 465j&7J¥ nO9~unYp~CGÛwx~fEYlLunYwxw f{Y;edhY;YY;w,~CYf fx~iznFf{ludgoY;Y nôqYj~Cwx t1Yf1X-nwhl9Yj~1YdgYiY;w ~Onf £èoznOfxludhVuoY;YY;dgdhfYZfhoqnf{t1Y;xn'd ´fwx¥ hYV1vEuYwxwxwxY;nY-dhCYpspsdk~CefxYjt1z-dhfht1pnzY~1ood;bz±ÎwxnOYoY~udhfoqt$b't1=0dn~1pYYn~C~1x˜fxdhoqpb-uzY£Ñozw tuwYfh£¦V1wxtuY0n~1XoqYjdhfxdhdVuYiYkxtupsVu~LdŸewxYY whXZ¤1xñpscpsd¡ fxVuwxY;dhVunosÎ± z~L u u u u − ≤ − ≤ ≤ ≤ ηz ∈ A z ⊆ A x + A y + A 0. . . 1. 2 u − 2. 2+u u ≤ − 2(1 + u). 2. 1. ≤ 2. ≤. 2+u u 2. ≤. 2 u . 2. 9lwxnnV1t1t1Y~1~1wxeY p~uupsmdipsdY;pqXZwhfhwxVu9nYwjn¥whufxp§z¢²~CYfiwxYlL~1YjY zlLtLYdgf{Y'p§Y;fZY~psdm1tLdgYj~1«0fxVu£´fxY Ywi~uY Y;cOfk V«wxYnu9wxY;Ydhw Y~Cfxpqf nOz~ luofhYkn%¤1nCpq~Lfxnpq~uwx9in9w npfh~OY0fkfh~cVutuYFXmlL1Y;ew;p§¥fxpqUnO~1Vuzpsd o ½Q¾¿ÁÀ ÆÑÅ{ÀJÓÈ Ä ¿ÁÀ Ú ¿ ÞÅ{Ì ¿ÁÌ ÄI¾Å@Ú ÅgÌjÅgÆIÃ È'ÖgÃ ÀIÅ ÉÒ 7 ð;)ù ;j÷ õ ý ýûxý7Ã ÌÊçË Æ ËÃxÄJ¿ÁÌjÚ7ÐzË ¿ÁÌÄ Ì;ÓÂÉzÅgÆÑÀ ÉÒ 7 ð;ù);j÷ ü õ õ ý ýûxýÃ ÌÊ7 ð;ù);j÷ õ

(37) hï ü õ õ ý ýûxýÊÅ{ÐzÅgÌjÊ¿ÁÌÚË ÌkÍ³¾ÅÛÄJ¾Å{Æ ×ÄIÅ{ÆIÉzÅ{Ì ê À Ö{Ë ÌÊj¿ ÄJ¿ÁË ÌÀQË Ì¨ÅÛéjÐzË ÌÅ{ÌÄJÀ Ã ÆIÅ Þ½QÅ{¾ÆÑ¿ ¿Á4ÀQÅ{ÊÊC3Å ß 4Ì¿ ÄI¿ÁË Ì^¿ÁÀQÚ ¿ ÞÅ{Ì ÉÒ 798Ûöï ýõ ù

(38) ïß . . æ¦Ô4ÜQæ´Õ.

(39) .

(40)

(41) !#"$&%'#)( *"+%' ! "$, -../01 %. n pq£ x˜ psdfhVuYdhXzooqYjd{f9nOdhp§fxpqOY ~unwxXzop;L;Y;~Ct1X-l9Ywj±. u 2 u − 2 −. ≤ − ≤. u 2+u u − 2. ≤ 1. ≤. ≤ 2. ≤. u 2−u u 2. 6≤ ≤. u 2 u . 2. ~1. Yun~1zXZ|,dhY;durCotuY Y;~COnfhd~1ob0£¦noqnwxtL~udgponbwx~ZfxVut1YYdhwxpqwx~1Y ne w9xzn~1~u=Y;oq~Ox˜befkdh×pnd(1£ psxd˜+~uY;Y;whY;b0)uOdnpqfhOXZnY;dEXZl9Yn~Qwx Vu¥~uY;¯u nY©OwY;ÎfxzVu¥opsYZ¼,X-~1n~0t1Yo§fxzzpqouo1Oo~1pspqn~³wxfx±eXZpqnO~ Y oqp6LuYjwxinc~Cpt1eX-Y l9nO~uY±ew oqp§bdè£ zn~L~ups Yd z =x×y z˜ oqbedè~1nwxXZoq6p LYjÎ±cfhV1YwhY;ozfhpY^YwxwhnOw ,p,d + x. . x×y x ˜ y˜ x×y (1 + 0 ) = x ˜ × y˜ = (1 + x )(1 + y )(1 + 0 ).. z z˜. =. 1 ~1whnO L¼,Y;~1wgfx¥pqY-Yj³d zYCf¨nzz£èpp~C~QfxfhVu±uY;YwhYzwho pqfhfhRVufxXZ YYVF~1fhpspi~CoqnCfhY;dg~1Y wh%fxzVuosdYYZRV1zotuOzYY~Lndg£4Y;RYfx~%VuYfhfhV1n0wxYzwxosfY;fxdhpqpq9~%OY;Yfx VufxYpqY0wxOwhYnOnOw XizwxXZp¥InOluGK~%fxoqdkYj;d w zxdh~1Y;d ~1Ynz £eY;y¤1LnCY;Y;~1~1fhupo~udknO!dhnOpq~u~!9nfhpVu~OYf whpqfhV1XiYfhps^whnOtu~1ep~uifhnZ~uYjzwxY;dgf;±epqfkpd [−u/2, u/2] ~10°L~1zooqb x. y. y. 0. x. 0. Ot1z¨|w zoq~CoèfxfhYVuYkYfxV1nfhVufkY;~1w-n0OdgYjdhd^Y^V1whYZdV1l9Y~1Y;~eo£¦Y;nO%whOp~ªnzfhfhnYtu~'wnopqwl1pwx~1whubO¥uwxnub=wxpt1zdhfhpqY;~uoqFbZV1te~1fhnOeXZoY;zÎfh¥ psZuwxnCn£ VuYj ©Y;wxd;±ÎY º = %e º $ ¶ 4» ¶ $Ñe ¶®¶ º wxUYwhV1osYiYfxwxopqpqY~uOYX©OY;Y=wxbwhlcnOl9bwkYkO~FdgYjlLd Y-VunYXZ±QwxYpqu£ lLtenfxY;fhpVdz~=~i~1Fpp~O~CfxfhY;YYwgwxwxfxp§zz°Loo Y;A'Y~L£¦£¦nnOow,w nOdhfhpqVu~uYk pl1Y;±Q~'dgnOfhoqVutuY;fhwh~ YpszYluwxowhY nOxw¥^z~1ps[cdipq~Lzzos~ZdgYn!pfx~OzVufx~%YYwxf{p~Ozfxn0o YRwxpq~Cz£¦fxno YwEwxfhVLfhVuoYfd Y;~1onOdhY;d¨fhV1YiwxYηosfx=pqOY-x˜Y;whwxnwj±9I~1 R × I Y~LonOdhY;d¨fhVuYzlLx˜dgnOoqtefxYmY;Awhwxn÷wj¥I [cn'dgfxwgfxpq~1£¦wxnX A z~1 ±eYz~!lut1pqosf{nZdgYjrCtuY~1Y;dn£4p~CfhYwxzosd¥ R z ∈ Rz ⊆ (1 + Rx )(1 + Ry )(1 + R0 ) − 1.. . . . x. . . x. . A0 = A R0 = R. and and. An+1 = An ∩ (Rn × I) Rn+1 = Rn ∩ (An ÷ I). dxz£´fhwxY;p[cew tLfk V nO!tu~1oswh Yjl9dgtuY;oqf¥nXZ[en1nYtu±1Vcospq£%tuOlL~uYnnz¥fhf-V ¯ul9nYwhfht1t1~1~1dhY £¦fxtuYoobp§z±u£kwxpqY!f,onzf-z~FponlL£luY-pqofhuYY;±ewhwxn9zOfhnOY;pdxndg~1plufhdV1ob0zfkY;fhpwhfhYZV1VCY-~ufxYYjdgwkYjY;rCpdx~CtudxfhYzY~1wxwxbY;±³zdkosdhdkpq~LwhYY~!dgfxfxY;VuzfhY0dhpnpuoq~1bwxnclLwhnzbY £ A R nXZuteAfxY;Î¥ R ½Q¾¿ÁÀQÆÑÅgÀIÓÈ Ä³¿ÁÀQÚ ¿ ÞÅgÌ,ÉÒ 7 ,;;ùxï ýõ ù

(42) ï¿ÁÌkÄI¾ÅÚ Å{ÌÅ{ÆJÃ ÈuÖgÃ ÀJÅ ß 1. Ü Ü Ì T+U ãUV. 1.

(43) .

(44) j. # #"$ %I"$ ;#"$ . 5. . "$ #. * %(' . .*"). . qpn¼,f-£t1nOfxw~uVufhoqY;b ncdhYneofxYjVudhY;Y~uwhnOpwhYlLY;w YjXZdfxd;Y;¥dV1=GÛz~Lf-¬eYYneYjor%Y%XZdhfhYVuwh~CYjpf edgzYf-wxb£ÑnO££Ñ fxf VudfxY0dmzwxudgYwxVuncnOunztuwx£{nos¥ Cps[celLt1YjY ®V lcub%uoupqYjwhÎncwh± npn£p§tLfidxd ewxoqncpqpuluY;dfmw z~1ewxpqnzncYjf-Y;d d-+u~uwxfxnVunzcf-YpnOuowhpYmY;XY0fxVudlcYb®n1~ pqwhfxncdhwxYY;nzoqz£Ñ£5d o+ ~c9tunXmp~Cf,lLY;zwxwxdpqfhVuwhXZpqfhV1YfxXip! Yfh4 ps& 7KI¥ ´fxGKVuf,Y,z¬osdhnen0r-edgYfx9zY~L~1u1zdkw n~opql10wxoqpwhlub w z±Owxdgb9Y;zl9p§n°Lte;f,fxpqpq~CnOfh~iY;wh~1io³zl1wxp§dhfxpVuXZuYwxfxnp9Ywh~1fhp!Y;d pqfxnd£L¤L¤LnOnOfxfxpqpq~1~1 9Y unzp~CXZfkuY ocYfh±ÎY;p~1~=dhpqnOnOwx~1edY;w^fhYn'et1YOdgYZYonp~C9fhY;Y!wxdgznZofxzV1wxpqfhf,VuXZY;Y fxV'pm£¦Y;nO~uw,Yw fxVufxYY;uuuwxp§nCfxnpqnO£ ~Q±ÎnfhtuV1os!pdl9Y nXZ£¦nLwxXZnCdgpqfhoqopbn~=OYuwxwxp§n°L9Y;YÎwh¥f{bF¯unpwd ~1YY;uY;6 + pq£ a˜ ≤ ˜b ~1 c˜ ≤ d.˜ a ˜ c˜ ≤ ˜b d˜. no~d¼,pfx~!~ whpncfxtuVupwYouofxnpqVul1fhYwxVunOY;whwhwbOY;XZ±cV1dè~1~1oqÎp©±kt1Y dgnO[CYjtufh'wY;whlCfhl9bncYnO+~ no,L%tupswdEd0fxn~unC~1nOnY,foI¥ z wxY¨Lzowhdhfn-dgnzfx£mfx¬Y;neS r«4 17K±cwhnOY cw fhzY;~1X eY;~1fhnpq¤Lf'nOfx~pq~1zosLdgnªnOpq~Cl9fY®pq~CtLfhdgY;Yjwg ¡ 1whpqnfhVcp~unzfx'VuYw~1%uwxunwxnCYnw dè£dhdxt1wx pqVufhOpd~u!8 ¼pq~ vP³O pqO[²VC¥ fU nnFwuPv wxO Y;dh[0YwxpqYfhVfxVuvEY0whncp~1ne£ QY;LpqfhY;Y ~1,e1YO~L ©Ynz£YnfxV1t1w ffhdhnctunuoJ±³9nwhYfxdel1nF~uf nzV f tL|dg1Yzze~cfxpqb~ufxY;n Vutu~1w,pfhrCnctunOYo³dhfxLnYjnpqfh°LVu^Y;w,fhnZuwxnOn~uYY;wxudkwxnpqYoo wndht1~u ob!VFlLYZdfx0OXfxp;fhdfhY;zw,~1n!£zdgtubcfh~CnfxX zfhps,d^1dgncwhncnnz~£ OedŸOopYluowxnuwhXZpY;Y;dk~O£¦f ndw ¥ nXZ uteYZfxlLYwkY;~uYwh°upqfhfVuXZ£¦wxnYXfhps^fxVuwhYiY£Ñzf posnOztuluwôY,fhncnO~'no ps~cd b~unzzfoqfhY;wh~11zzfhwhY f unzwx£n~cY;bFw;¥ uwhnOYw^z~1%nO~1dgYjrCtuY~Cfhob!fhVLfp§f uOnCf Yjd¨d¨~1d^nzf z~®~uYnYjw Ffhon'Y-l9~1YmuwxnnOXZYjuÎte¥fh¯uYjd¨nOw,l9YY £¦enOwhXZY;V1uzoqYO~L±²'fhVuVuYYZ~%dgt1uX wxnCp~ufxVuYiuwhznO~LLFY;wguf{wxb nCa˜pse≤Yjd˜bfhVupscd^˜±²~cfxtuVuX-Yml9fhYncw nosd fxp~ nnfxVuw eYZYuw wxfxnCnFn£èu wxVunY; Ym©OfhYVuwjY¥-¬uwxnn~19dhYY;whrCf{tubY;± ~Op§fxfoqbOnO±²~ufhob®VuYZV1 OVud^Yjfh nF©Yw Y;ewhpqnc£¦bFY;d^dfx˜~uV1=nf^f ˜bVLc˜d YufxnwxnY cepeuYjoqps®pqfhlcob®b®fhVunYZXZfxunCtenOfxoEY ps˜d b fhVudcY˜˜ oqnCdgYjd{f ¦pqfhV!whYjdg9Y;ffhnifhVuYwxnt1~1ep~umXZneeYn£ è¤1nOzfhp~uZdLñOpq~Cf~ctuX-l9Ywfxn ˜b + c˜±uz~1fhV1Y~ fxfx9VuV1nYip~Cf fhfncañn≤9oYOdw ˜d^¥ fhp~®nn~LnOfhdVFwxOnp§o9fxYmVYw fxVufxnOYpqpnOp1w~1d¨dkV1z;wxzpqc~FnOpt1~ul9d0Ymwxfxnen!tunO~1pq~uXZuYpqu~ulcoLbYXZ¥ fxVuY~CY-fY ep~®pdgfhfxpVu~uY ¬VuY;ne r0©OY¤Lw,nOfx~1pq=~uuLwhnnOOpq~CYmföoqpqo4l1fhwxV1YmwhbO¤L¥ nO,dgfxppq~u~1 p~CfhY;Uwh~1VupsnzdoL£ nOdh~noteefhbCpqp~Cnfhe~Y;pswhk1~cnwhtuYwxfh©eXmY;dk«lL°LY;wx~udd Y-z£¦~1nO0w^fhfhVuVuYY;b0¥«1z¨wxeY¨p§fxeupqpnOwx@~=nc!pu~1¤1Y;FnCZfxlcfxVupqbZYm~u=fhXmVuLtuY^nOoqofhpqpqp~Cluufw oqzps~cwxztubfhX-¥ pn',l9~ YbOw diud^pzdg¨wxtLY~C t1V®eX-bCnl99eYYw psw dfx~cpqwhtunOY,~1Xm1d^lLzzY;pwxwxwxYdd (m, e) ~c~1tuXmlLnOY;tuwxw doqpuZlun'w z~1wxnzbFfwhY;Y;oqp~uY;Yd,w nz~=oobFfhV1uY;whmdhneYe¥×tL8¨2YnebOY;OeY;w,psmX~ctufxXmVuYlLXY;wxzd;fh¥ps¬zon~LedgpcYjprOdht1pnY~=~Cfhob!~1%fhVudhYjrCdgt1YnOwhLYmY;whwxncznzfhf nOwxnzd^£ne~%bOOwxeY;zps o ~c¯1tunwhXmfhtulL~LY;wxdfhY;;oqzb0~ufh~1VunzYjfdgY lLnY09uYpqw wxY;fxpqfhnOo~1bdt1dhY;~'=l9nY~ªwxeYbOY;OwgefxpsY;-~ctuXmVuYlL~!Y;wxwxdntu~1~1u=pq~ufhmVuYfhnu~1wxncY;nzz£Ñwxd Y;dgf;¥~u¯1~unnwf Y wxuYobXinO1~®oqYO±fxVuYX!¥ pq¢ ˜b × c˜ pdoqnCdgY;w£¦wxnX a˜ fxV1z~ ˜b × c˜ z~1 ˜b × c˜ c˜ = ◦(˜ a ÷ ˜b) V1YwxY c˜ ~1 c˜ whY,fhV1Y ¤1nOzfhp~uZLnOpq~Cf~ctuX-l9Yw dwxY;dhLYj fhpY;oqb y{tLd{fkl9YonN~1my{t1d{f¨lLnOY c˜¥ î½Qï ¾ï ¿Áð1À ñ¦Ðjò ÆIòxË ýÐzõÅ{÷xÆÑõ Ä´

(45) Ò-ý ¿ÁgÀ4î1ÞôöÅ{ÆÑ8 ¿

(46) x4öÅ{õ ÊmïuÉô¦ûxÒ ý ÄI¾ò ÅÉz; Ëö;Ëû ÈÁÅhò Ã ÌýjûçqÓûxÌü9þÖÛÄI8{¿ÁïË õÌiò;ßõ

(47) )ù ;

(48) ïõ õ õxö ù û÷xõ÷hï^çqË Æ4ÆÑË ÓÌÊj¿ÁÌÚ,ÄIË^ÌÅgÃ ÆÑÅ{ÀIÄèÃ ÌÊ ÄJ¿ÁÅÛà´ÉÆÑÅgÃ Ï;¿ÁÌjÚÄJËÅÛÞÅ{ÌCß

(49) . . e. 2. −. −. . . +. +. . . . . æ¦Ô4ÜQæ´Õ.

(50)

(51)

(52) !#"$&%'#)( *"+%' ! "$, -../01 %. 5A5. pq fkYwhpsfxd& zwxpq~uoswxdgnonibwi£¦wxlLtuY;nOoeoqtubt1~11uY;zddZw uzzXZwxwxY;YYfhpdhYopwxdhnp6n®~QL;z±ewxl1Yluoq1tuYOwhf¥ Yj]FfhdgVuY;~OnOYfxwhdhY;Y;p§ªnfxt1nOYwj~@fx±CpqnOe~bCYpsedeYjpsdh0Yps~1e~cdhY;tupql1XmoqfhY lLniY;p~'wx£¦tudmwxwh£¦YfhwxV1CnzYX wkw ZofxpqfhXZVun0YpqfkonpuluXZwxwxY;XZwhpsnbOdh~'pq¥«nO~u¼,w ntu£³wfxfhpV1eYY;Y;dYpdhwxzpqwh~LnOnO~ w fxl9nVu£ nYt1fxVu~1~cYutud;XmY¥wxlLwx[enY;pqwwx~1dlLYtLnOdgtunYj~1tu!uwd¨pqfx~'nCnOfhwxV1o²nY-kpdduXmwxnct1nnz~C £Vfxpq~c£ÑdOt1d{XmfxoqYot1bw ¥èfhVFVL[czn0d~!u9znCnO~cYjdxb0ddgpfhzluV1teoY Yfx¥nfhXp XiY-p§fxfxpVu~u,nYutuYjwxef,ncY;znz~c£4bfh nV1dhY;pOXi Y©wx1Y;p§£¦oqw;pqb±C°LpqY;fzOfxfh whpV'npY;~Qdgdfx±1fxzfhnfhVuYY-dgXZpXZoqY;Y;~O~uufkzoqpqfx£¦nVb £ fxVuY¯1dxnw wxpqeY ufkzOXZdufhVuoYY±²uwxYmncnzX£4b!ncY;wxdYunos~³¥ Y osY;zwhwxwxnY;w,wwxl1te~ufkYjd,YwhOfhd¨pq£¦bconpq~1~1'ipqOfkdkpsdèfxVu£ÑYObd{fxYwxYwkXOdmpqdm~%×dgX·22zoolCYeb w,pfhdmdV1Z~·dhXZ2fhV1YioqoeYnO×w~uY;2nd¨~1fhdgV1fxYm£¦~Onfxfjncw ¥n¼,o4fht1wxpwpqYjYfhd,nc~ fhnn'koÎ¥Y;u~uwhUonVuOwhYZYOB¥ Y;lLdGKnOfztuo~1po²d ®fhVup~ Yd Y =0pY~Cfb'fhn!wxY;etLYifhVuYdxwxpqufdh6p LYZz~1®fhVuYYwhfhpq°Lzfhpn~=fhpXiYdhpq~LYifhVuYZXzp~%1zwhf^n£~ Y;1whwhwxncnnzw¨£4pdÖdY~1£¦nYtuw zwofxoqbpqXZp§f Y;d¨dX£ÑzdgfhOY~uwpqfhnOt1~eYOfxVu±LY~1nzzf,1upqfxoqd,psY zufhpOn ~'f¨nz£Ezo[ctuY;YO¥¨fhp¯unnO~!wüY ¥ uXi1oqYO±9Ywhfhpq£¦bCp~ufxVuYZdgpXZuoqpq°1Yj. $

(53) 44-j (

(54) m

(55)

(56) ' ( L"

(57) (Î '()#= fxUdhwxbeV1#d{Y=0fxYwxYm¨Xpsd;dnO¥^~C¼,fhwxo~unnzYmofoqY;nwxoq£èd Onfxn-wxnOp§fxwhuVu©pXonzufxnd4 ~uOfxFYiVu74nYX~ ndhdgwxYV1©eop§d£Ý;fxpd;pq~®~u¥ !zU~ wxVuY;p& dhdLt1pnO~c~1opdhunpqoY;luzpYjo~p§df{b'fhuVuwx£¦wxnnYcwYp¡Keeppq~upw XZw Y1~1£´pqdhf onzpndhf ~1zdè£¦Yo³f{pqb~ufhV'Y;epqOpsdgnVCfx~ul9z¤1n~LpwxVuY;fncd,une£¦YFwxfhnYjzX` ~1fxFpqnOpq~ w fx& wxt1~1odhpuozY;fhzpn~F~%nCpd-nOwx~uuY;pq~1Y;zdxfhdhYjdwh¥ bF£¦wxnX Y;ncuYfhpsncnOwxep~1zfhY;d-dOpqOY~%lCb%9nOdhp§fxpqnO~upq~1dgbedgfhYXd 4Á$ 57èfhn ~1n%wx|¨©^pqV1wxund4osz~e~u¤1Y;Yjpswgd,fxfp§°1pswhYjdYe1fxYV1wh°Ln~ufhf4Y;Y;p§%f fhpYjd4Fd^YjrOlcfxVut1b'YZpqznoYbcY~Coqwxpf os~1zfheun Y;uew p~uY¦ffx{Y;bc nzuf£Ep;f{znOo~eoqn!b¤1psuZwhf nd³XZfhwxYjpYoq Yjosfhd,Yjfx@ upqOpYEL;nXifh~unŸYjfhfhdVuY;¥iw^YUp~O~1VufxYwhtLz5;el9OYnwji¥ YiGÛ£¦Y;~-XiYfhf Y;Vu~CVupsfhd Yppn~uVCdhYjfY ± y{fxntLVu£³d{YfxfVup~OY fx9pqwh~CtLnfhpewx~OYt1fjwe¥Y;V1| w;O¥dUnOi~eVuu¤1Y whpsunffht1Yjwhpdè9fhfhnOYjVudh Y,Y;~Lnn£4e~1YY^°1nn~e~u£ ¤1Y;w ps fkedèpet1YfhdkVufhYjY,m pqfhXZ~1pnpq~'otuY;w d¨psdgdpznfh~1~n'neVu£ÎYY;fxfhpqY;VuOY,VOffndht1n£ ~1V'dgV1pqpq~C0fx-whpt1£¦~YdhYfxpnf;Vu¥E~1Y¨dUuzVuwxVunzYfxYjnY;fh~LY;nzdg£QVufxL;ppq'nXZ~upYYd ~1| fhnoqnuf,wxnn9£nOzdhuY,1Yjwhdhn ;ezpXZ9Yzfhzp~1n~1d¨whYjzwxnYO~uYwxY;bmY;fxdxwxdhzy{whY;bfhfhnn'wxpdgY;nOd;oq¥ OYfhV1pdûwxnluoYX +9nOdhp§fxpqnO~®z~L®dhLY;Y;Fn£EfhVuY 1ncon~uw Y;edZpq~LzwxfhYYjd~1nzwxfZY;Y fxuY;dXZfhobªnee©CY~1opqn~1i~QY;±whwxfhnV1w Yd;±t1fxdhwxY'~1nzdg£ôsfx~ pqnO~& tLpqfxdhoYpeoq£4Yjpz~1~@tu~uwxYdpXZVcnel9enY;wxVuoqpnc~unc z~1pq~1dgfhwxYjntu«~1enz¡J£¨n¢!OYY;newhewxnYfxw pd; ¥ |ÜV1oqocYfxVubcY;dhoqpY~1YewxY;whwnOpwxd d³Yj~uYdhYjpqobfxpqn,~u¤Ll9YfxfxY;i©dgYn,~mfhpqV1~Cfxzn fO£¦YnYtuw~Czf4~Ldhn,£¦Y;fhV1zY;f4w fxfhVuw Yy{dhY;z£¦fhYnOf{whbpY;nd £1XfhV1Ybdhbewxd{nOfxdxYd³Xfxd4VuYpd pqO~1t1p§fxzpw zo1~CdhzfxY£¦YY;f{Qb ¥ bcoqp~1eY;wxd;¥E\EYf;±9p§f¨psdkopq£¦Y-wxp§fxp;zoÎfxn0tLzw z~CfhY;Y¨fxV1fkfxVuYmbcoqp~1eY;wkV1dklLY;Y~dh$t =0pY~Cfhobp~e¤LzfhYj fxnZwh|,Y;XidnXZOYY^~Cfh~cpnb0~uYjpq~LÎ±cnfhwxV1wxYY;wx Yfzl9oYwhV1Yjcepbnwjpsd¥ iutuluopdhVuYj'oqOnwxp§fxVuX fhVLfknwx©cdp~Fz~ & t1opseY;~fxVuwxYY¡ ofxsuV1pqfxXZzpq~1nOY~-©c~Lddg1pfxnnZwg~1fEnoÎtu~1~uwYfxpnCt1nOVcdhoIYl9¥ p§nfEwxVuOd4ncneÎ~m¥ Y uzYXZupooqYo³nu£9Y;dxdx£¦wxYpql9f{bY VuwhYpqfhwxpsYmou~1zYu 1oqpszozfhnpwxnpq~fhVufxX)V1wxfEY;;dhzL~-nO~1l9dhYpqlu£¦noY wxXnz£ zfhooqVubY 1fxwhwxnO~1Y;d{ ¡ n£ whY,uUfhoszV1Vu~1YY,Y;whBdpqY;~1o5uztefhzpfx~1d!Y nze£Înc±ufxnVuw ~1Y,e|¨p~1fhoqOVufxnY;Y;wxpqdw¨p§fxzdhVu~19X YY;fh5¨1VudzYwxfhYdhn9fxYVuzY;Y¨w 0onnz~u~u£4nOOlLwgp§fxfxnVt1fhV!evYjud osλz~uYjd±epqfh~!n~1zZ~zw fh&V1t1YŸ;Ooqd{psY;feneYjvezY~!fxp~uYosp¥EfxVcp§Ul9fxt1VuneYwxVuYjnOdncteneφfhÎ1¥ tefxd e. −k. e+k. −k. {1,2}. N {1,2}. {1,2}. E{1,2}. tr. Ü Ü Ì T+U ãUV.