(* Content-type: application/mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 6.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 145, 7] NotebookDataLength[ 45911, 1297] NotebookOptionsPosition[ 44334, 1242] NotebookOutlinePosition[ 44699, 1258] CellTagsIndexPosition[ 44656, 1255] WindowFrame->Normal ContainsDynamic->False*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["\<\ Limite r\[EAcute]elle d'une fonction r\[EAcute]elle\ \>", "Subtitle", CellChangeTimes->{{3.4169946387556133`*^9, 3.416994639672515*^9}, { 3.4170001016629*^9, 3.417000106708057*^9}}], Cell[TextData[{ "Soit ", Cell[BoxData[ FormBox["f", TraditionalForm]], FormatType->"TraditionalForm"], ", une fonction de \[DoubleStruckCapitalR] dans \[DoubleStruckCapitalR], ", Cell[BoxData[ FormBox[ RowBox[{"a", ",", " ", RowBox[{"b", "\[Element]", FormBox["\[DoubleStruckCapitalR]", TraditionalForm]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}], ".\nOn dit que ", Cell[BoxData[ FormBox[ RowBox[{"f", "(", "x", ")"}], TraditionalForm]], FormatType->"TraditionalForm"], " tend vers ", Cell[BoxData[ FormBox["b", TraditionalForm]], FormatType->"TraditionalForm"], " lorsque ", Cell[BoxData[ FormBox["x", TraditionalForm]], FormatType->"TraditionalForm"], " tend vers ", Cell[BoxData[ FormBox["a", TraditionalForm]], FormatType->"TraditionalForm"], ", ou encore que ", Cell[BoxData[ FormBox["b", TraditionalForm]], FormatType->"TraditionalForm"], " est la limite de ", Cell[BoxData[ FormBox[ RowBox[{"f", "(", "x", ")"}], TraditionalForm]], FormatType->"TraditionalForm"], " lorsque ", Cell[BoxData[ FormBox["x", TraditionalForm]], FormatType->"TraditionalForm"], " tend vers ", Cell[BoxData[ FormBox["a", TraditionalForm]], FormatType->"TraditionalForm"], ", et l'on \[EAcute]crit\n\n\t", Cell[BoxData[ FormBox[ RowBox[{ FormBox[ InterpretationBox["\<\"\\!\\(TraditionalForm\\`\\\"lim\\\"\\+\\(x \ \[Rule] a\\)\\) \\!\\(TraditionalForm\\`\\(f(x)\\)\\)\"\>", StringForm["`1` `2`", Underscript["lim", $CellContext`x -> $CellContext`a], $CellContext`f[$CellContext`x]], Editable->False], TraditionalForm], "\[LongEqual]", "b"}], TraditionalForm]], "Output", CellChangeTimes->{3.431608782138143*^9}], "\n\nsi les conditions suivantes sont satisfaites :\n\n1) ", Cell[BoxData[ FormBox[ RowBox[{"a", " ", "\[Element]", " ", RowBox[{"adh", " ", "dom", " ", "f"}]}], TraditionalForm]]], "\n", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"2", ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"\[Epsilon]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[Exists]", " ", RowBox[{"\[Delta]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"x", " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", ":", " ", RowBox[{"|", RowBox[{"x", "-", "a"}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Delta]"}]}]}]}]}]}], ")"}]}], " ", ":", " ", RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "-", " ", "b"}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Epsilon]"}]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}] }], "definition", CellChangeTimes->{{3.416995361129303*^9, 3.41699556689815*^9}, { 3.4170001100518312`*^9, 3.417000148804442*^9}, {3.431608622255533*^9, 3.4316086228329067`*^9}, {3.4316087996706*^9, 3.431608808268249*^9}, { 3.43247886640158*^9, 3.432478897318386*^9}}], Cell[CellGroupData[{ Cell["Unicit\[EAcute] de la limite", "Subsection", CellChangeTimes->{{3.41699570360084*^9, 3.416995706967742*^9}}], Cell[TextData[{ "Il existe au plus un b \[Element] ", Cell[BoxData[ FormBox["\[DoubleStruckCapitalR]", TraditionalForm]]], " v\[EAcute]rifiant les conditions de la limite" }], "Text", CellChangeTimes->{{3.416995710677288*^9, 3.416995738672462*^9}, { 3.431141923481097*^9, 3.4311419236897297`*^9}}], Cell[TextData[{ "Supposons qu'il existe ", Cell[BoxData[ FormBox["b", TraditionalForm]], FormatType->"TraditionalForm"], " et ", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"b", "'"}], " ", "\[Element]", " ", "\[DoubleStruckCapitalR]"}], TraditionalForm]], FormatType->"TraditionalForm"], " v\[EAcute]rifiant les conditions de la limite\nD\[EGrave]s lors, \[ForAll] \ \[Epsilon] > 0,\n\n", StyleBox[" ", FontColor->RGBColor[0, 0, 1], Background->RGBColor[1, 1, 0.976104]], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"\[Exists]", " ", RowBox[{"\[Delta]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"x", " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", ":", " ", RowBox[{"|", RowBox[{"x", "-", "a"}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Delta]"}]}]}]}]}]}], ")"}]}], " ", ":", " ", RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "-", " ", "b"}], "|", " ", RowBox[{"\[LessEqual]", " ", FractionBox["\[Epsilon]", "2"]}]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}], "\net\n", StyleBox[" ", FontColor->RGBColor[0, 0, 1], Background->RGBColor[1, 1, 0.976104]], Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"\[Exists]", " ", RowBox[{ RowBox[{"\[Delta]", "'"}], " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"x", " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", ":", " ", RowBox[{"|", RowBox[{"x", "-", "a"}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Delta]"}]}]}]}]}]}], ")"}]}], " ", ":", " ", RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "-", " ", RowBox[{"b", "'"}]}], "|", " ", RowBox[{"\[LessEqual]", " ", FractionBox["\[Epsilon]", "2"]}]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}], "\n\nSi on pose \[Delta]\" = min{\[Delta] , \[Delta] '} alors pour tout ", Cell[BoxData[ FormBox[ RowBox[{"x", " ", "\[Element]", " ", RowBox[{"dom", " ", "f"}]}], TraditionalForm]], FormatType->"TraditionalForm"], " tel que ", Cell[BoxData[ FormBox[ RowBox[{" ", RowBox[{"|", RowBox[{"x", " ", "-", " ", "a"}], "|", " ", RowBox[{"\[LessEqual]", " ", RowBox[{"\[Delta]", "\"\<\>"}]}]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}], ", on aura\n\n", Cell[BoxData[ FormBox[ RowBox[{" ", RowBox[{ RowBox[{"|", RowBox[{"b", " ", "-", " ", RowBox[{"b", "'"}]}], "|"}], " ", "=", " ", RowBox[{"|", RowBox[{"b", " ", "-", " ", RowBox[{"f", "(", "x", ")"}], " ", "+", " ", RowBox[{"f", "(", "x", ")"}], " ", "-", " ", RowBox[{"b", "'"}]}], "|", " ", RowBox[{"\[LessEqual]", " ", RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "-", " ", "b"}], "|", " ", RowBox[{"+", RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "-", " ", RowBox[{"b", "'"}]}], "|", " ", RowBox[{"\[LessEqual]", " ", RowBox[{ FractionBox["\[Epsilon]", "2"], " ", "+", " ", FractionBox["\[Epsilon]", "2"]}], " ", "\[LessEqual]", " ", "\[Epsilon]"}]}]}]}]}]}]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}] }], "demonstration", CellChangeTimes->{{3.416996492645074*^9, 3.416996564211259*^9}, { 3.4169967803388767`*^9, 3.4169968584869556`*^9}, {3.416997031986951*^9, 3.416997152068062*^9}, {3.417000046991939*^9, 3.417000060318574*^9}, { 3.4170540723824472`*^9, 3.4170541101899633`*^9}, {3.417054523070685*^9, 3.4170545418605137`*^9}, {3.4311419355467777`*^9, 3.431141935859414*^9}, { 3.4324789037580223`*^9, 3.4324789198196363`*^9}}, TextAlignment->Left, TextJustification->0.] }, Open ]], Cell[CellGroupData[{ Cell["D\[EAcute]finition \[EAcute]quivalente", "Subsection", CellChangeTimes->{{3.417000154984284*^9, 3.417000158893485*^9}}], Cell[TextData[{ "Soit ", Cell[BoxData[ FormBox["f", TraditionalForm]], FormatType->"TraditionalForm"], ", une fonction de \[DoubleStruckCapitalR] dans \[DoubleStruckCapitalR], ", Cell[BoxData[ FormBox[ RowBox[{"a", ",", " ", RowBox[{"b", "\[Element]", FormBox["\[DoubleStruckCapitalR]", TraditionalForm]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}], ".\nOn dit que ", Cell[BoxData[ FormBox[ RowBox[{"f", "(", "x", ")"}], TraditionalForm]], FormatType->"TraditionalForm"], " tend vers ", Cell[BoxData[ FormBox["b", TraditionalForm]], FormatType->"TraditionalForm"], " lorsque ", Cell[BoxData[ FormBox["x", TraditionalForm]]], " tend vers ", Cell[BoxData[ FormBox["a", TraditionalForm]]], ", ou encore que ", Cell[BoxData[ FormBox["b", TraditionalForm]]], " est la limite de ", Cell[BoxData[ FormBox[ RowBox[{"f", "(", "x", ")"}], TraditionalForm]]], " lorsque ", Cell[BoxData[ FormBox["x", TraditionalForm]]], " tend vers ", Cell[BoxData[ FormBox["a", TraditionalForm]]], ", et l'on \[EAcute]crit\n\n\t", Cell[BoxData[ FormBox[ RowBox[{ FormBox[ InterpretationBox["\<\"\\!\\(TraditionalForm\\`\\\"lim\\\"\\+\\(x \ \[Rule] a\\)\\) \\!\\(TraditionalForm\\`\\(f(x)\\)\\)\"\>", StringForm["`1` `2`", Underscript["lim", $CellContext`x -> $CellContext`a], $CellContext`f[$CellContext`x]], Editable->False], TraditionalForm], "\[LongEqual]", "b"}], TraditionalForm]], "Output", CellChangeTimes->{3.431608782138143*^9}], "\n\nsi les conditions suivantes sont satisfaites :\n\n1) ", Cell[BoxData[ FormBox[ RowBox[{"a", " ", "\[Element]", " ", RowBox[{"adh", " ", "dom", " ", "f"}]}], TraditionalForm]]], "\n", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"2", ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"\[Epsilon]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[Exists]", " ", RowBox[{"\[Delta]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"x", " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", ":", " ", RowBox[{"|", RowBox[{"x", "-", "a"}], "|", " ", RowBox[{"<", " ", "\[Delta]"}]}]}]}]}]}], ")"}]}], " ", ":", " ", RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "-", " ", "b"}], "|", " ", RowBox[{"<", " ", "\[Epsilon]"}]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}] }], "definition", CellChangeTimes->{{3.416995361129303*^9, 3.41699556689815*^9}, { 3.4170001100518312`*^9, 3.417000170986876*^9}, {3.431142112417251*^9, 3.431142144440728*^9}, {3.431608630814999*^9, 3.431608637031941*^9}, { 3.431608818575074*^9, 3.431608818800342*^9}, {3.43247892529143*^9, 3.43247893625996*^9}}] }, Open ]], Cell[CellGroupData[{ Cell["Condition de Cauchy", "Subsection", CellChangeTimes->{{3.417002435241007*^9, 3.417002438521813*^9}}], Cell[TextData[{ "Soit ", Cell[BoxData[ FormBox["f", TraditionalForm]], FormatType->"TraditionalForm"], ", une fonction de \[DoubleStruckCapitalR] dans \[DoubleStruckCapitalR], ", Cell[BoxData[ FormBox[ RowBox[{"a", "\[Element]", FormBox[ RowBox[{"adh", " ", "dom", " ", "f"}], TraditionalForm]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}], ".\nSi ", Cell[BoxData[ FormBox[ InterpretationBox["\<\"\\!\\(TraditionalForm\\`\\\"lim\\\"\\+\\(x \[Rule] \ a\\)\\) \\!\\(TraditionalForm\\`\\(f(x)\\)\\)\"\>", StringForm["`1` `2`", Underscript["lim", $CellContext`x -> $CellContext`a], $CellContext`f[$CellContext`x]], Editable->False], TraditionalForm]], "Output", CellChangeTimes->{3.432478969150156*^9}], " existe, alors la condition suivante est satisfaite\n\n", Cell[BoxData[ FormBox[ RowBox[{" ", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"\[Epsilon]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[Exists]", " ", RowBox[{"\[Delta]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"x", " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", ":", " ", RowBox[{"|", RowBox[{"x", "-", "a"}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Delta]"}]}]}]}]}]}], ")"}], RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{ RowBox[{"x", "'"}], " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", ":", " ", RowBox[{"|", RowBox[{ RowBox[{"x", "'"}], "-", "a"}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Delta]"}]}]}]}]}]}], ")"}]}], " ", ":", " ", RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "-", " ", RowBox[{"f", "(", RowBox[{"x", "'"}], ")"}]}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Epsilon]"}]}]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}] }], "definition", CellChangeTimes->{{3.416995361129303*^9, 3.41699556689815*^9}, { 3.4170001100518312`*^9, 3.417000148804442*^9}, {3.4170024645339603`*^9, 3.417002530397491*^9}, {3.417002679555789*^9, 3.417002686350581*^9}, { 3.43247894803829*^9, 3.432478948376013*^9}, {3.4324789836163607`*^9, 3.4324789871017714`*^9}}], Cell[TextData[{ "Soit ", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ UnderscriptBox["lim", RowBox[{"x", " ", "\[RightArrow]", " ", "a"}]], " ", RowBox[{"f", "(", "x", ")"}]}], "=", "b"}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}], " \[Element] \[DoubleStruckCapitalR]\nD\[EGrave]s lors, \n", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"\[Epsilon]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[Exists]", " ", RowBox[{"\[Delta]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"x", " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", " ", ":", " ", RowBox[{"|", " ", RowBox[{"x", " ", "-", " ", "a"}], " ", "|", " ", RowBox[{"\[LessEqual]", " ", "\[Delta]"}]}]}]}]}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{ RowBox[{"x", "'"}], " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", " ", ":", " ", RowBox[{"|", " ", RowBox[{ RowBox[{"x", "'"}], " ", "-", " ", "a"}], " ", "|", " ", RowBox[{"\[LessEqual]", " ", "\[Delta]"}]}]}]}]}]}], ")"}]}], " ", ":", " ", RowBox[{"|", " ", RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "-", "b"}], " ", "|", " ", RowBox[{"\[LessEqual]", " ", FractionBox["\[Epsilon]", "2"]}]}]}], TraditionalForm]]], " et ", Cell[BoxData[ FormBox[ RowBox[{"|", " ", RowBox[{ RowBox[{"f", "(", RowBox[{"x", "'"}], ")"}], " ", "-", " ", "b"}], " ", "|", " ", RowBox[{"\[LessEqual]", " ", FractionBox["\[Epsilon]", "2"]}]}], TraditionalForm]]], "\net on a\n", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], "-", RowBox[{"f", "(", RowBox[{"x", "'"}], ")"}]}], "|"}], "=", RowBox[{ RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], "-", "b", "+", "b", "-", RowBox[{"f", "(", RowBox[{"x", "'"}], ")"}]}], "|", RowBox[{"\[LessEqual]", RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], "-", "b"}], "|", RowBox[{"+", RowBox[{"|", RowBox[{ RowBox[{"f", "(", RowBox[{"x", "'"}], ")"}], "-", "b"}], "|", RowBox[{"\[LessEqual]", RowBox[{ FractionBox["\[Epsilon]", "2"], "+", FractionBox["\[Epsilon]", "2"]}]}]}]}]}]}]}], "=", "\[Epsilon]"}]}], TraditionalForm]]] }], "demonstration", CellChangeTimes->{{3.416996492645074*^9, 3.416996564211259*^9}, { 3.4169967803388767`*^9, 3.4169968584869556`*^9}, {3.416997031986951*^9, 3.416997152068062*^9}, {3.417000046991939*^9, 3.417000060318574*^9}, { 3.4170540723824472`*^9, 3.4170541101899633`*^9}, {3.417054351542481*^9, 3.417054504598625*^9}, 3.417054565266341*^9, {3.4170546179963217`*^9, 3.417054730392198*^9}, {3.417061142517756*^9, 3.417061150322034*^9}}, TextAlignment->Left, TextJustification->0.], Cell["\<\ Par contraposition, cet \[EAcute]nonc\[EAcute] nous donne une condition de \ non existence de la limite\ \>", "remarque", CellChangeTimes->{{3.417002547778554*^9, 3.417002604188245*^9}}], Cell[TextData[{ "Soit ", Cell[BoxData[ FormBox["f", TraditionalForm]], FormatType->"TraditionalForm"], ", une fonction de \[DoubleStruckCapitalR] dans \[DoubleStruckCapitalR], ", Cell[BoxData[ FormBox[ RowBox[{"a", "\[Element]", FormBox[ RowBox[{"adh", " ", "dom", " ", "f"}], TraditionalForm]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}], ".\nSi \n", Cell[BoxData[ FormBox[ RowBox[{" ", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"\[Exists]", " ", RowBox[{"\[Epsilon]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"\[Delta]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[Exists]", " ", RowBox[{"x", " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", ":", " ", RowBox[{"|", RowBox[{"x", "-", "a"}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Delta]"}]}]}]}]}]}], ")"}], RowBox[{"(", RowBox[{"\[Exists]", " ", RowBox[{ RowBox[{"x", "'"}], " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", ":", " ", RowBox[{"|", RowBox[{ RowBox[{"x", "'"}], "-", "a"}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Delta]"}]}]}]}]}]}], ")"}]}], " ", ":", " ", RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "-", " ", RowBox[{"f", "(", RowBox[{"x", "'"}], ")"}]}], "|", " ", RowBox[{">", " ", "\[Epsilon]"}]}]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}], "\n\n alors ", Cell[BoxData[ FormBox[ RowBox[{ FormBox[ InterpretationBox["\<\"\\!\\(TraditionalForm\\`\\\"lim\\\"\\+\\(x \ \[Rule] a\\)\\) \\!\\(TraditionalForm\\`\\(f(x)\\)\\)\"\>", StringForm["`1` `2`", Underscript["lim", $CellContext`x -> $CellContext`a], $CellContext`f[$CellContext`x]], Editable->False], TraditionalForm], "\[LongEqual]", "b"}], TraditionalForm]], "Output", CellChangeTimes->{3.431608782138143*^9}], " n'existe pas." }], "definition", CellChangeTimes->{{3.416995361129303*^9, 3.41699556689815*^9}, { 3.4170001100518312`*^9, 3.417000148804442*^9}, {3.4170024645339603`*^9, 3.417002530397491*^9}, {3.417002656249234*^9, 3.417002661304637*^9}, { 3.4170027168341093`*^9, 3.417002768800193*^9}, {3.431608827310351*^9, 3.431608831085846*^9}, {3.432478996140759*^9, 3.432478996294813*^9}}] }, Open ]], Cell[CellGroupData[{ Cell["Exemple 1", "Subsection", CellChangeTimes->{{3.4170004181442223`*^9, 3.417000421748543*^9}, { 3.4170010561406107`*^9, 3.4170010562347527`*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"f", "=", RowBox[{"Piecewise", "[", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"x", "+", "1"}], ",", RowBox[{"x", "<", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"x", "+", "1"}], ",", RowBox[{"x", ">", "1"}]}], "}"}]}], "}"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"Graphef", "[", RowBox[{"f", ",", "x"}], "]"}]}], "Input", CellChangeTimes->{{3.417000424856758*^9, 3.417000447024239*^9}, { 3.4170006203329067`*^9, 3.4170008012960033`*^9}, {3.417000892489951*^9, 3.417000923327956*^9}, {3.4170009728916903`*^9, 3.417000973505608*^9}}], Cell[BoxData[ FormBox[ GraphicsBox[{{{}, {}, {RGBColor[0, 0, NCache[ Rational[2, 3], 0.6666666666666666]], Thickness[Medium], TagBox[ TooltipBox[LineBox[CompressedData[" 1:eJw11P9P1VUcx/HrFQgTU7j3FgRyuVdUuMq91885QlB230gMSLrSJdjUSeyi rRkBE6YwxGR8kcgsvsNFphBjKDMqFyCr7ltBcGFYFhcJK5LAEKfMa5Yk0qd9 zvnhtcee/8BLY8207JXLZDKzuP8tuPXa/cVFgpICTuc/+9f4Y8IU0Lzqt7+7 HxGmgAHhWQuZTsIU8GJ5pfvENGEK6K4f9cfvCFPA6pzUbUcaCVPAjiXZrbIw whTQdW+M4LObuwkV1y+lt1RwjWjps6UFf2vE1tLNg5ZqA+bf25L+8SQ3BHsO 2vZ1btczN6K5MingSQNXhzFNX5tj73CDsG0wz5G9K5i5HlOKq1VX27lr8XDq 0k+XK9YxA1EWorZHlXC1+PMHDUc7RrgB6Pf026cfbNXgC8rvLTMl/vjOZp3r uJ+a6YtpYb+29/Vxn0NdbsRiRqs3U4nNvyT250WqmJ54q1D1Uoy3Fw4v3ZB7 3OiBvTVB0X8mr2C6onFm7IGhyQ1Tr52beTNiwf5K7/iyhWQZluV0K+bPztmz Tnf+46lw2o9sK7j0Uf1le/Jba5qvHRqzj8RndNZGTpoGr4yVk8TrJiG76+YV 5UNTRMiFLxLqnKam2tQd7UNLQH5AdWOPj4zpDk95JBRa77oxn4GiCUfU/k9W wNasWc35H7zgs8bShMP3PZkqyGzZs+qPZK4PpOyzrT5a6M30g/dfPxBOTvgy 1eCirJl+b94f5OWvOk0FGhgdKpkrXsldA0n51lBbn5YZCOnLZ7XDO7nrQN0x UOt2ey1zPeT3RCWubOQGQ1ZbeleogbsBPORhVv2UjrkRot99o0ZXxdWD9/nV mdGBejh243i31ssIlfvLKoyjBogL74+tnzWCpXR7SFMXdxPodhUntRZwBXBM L2upSuISGLZORXqpuRRsNZ5ueY8Ik8LN0ouaKrElKQTnZm85K7YkhZ6dIzm/ iy1JwaFumIybJ0wKijMBF57/lzApHPvGcOirx4RJ4afOiTqH2JIUfJsrzs2J LUnhTJHzduACYVK4HNu940OxJSm4/PhyWMoTwqQQ33/Pkiu2JIWqL09lVIot SUFbL28bEFuSAuweUBoWCZNCmfmgMU5sSQpXTUHxaWJLUkjRlhfViS1JoU3x 4snPxZakcNflTu+Q2JIUQh+ecEyJLUmB/RmTwn/LJUpi "]], InterpretationBox[ "\"y = \\!\\(TraditionalForm\\`\\(\[Piecewise] \\*GridBox[{{\\(x + \ 1\\), \\(\\(\\(x < 1\\)\\) \[Or] \\(\\(x > 1\\)\\)\\)}}, ColumnAlignments -> \ {Left}, ColumnSpacings -> 1.2, ColumnWidths -> Automatic]\\)\\)\"", StringForm["`1` = `2`", "y", Piecewise[{{1 + $CellContext`x, Or[$CellContext`x < 1, $CellContext`x > 1]}}, 0]], Editable -> False]], Annotation[#, StringForm["`1` = `2`", "y", Piecewise[{{1 + $CellContext`x, Or[$CellContext`x < 1, $CellContext`x > 1]}}, 0]], "Tooltip"]& ]}}, {}, {RGBColor[ NCache[ Rational[2, 3], 0.6666666666666666], 0, 0], PointSize[Large], PointBox[{1, 2}]}}, AspectRatio->Automatic, Axes->True, Frame->False, GridLines->FrontEndValueCache[ analyse`grids, {{-5., -4., -3., -2., -1., 0., 1., 2., 3., 4., 5.}, {-5., -4., -3., -2., -1., 0., 1., 2., 3., 4., 5.}}], GridLinesStyle->Directive[ GrayLevel[0.85], Dashing[{0, Small}]], PlotLabel->None, PlotRange->{{-5, 5}, {-5, 5}}, Ticks->FrontEndValueCache[analyse`ticks, {{{-5., FormBox[ RowBox[{"-", "5"}], TraditionalForm]}, {-4., FormBox[ RowBox[{"-", "4"}], TraditionalForm]}, {-3., FormBox[ RowBox[{"-", "3"}], TraditionalForm]}, {-2., FormBox[ RowBox[{"-", "2"}], TraditionalForm]}, {-1., FormBox[ RowBox[{"-", "1"}], TraditionalForm]}, {0., FormBox["0", TraditionalForm]}, {1., FormBox["1", TraditionalForm]}, {2., FormBox["2", TraditionalForm]}, {3., FormBox["3", TraditionalForm]}, {4., FormBox["4", TraditionalForm]}, {5., FormBox["5", TraditionalForm]}}, {{-5., FormBox[ RowBox[{"-", "5"}], TraditionalForm]}, {-4., FormBox[ RowBox[{"-", "4"}], TraditionalForm]}, {-3., FormBox[ RowBox[{"-", "3"}], TraditionalForm]}, {-2., FormBox[ RowBox[{"-", "2"}], TraditionalForm]}, {-1., FormBox[ RowBox[{"-", "1"}], TraditionalForm]}, {0., FormBox["0", TraditionalForm]}, {1., FormBox["1", TraditionalForm]}, {2., FormBox["2", TraditionalForm]}, {3., FormBox["3", TraditionalForm]}, {4., FormBox["4", TraditionalForm]}, {5., FormBox["5", TraditionalForm]}}}]], TraditionalForm]], "Output", CellChangeTimes->{ 3.4170007819865522`*^9, {3.417000910964479*^9, 3.41700092377654*^9}, 3.4170009746788597`*^9}] }, {2}]], Cell[BoxData[ FormBox[ RowBox[{" ", RowBox[{ FormBox[ RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "=", " ", FractionBox[ RowBox[{ SuperscriptBox["x", "2"], "-", "1"}], RowBox[{"x", "-", "1"}]]}], TraditionalForm], "\n", FormBox[ RowBox[{ RowBox[{ UnderscriptBox["lim", RowBox[{"x", "\[Rule]", "1"}]], RowBox[{"f", "(", "x", ")"}]}], "=", "2"}], TraditionalForm], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{ RowBox[{"(", "1", ")"}], " ", "1"}], "\[Element]", RowBox[{"adh", RowBox[{"(", RowBox[{"\[DoubleStruckCapitalR]", "\\", RowBox[{"{", "1", "}"}]}], ")"}]}]}], "=", "\[DoubleStruckCapitalR]"}], "\n", RowBox[{ RowBox[{ RowBox[{"(", "2", ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", RowBox[{"\[Epsilon]", ">", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[Exists]", RowBox[{"\[Delta]", ">", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"\[ForAll]", RowBox[{"x", "\[Element]", RowBox[{"\[DoubleStruckCapitalR]", "\\", RowBox[{"{", "1", "}"}]}]}]}], ":", " ", RowBox[{"|", RowBox[{"x", "-", "1"}], "|", " ", RowBox[{"\[LessEqual]", "\[Delta]"}]}]}], ")"}]}], ":", " ", RowBox[{"|", RowBox[{ FormBox[ FractionBox[ RowBox[{ SuperscriptBox["x", "2"], "-", "1"}], RowBox[{"x", "-", "1"}]], TraditionalForm], "-", "2"}], "|", " ", RowBox[{"\[LessEqual]", "\[Epsilon]"}]}]}], "\n", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"\[ForAll]", RowBox[{"\[Epsilon]", ">", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[Exists]", RowBox[{"\[Delta]", ">", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"\[ForAll]", RowBox[{"x", "\[Element]", RowBox[{"\[DoubleStruckCapitalR]", "\\", RowBox[{"{", "1", "}"}]}]}]}], ":", " ", RowBox[{"|", RowBox[{"x", "-", "1"}], "|", " ", RowBox[{"\[LessEqual]", "\[Delta]"}]}]}], ")"}]}], ":", " ", RowBox[{"|", RowBox[{"x", "+", "1", "-", "2"}], "|", " ", RowBox[{"\[LessEqual]", "\[Epsilon]"}]}]}], "\n", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"\[ForAll]", RowBox[{"\[Epsilon]", ">", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[Exists]", RowBox[{"\[Delta]", ">", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"\[ForAll]", RowBox[{"x", "\[Element]", RowBox[{"\[DoubleStruckCapitalR]", "\\", RowBox[{"{", "1", "}"}]}]}]}], ":", " ", RowBox[{"|", RowBox[{"x", "-", "1"}], "|", " ", RowBox[{"\[LessEqual]", "\[Delta]"}]}]}], ")"}]}], ":", " ", RowBox[{"|", RowBox[{"x", "-", "1"}], "|", " ", RowBox[{"\[LessEqual]", "\[Epsilon]"}]}]}], "\n", RowBox[{ RowBox[{ "il", " ", "suffit", " ", "de", " ", "prendre", " ", "\[Delta]"}], "=", RowBox[{"\[Epsilon]", " ", "et", " ", "la", " ", "condition", " ", RowBox[{"(", "2", ")"}], " ", "est", " ", RowBox[{"v\[EAcute]rifi\[EAcute]e", "."}]}]}]}]}], TraditionalForm]], "Text", CellChangeTimes->{{3.417000984119982*^9, 3.4170010436881647`*^9}, { 3.417001082086211*^9, 3.4170012638811083`*^9}, {3.4170013101484528`*^9, 3.4170013117797728`*^9}, {3.41700180863264*^9, 3.4170018206932573`*^9}}] }, Open ]], Cell[CellGroupData[{ Cell["Exemple 2", "Subsection", CellChangeTimes->{{3.4170004181442223`*^9, 3.417000421748543*^9}, { 3.4170010561406107`*^9, 3.4170010562347527`*^9}, {3.4170012746012487`*^9, 3.417001274703786*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"f", "=", RowBox[{"Piecewise", "[", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"x", "+", "1"}], ",", RowBox[{"x", "<", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", RowBox[{"x", "\[Equal]", "1"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"x", "+", "1"}], ",", RowBox[{"x", ">", "1"}]}], "}"}]}], "}"}], "]"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"Graphef", "[", RowBox[{"f", ",", "x"}], "]"}]}], "Input", CellChangeTimes->{{3.417000424856758*^9, 3.417000447024239*^9}, { 3.4170006203329067`*^9, 3.4170008012960033`*^9}, {3.417000892489951*^9, 3.417000923327956*^9}, {3.4170009728916903`*^9, 3.417000973505608*^9}, { 3.417001335661138*^9, 3.417001343170755*^9}}], Cell[BoxData[ FormBox[ GraphicsBox[{{{}, {}, {RGBColor[0, 0, NCache[ Rational[2, 3], 0.6666666666666666]], Thickness[Medium], TagBox[ TooltipBox[LineBox[CompressedData[" 1:eJw11P9P1VUcx/HrFQgTU7j3FgRyuVdUuMq91885QlB230gMSLrSJdjUSeyi rRkBE6YwxGR8kcgsvsNFphBjKDMqFyCr7ltBcGFYFhcJK5LAEKfMa5Yk0qd9 zvnhtcee/8BLY8207JXLZDKzuP8tuPXa/cVFgpICTuc/+9f4Y8IU0Lzqt7+7 HxGmgAHhWQuZTsIU8GJ5pfvENGEK6K4f9cfvCFPA6pzUbUcaCVPAjiXZrbIw whTQdW+M4LObuwkV1y+lt1RwjWjps6UFf2vE1tLNg5ZqA+bf25L+8SQ3BHsO 2vZ1btczN6K5MingSQNXhzFNX5tj73CDsG0wz5G9K5i5HlOKq1VX27lr8XDq 0k+XK9YxA1EWorZHlXC1+PMHDUc7RrgB6Pf026cfbNXgC8rvLTMl/vjOZp3r uJ+a6YtpYb+29/Vxn0NdbsRiRqs3U4nNvyT250WqmJ54q1D1Uoy3Fw4v3ZB7 3OiBvTVB0X8mr2C6onFm7IGhyQ1Tr52beTNiwf5K7/iyhWQZluV0K+bPztmz Tnf+46lw2o9sK7j0Uf1le/Jba5qvHRqzj8RndNZGTpoGr4yVk8TrJiG76+YV 5UNTRMiFLxLqnKam2tQd7UNLQH5AdWOPj4zpDk95JBRa77oxn4GiCUfU/k9W wNasWc35H7zgs8bShMP3PZkqyGzZs+qPZK4PpOyzrT5a6M30g/dfPxBOTvgy 1eCirJl+b94f5OWvOk0FGhgdKpkrXsldA0n51lBbn5YZCOnLZ7XDO7nrQN0x UOt2ey1zPeT3RCWubOQGQ1ZbeleogbsBPORhVv2UjrkRot99o0ZXxdWD9/nV mdGBejh243i31ssIlfvLKoyjBogL74+tnzWCpXR7SFMXdxPodhUntRZwBXBM L2upSuISGLZORXqpuRRsNZ5ueY8Ik8LN0ouaKrElKQTnZm85K7YkhZ6dIzm/ iy1JwaFumIybJ0wKijMBF57/lzApHPvGcOirx4RJ4afOiTqH2JIUfJsrzs2J LUnhTJHzduACYVK4HNu940OxJSm4/PhyWMoTwqQQ33/Pkiu2JIWqL09lVIot SUFbL28bEFuSAuweUBoWCZNCmfmgMU5sSQpXTUHxaWJLUkjRlhfViS1JoU3x 4snPxZakcNflTu+Q2JIUQh+ecEyJLUmB/RmTwn/LJUpi "]], InterpretationBox[ "\"y = \\!\\(TraditionalForm\\`\\(\[Piecewise] \\*GridBox[{{\\(x + \ 1\\), \\(x < 1\\)}, {\\\"4\\\", \\(x \[LongEqual] 1\\)}, {\\(x + 1\\), \\(x > \ 1\\)}}, ColumnAlignments -> {Left}, ColumnSpacings -> 1.2, ColumnWidths -> \ Automatic]\\)\\)\"", StringForm["`1` = `2`", "y", Piecewise[{{1 + $CellContext`x, $CellContext`x < 1}, { 4, $CellContext`x == 1}, { 1 + $CellContext`x, $CellContext`x > 1}}, 0]], Editable -> False]], Annotation[#, StringForm["`1` = `2`", "y", Piecewise[{{1 + $CellContext`x, $CellContext`x < 1}, { 4, $CellContext`x == 1}, {1 + $CellContext`x, $CellContext`x > 1}}, 0]], "Tooltip"]& ]}}, {}, {RGBColor[ NCache[ Rational[2, 3], 0.6666666666666666], 0, 0], PointSize[Large], PointBox[{1, 2}]}, {RGBColor[ NCache[ Rational[2, 3], 0.6666666666666666], 0, 0], PointSize[Large], PointBox[{1, 2}]}, {RGBColor[0, 0, NCache[ Rational[2, 3], 0.6666666666666666]], PointSize[Large], PointBox[{1, 4}]}}, AspectRatio->Automatic, Axes->True, Frame->False, GridLines->FrontEndValueCache[ analyse`grids, {{-5., -4., -3., -2., -1., 0., 1., 2., 3., 4., 5.}, {-5., -4., -3., -2., -1., 0., 1., 2., 3., 4., 5.}}], GridLinesStyle->Directive[ GrayLevel[0.85], Dashing[{0, Small}]], PlotLabel->None, PlotRange->{{-5, 5}, {-5, 5}}, Ticks->FrontEndValueCache[analyse`ticks, {{{-5., FormBox[ RowBox[{"-", "5"}], TraditionalForm]}, {-4., FormBox[ RowBox[{"-", "4"}], TraditionalForm]}, {-3., FormBox[ RowBox[{"-", "3"}], TraditionalForm]}, {-2., FormBox[ RowBox[{"-", "2"}], TraditionalForm]}, {-1., FormBox[ RowBox[{"-", "1"}], TraditionalForm]}, {0., FormBox["0", TraditionalForm]}, {1., FormBox["1", TraditionalForm]}, {2., FormBox["2", TraditionalForm]}, {3., FormBox["3", TraditionalForm]}, {4., FormBox["4", TraditionalForm]}, {5., FormBox["5", TraditionalForm]}}, {{-5., FormBox[ RowBox[{"-", "5"}], TraditionalForm]}, {-4., FormBox[ RowBox[{"-", "4"}], TraditionalForm]}, {-3., FormBox[ RowBox[{"-", "3"}], TraditionalForm]}, {-2., FormBox[ RowBox[{"-", "2"}], TraditionalForm]}, {-1., FormBox[ RowBox[{"-", "1"}], TraditionalForm]}, {0., FormBox["0", TraditionalForm]}, {1., FormBox["1", TraditionalForm]}, {2., FormBox["2", TraditionalForm]}, {3., FormBox["3", TraditionalForm]}, {4., FormBox["4", TraditionalForm]}, {5., FormBox["5", TraditionalForm]}}}]], TraditionalForm]], "Output", CellChangeTimes->{ 3.4170007819865522`*^9, {3.417000910964479*^9, 3.41700092377654*^9}, 3.4170009746788597`*^9, 3.417001343740014*^9}] }, {2}]], Cell[BoxData[ FormBox[ RowBox[{" ", RowBox[{ FormBox[ RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "=", " ", RowBox[{"\[Piecewise]", GridBox[{ { RowBox[{"x", "+", "1"}], RowBox[{"x", "<", "1"}]}, {"4", RowBox[{"x", "\[LongEqual]", "1"}]}, { RowBox[{"x", "+", "1"}], RowBox[{"x", ">", "1"}]} }, GridBoxAlignment->{ "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.84]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}]}]}], TraditionalForm], "\n", RowBox[{ RowBox[{"dom", " ", "f"}], " ", "=", " ", "\[DoubleStruckCapitalR]"}], "\[IndentingNewLine]", FormBox[ RowBox[{ UnderscriptBox["lim", RowBox[{"x", "\[Rule]", "1"}]], RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", RowBox[{"n", "'"}], "existe", " ", "pas"}]}], TraditionalForm], "\[IndentingNewLine]", RowBox[{ RowBox[{"pour", " ", "le", " ", "monter"}], ",", " ", RowBox[{ "utilisons", " ", "la", " ", "contrapos\[EAcute]e", " ", "de", " ", "la", " ", "condition", " ", "de", " ", "Cauchy"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{ "Il", " ", "suffit", " ", "donc", " ", "de", " ", "trouver", " ", "x", " ", "et", " ", RowBox[{"x", "'"}], " ", "arbitrairement", " ", "proches", " ", "de", " ", "1", " ", "tels", " ", "que"}], " ", "|", RowBox[{ RowBox[{"f", "(", "x", ")"}], "-", RowBox[{"f", "(", RowBox[{"x", "'"}], ")"}]}], "|", RowBox[{ "reste", " ", "sup\[EAcute]rieur", " ", "\[AGrave]", " ", "un", " ", "nombre", " ", "positif", " ", "fixe"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"En", " ", "prenant", " ", "x"}], " ", "=", " ", RowBox[{ RowBox[{"1", " ", "et", " ", "x"}], " ", "=", " ", RowBox[{"1", "+", RowBox[{"min", RowBox[{"{", RowBox[{"1", ",", "\[Delta]"}], "}"}]}]}]}]}], ",", " ", RowBox[{"on", " ", "a"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], "-", RowBox[{"f", "(", RowBox[{"x", "'"}], ")"}]}], "|"}], "=", RowBox[{ RowBox[{"|", RowBox[{"2", "-", RowBox[{"min", RowBox[{"{", RowBox[{"1", ",", "\[Delta]"}], "}"}]}]}], "|", RowBox[{"\[GreaterEqual]", " ", "1"}]}], "=", "\[Epsilon]"}]}], "\[IndentingNewLine]", RowBox[{ RowBox[{ "Il", " ", "suffit", " ", "donc", " ", "de", " ", "prendre", " ", "\[Epsilon]"}], "=", "1"}]}]}], TraditionalForm]], "Text", CellChangeTimes->{{3.417000984119982*^9, 3.4170010436881647`*^9}, { 3.417001082086211*^9, 3.4170012638811083`*^9}, {3.417001364005666*^9, 3.417001372058483*^9}, {3.417001439857936*^9, 3.417001532834992*^9}, { 3.417001625653674*^9, 3.417001711779088*^9}, {3.4170017660780163`*^9, 3.417001800757564*^9}, {3.4170018333690567`*^9, 3.417001975953528*^9}, { 3.417002032831663*^9, 3.417002127396461*^9}, {3.417002162064543*^9, 3.417002185564392*^9}, {3.417002812254953*^9, 3.41700284799605*^9}, { 3.417002885557226*^9, 3.417002957319373*^9}, {3.417003020578024*^9, 3.417003042042614*^9}, {3.417003074124586*^9, 3.417003196835703*^9}, { 3.417003268929411*^9, 3.417003270814473*^9}, {3.417003464509892*^9, 3.4170035140671062`*^9}, {3.417003554956139*^9, 3.4170036049637537`*^9}}] }, Open ]], Cell[CellGroupData[{ Cell[TextData[{ "Limite sur dom ", Cell[BoxData[ FormBox[ RowBox[{"f", "\\", RowBox[{"{", "a", "}"}]}], TraditionalForm]], "None", FormatType->"TraditionalForm"] }], "Subsection", CellChangeTimes->{{3.417000206297639*^9, 3.417000222287786*^9}, { 3.432478755594767*^9, 3.432478760584359*^9}}], Cell[TextData[{ "La limite ayant peu d'int\[EAcute]r\[EHat]t lorsque ", Cell[BoxData[ FormBox["a", TraditionalForm]], FormatType->"TraditionalForm"], " est un point isol\[EAcute] du domaine, elle est parfois d\[EAcute]finie \ comme suit:" }], "Text", CellChangeTimes->{{3.41700038320011*^9, 3.417000401834763*^9}, { 3.417000539039501*^9, 3.4170005635343227`*^9}, {3.4324787675635347`*^9, 3.432478774937071*^9}}], Cell[TextData[{ "Soit ", Cell[BoxData[ FormBox["f", TraditionalForm]], FormatType->"TraditionalForm"], ", une fonction de \[DoubleStruckCapitalR] dans \[DoubleStruckCapitalR], ", Cell[BoxData[ FormBox[ RowBox[{"a", ",", " ", RowBox[{"b", "\[Element]", FormBox["\[DoubleStruckCapitalR]", TraditionalForm]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}], ".\nOn dit que ", Cell[BoxData[ FormBox[ RowBox[{"f", "(", "x", ")"}], TraditionalForm]], FormatType->"TraditionalForm"], " tend vers ", Cell[BoxData[ FormBox["b", TraditionalForm]], FormatType->"TraditionalForm"], " lorsque ", Cell[BoxData[ FormBox["x", TraditionalForm]], FormatType->"TraditionalForm"], " tend vers ", Cell[BoxData[ FormBox["a", TraditionalForm]], FormatType->"TraditionalForm"], ", ou encore que ", Cell[BoxData[ FormBox["b", TraditionalForm]], FormatType->"TraditionalForm"], " est la limite de ", Cell[BoxData[ FormBox[ RowBox[{"f", "(", "x", ")"}], TraditionalForm]], FormatType->"TraditionalForm"], " lorsque ", Cell[BoxData[ FormBox["x", TraditionalForm]], FormatType->"TraditionalForm"], " tend vers ", Cell[BoxData[ FormBox["a", TraditionalForm]], FormatType->"TraditionalForm"], ", et l'on \[EAcute]crit\n\n\t", Cell[BoxData[ FormBox[ RowBox[{ InterpretationBox["\<\"\\!\\(TraditionalForm\\`\\\"lim\\\"\\+\\(\\(x \ \[Rule] a\\)\\+\\\"x \\\\[NotEqual] a\\\"\\)\\) \ \\!\\(TraditionalForm\\`\\(f(x)\\)\\)\"\>", StringForm["`1` `2`", Underscript["lim", Underscript[$CellContext`x -> $CellContext`a, "x \[NotEqual] a"]], $CellContext`f[$CellContext`x]], Editable->False], "\[LongEqual]", "b"}], TraditionalForm]], "Output", CellChangeTimes->{{3.431608880303465*^9, 3.431608895726038*^9}}], "\n\nsi les conditions suivantes sont satisfaites :\n\n1) ", Cell[BoxData[ FormBox[ RowBox[{"a", " ", "\[Element]", " ", RowBox[{"adh", " ", "dom", " ", RowBox[{"f", " ", "\\", RowBox[{"{", "a", "}"}]}]}]}], TraditionalForm]], FormatType->"TraditionalForm"], "\n", Cell[BoxData[ FormBox[ RowBox[{ RowBox[{ RowBox[{"2", ")"}], " ", RowBox[{"(", RowBox[{"\[ForAll]", " ", RowBox[{"\[Epsilon]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{"\[Exists]", " ", RowBox[{"\[Delta]", " ", ">", " ", "0"}]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"\[ForAll]", " ", RowBox[{"x", " ", "\[Element]", " ", RowBox[{"dom", " ", RowBox[{"f", "\\", RowBox[{"{", "a", "}"}]}]}]}]}], ":", " ", RowBox[{"|", RowBox[{"x", "-", "a"}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Delta]"}]}]}], ")"}]}], " ", ":", " ", RowBox[{"|", RowBox[{ RowBox[{"f", "(", "x", ")"}], " ", "-", " ", "b"}], "|", " ", RowBox[{"\[LessEqual]", " ", "\[Epsilon]"}]}]}], TraditionalForm]], CellChangeTimes->{{3.41699465242486*^9, 3.416994656640127*^9}, { 3.416994764234583*^9, 3.4169951519882307`*^9}, {3.4169952311365423`*^9, 3.416995293217392*^9}}] }], "definition", CellChangeTimes->{{3.416995361129303*^9, 3.41699556689815*^9}, { 3.4170001100518312`*^9, 3.417000170986876*^9}, {3.41700023420203*^9, 3.417000257525834*^9}, {3.417000355444993*^9, 3.4170003665432053`*^9}, { 3.417004152426836*^9, 3.4170041574102173`*^9}, {3.4316089100809813`*^9, 3.431608911733169*^9}, {3.432478784090996*^9, 3.43247882763267*^9}}], Cell["\<\ Avec cette d\[EAcute]finition, la limite de l'exemple 2 existe.\ \>", "remarque", CellChangeTimes->{{3.417004190993354*^9, 3.417004217000657*^9}}] }, Open ]] }, Open ]] }, WindowToolbars->"EditBar", WindowSize->{775, 800}, WindowMargins->{{387, Automatic}, {Automatic, 24}}, FrontEndVersion->"6.0 for Mac OS X x86 (32-bit) (May 21, 2008)", StyleDefinitions->"stylemath.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[590, 23, 194, 4, 38, "Subtitle"], Cell[787, 29, 3343, 99, 192, "definition"], Cell[CellGroupData[{ Cell[4155, 132, 115, 1, 39, "Subsection"], Cell[4273, 135, 305, 7, 31, "Text"], Cell[4581, 144, 4591, 126, 210, "demonstration"] }, Open ]], Cell[CellGroupData[{ Cell[9209, 275, 126, 1, 39, "Subsection"], Cell[9338, 278, 3166, 93, 192, "definition"] }, Open ]], Cell[CellGroupData[{ Cell[12541, 376, 107, 1, 39, "Subsection"], Cell[12651, 379, 2709, 70, 103, "definition"], Cell[15363, 451, 3325, 93, 119, "demonstration"], Cell[18691, 546, 197, 4, 20, "remarque"], Cell[18891, 552, 2800, 74, 120, "definition"] }, Open ]], Cell[CellGroupData[{ Cell[21728, 631, 152, 2, 39, "Subsection"], Cell[CellGroupData[{ Cell[21905, 637, 686, 19, 41, "Input"], Cell[22594, 658, 4007, 92, 378, "Output"] }, {2}]], Cell[26613, 753, 3620, 104, 211, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[30270, 862, 203, 3, 39, "Subsection"], Cell[CellGroupData[{ Cell[30498, 869, 836, 23, 41, "Input"], Cell[31337, 894, 4420, 103, 378, "Output"] }, {2}]], Cell[35769, 1000, 3952, 100, 236, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[39758, 1105, 308, 9, 39, "Subsection"], Cell[40069, 1116, 424, 10, 31, "Text"], Cell[40496, 1128, 3650, 105, 202, "definition"], Cell[44149, 1235, 157, 3, 20, "remarque"] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)