Généralisations et méthodes correctes pour l'induction mathématique

Texte intégral

(1)Généralisations et méthodes correctes pour l’induction mathématique Pascal Urso. To cite this version: Pascal Urso. Généralisations et méthodes correctes pour l’induction mathématique. Informatique [cs]. Université Nice Sophia Antipolis, 2002. Français. �tel-00505928�. HAL Id: tel-00505928 https://tel.archives-ouvertes.fr/tel-00505928 Submitted on 26 Jul 2010. 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)

(3)

(4) . !"#. $ # %! ! .

(5)

(6) . !! & . .

(7)

(8)

(9) ## #%!"# '( )$ '**' + ,#- $ & $! ! #. !# # .#!$ #$ /01 2!$ )!3 #$!+!3 4!#$ 53 ) )!3 #3 % !

(10) .

(11) .

(12) . ! " . # " " $ . % . "

(13) " &. " " ' ' ( ) ' % ' " ' %$ * + , - ' . / " " . 0 1 2 , - "

(14) %$ )34-# 5 #- &. 4 ! , - " . %$ ! 6 ' 7 8# 5 #- " . " % ' 4 1 % 6 9 % ! %0 . : % " ; ! ) % .

(15) '.

(16) '.

(17)

(18)

(19)

(20). . . . . . 7 ! = ( 5 - = )' 5 @ 5 6 5= B C 55 E ' .

(21)

(22) . = = -! $ ! ' = = G == $ ! == (1 === 4 ==5 " .

(23)

(24)

(25) . . . . . . . . . . . . . . . . . . . . . . 5 & " 5 $ ! . < > ? < A D =5. . 5F 5F 5A FF FF FA F>. . = 5.

(26) '. 5= 55 5F 5. 5 = H 1 $ $ ! 5= 4 ) " 55 ) 55= - + 5F 6 5F= 4 5 6 5= , " 55 4 ' . . . . . . . . . . . . . . . . . . . . F < > D <? <? < <= <5 <5 << <A. . !. . .

(27) . F F 1 " F = , " 1 F 5 (1 F F 9 . & . " F= 4 . & F= ) F== ) F=5 ! . !

(28)

(29)

(30) . H = ! = 8 = 6 == $ . . . . . . . . # $

(31) % & ' (

(32) .

(33) . . . . . . . . A A= AF A> AD >5 >F > >A. ". D D D5 D D< ??. ). < (1 ?=.

(34) ' < ) & < = , " <= H <= ' <== ) <5 8 <5 6 <5= $ . . . . . . . . . . . . . . . "# #. *

(35) &

(36)

(37)

(38) . A A (1 A = -! A= -! A= " + A== 6 A5 4' A5 1 A5= 4' . +. '. > >= >5 >F. $ ,

(39) . E H ( ' 7 '. -

(40) ,. . . . . . . . . . . . . . . . . . . . . . . ?= ?5 ? ? ?A ? A. $$! . . . == == =5 = = => 5? 5? 5. ". F? F FF F<. ".

(41) .

(42) ) . 7 . 1 I ' J

(43) 7 . ' '6 K 1 ! 7 . '6 6 1 &. . 7 1 " ' 3 $ ' . B C . " '

(44) . $ ! ' . 7 = ! 1 .

(45) . '6 &

(46) & " . & ( 5 / 6 #. 1 $ 6 "

(47) ' 6. ' 6 ' 1 '. " . ' .

(48) =. 7 F 1 . ) ' ! ( . % # & '.

(49) 1 7 < ' ' ) & 1 F " 5 ! ' 1 & ! . . "# # ( A . $ & ! ) ' " . 7 > ' L#) L I

(50) J ! ) " G ( ! !' $ . " .

(51) 5.

(52)

(53) .

(54)

(55) . ( ' #. . . $ ! I" M(D?NJ ) . 1 ' '6 8 " . ' # . B C ) . " & ' ! " 6 !' . 6 $ ! ' 1 6 9 '6 ' .

(56) (

(57) & ! " ( 6 % . ' 1 ) . .

(58) < "

(59) . ! # B ! C ' K . 4 6 ! I &

(60) & " B '& CJ ' . . 1 B " C B " C . ! #. 6 . ! ! '. " # . 9 . $ ! & . . $%$%$ &'

(61) 7 . $ $ ) .

(62) $ " ' 7. $ " . !

(63) $ ' $ B C ./. 00 7

(64) O ' 1 ./. 00 7

(65)

(66) O &

(67) $ $ 7

(68)

(69) ' " . . ' P

(70) P ' ./. 00 7!

(71) # ' 1 " ./. 00 8

(72)

(73) .

(74) ¾ .

(75) ½ .

(76) A 6 .

(77)

(78) " $ B C " $ B C $ 6 I J 6 . . 4 ' 1 " . & . $ B C . 9 : 7 . B C B ' C . ./. 00 4 . . 7

(79) . ./. 0#0 4 . . . . . P $ P &

(80) P &

(81) 7 " O ' : 7 . # ' . 16 I& J . ./. 0 0 7

(82) ./. 0+0 7

(83)

(84)

(85) . .

(86) ) ' . 9 D ) $ "

(87) " . Q .

(88) >. 000 4 . . . . ' . . . .

(89). . 1 8 . '

(90) $ I ' J . ./. 0"0 8 I ' J "& I ' J

(91) B C B C 8 . % O ' ./. 0)0 4 I J . . 000 4 & '

(92). . . $%$%(. . .

(93) . . . . . . . . . . . .

(94)

(95) . 8 !

(96) I . 'J ' ) . 7 ' '

(97)

(98) 00 7 6 & O . .

(99) D 7 ! " ' . . '

(100) '

(101) E " " ' " . R 7 ' . 7

(102) .

(103) 9 " . O 6 " % 7 !

(104) .

(105) . ! K ! B E C ! B 6 C ! B C 4 . . 9 ! " 6 M4>>N 7 B !

(106) C 6 . . " I J ' "

(107)

(108) P . P ! E . ) . ' . ' ' " ! ) !

(109) ' ! E K ./. 00 4 ! #

(110) ' ! ) . . . . 000 . . . 1. . K. . I J . $ 6 ! . ' 4 6 !

(111) 6 . . . . . . . . . . . . . . .

(112) ?

(113)

(114) ? 4 .

(115) ? ' 4 ! . . $ ) &

(116) & ! B ' . C 1 ) ! "

(117) ! ". ' K.

(118)

(119) 00 4 ! . . " . . . .

(120) ' ! E ! I" M4>>N AJ 4 ' ' . & B 6 C IMAD S,AD 2 >> -D?NJ B C IMS>> SDA S -D S-ED< )?? (DA >D , >?NJ T & ' ' ' I' 5J. $%$% ) 7 . ' " $ ! B C 1 . ./. 00 8

(121)

(122)

(123)

(124) . . #. 6 B

(125) $

(126)

(127) C ) K P ' I J.

(128) P U6 ' I ' J P : I 6 J P I J P I J ) B 1 C 1 ' K ./. 00 8

(129)

(130) . P P & E #

(131) !

(132) . $ " . 000 ' 6 & K. . . . . . . . . . . . 1,

(133)

(134)

(135) V . . B C 6 $ ! ./. 00 8

(136)

(137)

(138) .

(139)

(140)

(141)

(142) 8 !

(143) ' & / ./. 00 8 . 6 ! .

(144) .

(145) = 7 " U6 ' ' # ' . 6 3 B " C ! %

(146) . . 1 7 1 .

(147) B

(148)

(149)

(150) C ./. 0#0 7

(151)

(152) . . . . . . . . . . .

(153) .

(154) : . ! " .

(155) 7. $ ! . ! . $ !. B '. C 8 $ ! ' . . ! " ./. 0 0 8 $ !

(156)

(157)

(158) . . . . 7 &. . $ ! 7 B & C 6 " B U C "

(159)

(160) 00 8 $ ! ' . .

(161) P

(162) P . % P &

(163) & . ! )&-. . .

(164) 5 7 . $ ! 9 . . $ ! '

(165) ' ' $ 6 . " 6 W .

(166)

(167) 00 $ ! ' . . . . . . ) &

(168) & . .

(169) 7 . " 6 $ & ! ' ' . 1 & !. 6 %

(170) $ ! ' I" 6 M(D? SD NJ # . 6 . .

(171) . 2 #. ' " $ ! . 6 K. ./. 0+0 7 . $ " $ ! 6 K P . $ P . $

(172)

(173)

(174) .

(175) F 7 $ ! B C 6 !

(176)

(177) 00 4 $ ! $ .

(178) # ' . T " .

(179) $ ! B Q C &

(180)

(181) $

(182) #

(183) ./. 0"0 8 $ ! & . .

(184) ) 1

(185) . $ !. . 1 !. IM+ A>NJ . . $ ! '. Q & 1 ' B

(186) C I' . 5=J O &' ' . B ' C 1 . 000 7 $ ! 1. B 4 C ' Q K. . . . . . . . . . . . I =J.

(187) . ( 6 ' ' . ' K P P P P P P P. 8 I J 8 ' 8 9

(188) 8 I J

(189) 7 " $ ! $ X $ ! 8 " % I J 7 I 1 J " $ ! . K 1 " . . . . . P. 000 # ' ' K P 7 . . ! . . P 4 $ ! ! ! & .

(190) ! K P ! ! . P. . ! . P 7 ! . P 7 ! $ .

(191) <. ( / 6 '6 . $ ! ' # !& ' '6 " ' # . " 6 ' # ' . ' &. ! '

(192) ' T " .

(193) 6 K P ) . &

(194) & " ' ' IM+Y5 NJ ) ! P 8 " ' . .

(195) ' % IM <NJ ) . Z ) 6 " 1 .

(196) 4 ' ) & . I J . 1 6 K B C B C I " B CJ %. . 9 6 . " 6 6

(197)

(198)

(199)

(200)

(201)

(202)

(203)

(204) !

(205) "

(206)

(207)

(208)

(209)

(210)

(211) # .

(212) A , 6 %& 6 9 ' ' & . $ K ) I J ' I J I B

(213) $ CJ = 8 B ! $ C ' ' . ! 5 ' . &% I J B !# ! $ C I J F - . $%%$

(214) # 7 6 "

(215) 6 ) 6 . " 6 & 4 K " "

(216) " . . " . . " . I 5 J. 7 6 ' ' . ' I &

(217) & 1 J '& ' ' " ' % O ' ' 7 1 1 4 6 ' O ' ' ? = % ' ' O ' ' $ %

(218) !

(219)

(220)

(221)

(222) .

(223) > 4 O ' ' I . ' J ) D<D MS<DN B & C DAD ' . ' ' 1 " I' 5J ' &.. IMS,ADNJ ) $ $ ! MS,>>N D>A . . B ' C I

(224) M2 >> -D?NJ ) . . 6 I' . J. ./. 0)0 M2>>N 4 1& .

(225) ' $ " # # $ $ P # $ P $ 6 $ P %$ P # 6 . . . . ( 6 M2 >>N '.

(226) ' B $ ! 1 C ) $ ! M 2DN . ) '6 6 ' 6 . MADN $ ! '

(227) MS'EED?N.

(228) D. $%%(

(229) *

(230) + 7 . B C 6 6 . . ) ! I' J 7 . B

(231)

(232) C ' ' . .

(233) . %

(234) ' . 6 1. " . % " .

(235) 1 . B 6 C . . Q % ' 6 ) ' D>? & IM, >? 7> EE>=NJ '6 7 : ' . MSD N & M)??N @ 6 ! E % ' . 6 I J % & . & ' %. 000 4 6 1. & I J ! % 76 . . . . . . I 5=J . 4' % & I 6 J .

(236) %

(237) . $ ' . .

(238) =? 4 . I . J & . 6 B

(239) C IM SA5 ,>ANJ 7 M, >? EE>= >D SD N . ! 6 6 $ . 7 "& P $ ! ' P P &S 6 P ' 7 ' " I' M+D=NJ . . $ ! ' . $ ! '

(240) 6 4 ' . '! ' Q . P Q

(241) . 3 ) ' ' ' & ' . ) . '& ' . ) I . I 6 JJ ' ( . ' % ' . 1 . . % I$ ! & J 7 ' ' % 1. ! " .

(242) =. 000 1 ' ". I 55J . . . . . . . . . . . . . . . ' .

(243) " $ ! ) % 7 . ' . 3 . ' % K ) % . ' . 1 $ ! O . B C I &

(244) & . J ( 6 1 I 6 J 1 I 6 ! 6 J $ ! 1 ) ! ' # 6 6 $ & K ' I' 1 =?J . I' J ) . 1 ! 4 ' B & C M-D?N B ' C M2>>N ) 6 ' . ' " ! ' K

(245) 00 M2>>N '

(246) " '( ' # $ #.

(247) ) '

(248) ( !

(249) (

(250) !

(251) ) ' . $. " ' . " ' . . .

(252). " ' . . .

(253) == ) $ ! ' M 2DN 7 B C M -D? S -DN 9! 6 . 6 ! . ./. 00 M D=N 4 $ ! (. 1 " $ . . ' K " 6 ( = & ( '

(254) " .

(255) " 7 ! . ' ' . ' " % 7 6 ! . " 0 .

(256) '! . & )

(257) $ ! ' Q M -DN $ ! ' MS -D=N 7 9 . ' 6 ' & 1 $ ! &

(258) '

(259) #

(260)

(261)

(262)

(263) .

(264) =5. $%% ,

(265)

(266)

(267) & 4 6 " " & . &. . & &. 4 6 , . . % ! " 8 & & &

(268) &. 8 . ' ! " & I" M[DFNJ 4 6 6 &. . . ' ! 9 ' ' ' , . ' ! " 4 6 ! " K ,. . ( M[DFN 6 ' . . ' ! " $ MADN 4 ' & ) ' & 9 % ' . ! ' ,.. . I B & CJ 1 % ( ) * ! + ,!

(269) .

(270) =F 4 W 7. 6 . & 6 K

(271)

(272) $

(273) *

(274) # = . . ' ' 5 B C I &

(275) & & " . & 1 ' J. 4 5 6 7 B C I

(276) !

(277) J '

(278) DD? 6 1 ' ! IMS'E D5NJ $ ! ' IMS'EED?NJ. 9 $ ! B C 9 P $ % . 6& P

(279) ! I B ! ' C +#

(280) J . 7

(281) ! '. ! I$ ! J. ' 9.

(282) B . C I 6

(283) J " . $ ! S 9 ' . . '

(284) ) ! '.

(285) 1 " B C . ' - .

(286)

(287)

(288)

(289) # . . * . . . . . . .

(290) = ' . & ! . 000 ) 6 1 6 ' K . . . . . . . . . . . . I 5FJ. . 4 . $ ! & 7 1 . & ' . ' 7 !. ' K . . . . . . . . . . . . . . . . . . I 5J. . 7 ! ! ' 1 .

(291)

(292) $

(293)

(294)

(295) ! !

(296) 7 ! $ ! ) ' ' ' / 0

(297)

(298)

(299) *

(300)

(301) .

(302) =<.

(303). &

(304) 5

(305) 6 ) M[DF [D<N & ' ) " 6 K 8 ' . ' ' & 9 = ) 9 ' 1 7 ' IB ,-

(306) . ! C MS[D=NJ " . $ 9 . . '

(307) . 16

(308) 7 9

(309) . ) . 1 ' 1 $ . I J H 7 ' . ' . 7 6 P 1 9 P ' . K. . 1 .

(310) . . . . . . . .

(311)

(312)

(313). . .

(314) =A 4 6 . 6 ) # ' 6 * 6 9 6 + . ) +. . . ) # +. = 7 % " IO 6 , 9 J. . ) # +. . . , ) +. ( 16 ' ' 6& &. ' ( M[D<N . ! B ' C ) ! B C 1 . . B 6 C MADN B C 4 ! ' 6 ' . . I' J K . . . . ) + . . ) # +. . . . . . . ) # +. . . . . ) + , . . ) ' $ ! ' ) " . \

(315) ' . 6 K &! ) ! 6 & 6 6 " ) & &. 1 9 I J ' .

(316) 8 .

(317) => . '

(318) 6 I 6 J &. % ( 6 ". % I' 6 M[D<NJ.

(319). &

(320) 5 6 ) IMSD<NJ . ) I/J . & 7 B ' C B $ ! ' C ' ' & . . .

(321) !' ' % . 6 MS'E D5 SD<N 1 & S " . . . ' 1 ) ' 6 & " 1 ' " " B & C . . I$ . & ' 6 & " 6 MSD<NJ MSD<N B ' C .

(322) =D % 6 MSD<N & " . 6 . ' . ( B ! ' C . .

(323) 5

(324) 6 ) M D<N % I " ' J 7 . ' . ' " ' I B

(325) # CJ "

(326) ! I ' J .

(327) ' ' " K B C $ !

(328) - B 9 C ' & = B C

(329) - 1 . " . - 5 ' & $ ! ' " ' F 6 9 . 1

(330) 1 . .

(331) 5? ( ' & %

(332) S % & . 6 %

(333) . 000 M D<N 6 ' K. . . . . . . . %. % .. % . . I 5<J. . . . . . . $ ! % . % . 7 9 . -. . . % . . % . . . . ( $ ' & 7 B C I

(334) !J . . % . . . 8 -. . . % . . . . % . . . . . . . 7 % I

(335) K J 2 3

(336)

(337) 45,1+6

(338)

(339) 7

(340) 8

(341)

(342)

(343)

(344) # 3

(345) ! *

(346)

(347) .

(348) 5 ( M D<N 6 MSD<N I " $

(349) . J 6 . 1 B ' C 9 I !J 1 . ' . , . ' Q. 6 6 )& ' . ' $

(350) . " & &' . . . & . B ] C Q Q

(351) ' 1 1 ' I &

(352) & ' ' . J ) ! % $ I" 6 5<J O

(353) ". I ' J ( $ Q

(354)

(355) . 1

(356). . . ,

(357) ,!

(358)

(359)

(360)

(361) ! 9

(362) 4:1+6 9

(363)

(364) !

(365)

(366) ; .

(367) 5= . ' ' 4 6 % . 6 ! 8 ' I6 'J " ! ' ' 1 ! ' . . $

(368) '

(369) . .

(370) #

(371) . .

(372) 55.

(373) ( .

(374) & . ' # " 1 ' & 1 1 . $ ! B C 7 ' 1 \

(375) $ ! % . ' ) & 1

(376) " 1 ' V ' % . ' B . C 7. $ ! " & . $ ! & '. ! 1 ) . $ !. ! $ B & C.

(377) 5F. S '6 . '

(378) I 6 . P ' 5J 1 ! " ). ! ". 6 7 ' 1

(379)

(380) ' . % )

(381) 1 " . % 7 I J ' I J

(382)

(383) 9 I' 5J. (%$%$ )'&

(384) - '

(385) # 1 $ ! ' % ! " B C +\

(386) ! ' 1 . . '

(387) ' % .

(388) V . 6 . ' . $ ! ' I' 1 A 5J 4 6 & ! " ' ( " & ! $ ! ' B C ) ! . M -DN 7 ! ) / B C &.

(389)

(390)

(391)

(392)

(393)

(394)

(395)

(396) .

(397) 5 = 7 ! ( + " B . C 5 7 ! ! / 0 B C . ' . ) $ ! ' " I J '& I J $ ! . ) ' . . $ ' . ./. 00 4 $ ! . ' . $ ' . 1. $ ! . B C $ ! . ./. 00 ! 1& . !

(398) . ./. 00 4 $ ! ' & 0

(399) ! " . !7 K. 0. & 0 .

(400)

(401) . . 7 1 . . ./. 00 4 $ ! ' 0

(402) ! ". 1$ K. 0. & 0. 7 . . ' ' 4 $ ! ' . 6 W . " . $ 6 9 . . ./. 00 4 $ ! ' 0 #

(403) #

(404) . Ê <. Ê # * Ê Ê .

(405) 5< 0 ! ! ". 3 K '. . 0. & £. . .

(406) ) $ ! ' ! " . . " ) ! ' . . % K. 1$ ' 3 ' !7. 000 . . . . 4 $ ! ' K. . . . . . . . . . . I= J. . ( 7 $ ! \

(407) 6 1 ". 7 $ ! ' .

(408) ' I' ' J . . ' .

(409) 5A. ! "