{"entities":{"Q2580047":{"pageid":2590790,"ns":120,"title":"Item:Q2580047","lastrevid":44392836,"modified":"2025-11-22T15:08:56Z","type":"item","id":"Q2580047","labels":{"en":{"language":"en","value":"Sur la d\u00e9monstration de quelques th\u00e9or\u00e8mes classiques du calcul diff\u00e9rentiel."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502526"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580047$DF867ABD-5306-4777-8E6B-28D17DCA6D80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41ac43a1fa4a46ffb818db19b21bec50f2275fa4","datavalue":{"value":{"text":"Sur la d\u00e9monstration de quelques th\u00e9or\u00e8mes classiques du calcul diff\u00e9rentiel.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580047$E5D54D48-5FD8-449B-A5D1-8F9DE1F8CF5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f93afdb23fd6083c2f1ce47db1992e42d0188315","datavalue":{"value":"67.0181.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580047$68F9C35D-FA5A-4755-9157-B67BB60AAC3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3fde683962e1b1a449967d482f9b2c1b56b3596","datavalue":{"value":{"entity-type":"item","numeric-id":767166,"id":"Q767166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580047$A4478B33-B185-4DB6-8375-42480F10FA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b89fc6e89b20776a068e96edae189bc8d00820f","datavalue":{"value":{"entity-type":"item","numeric-id":571390,"id":"Q571390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580047$CBFF263B-99C0-4FDA-9FE7-AE11BE25613C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40477a581ba037611f528955f6c526b6594a7b44","datavalue":{"value":{"entity-type":"item","numeric-id":576377,"id":"Q576377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580047$8C300064-C975-4F67-8B3D-2F81FD144C74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2580047$13D5D017-52C2-43CB-A675-458DAC229A31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e87981797e686efd7f56513d14084cd12594f16d","datavalue":{"value":"Die Verf. nennen ein Intervallschachtelungsverfahren \\textit{konstruktiv}, wenn bei jedem neuen Schritt das Teilintervall, das weiterhin betrachtet werden soll, eindeutig dadurch festgelegt ist, da\u00df man bei endlich vielen Ungleichungspaaren der Form \\(f(x)\\geqq\\alpha\\), \\(f (x) < \\alpha\\) (oder auch \\(f(x) >\\alpha\\), \\(f (x)\\leqq\\alpha\\)) zu entscheiden hat, welche der beiden Ungleichungen gilt. Ein Beweis, bei dem nur solche Intervallschachtelungen vorkommen, hei\u00dft dann auch konstruktiv. In diesem Sinne ist der \u00fcbliche Beweis f\u00fcr den Bolzanoschen Zwischenwertsatz, da\u00df eine in \\(\\langle a,b\\rangle\\) stetige Funktion \\(f(x)\\) jeden Wert zwischen \\(f (a)\\) und \\(f(b)\\) annimmt, konstruktiv. Die \u00fcblichen Beweise daf\u00fcr, da\u00df eine in \\(\\langle a,b\\rangle\\) beschr\u00e4nkte, bzw. stetige Funktion dort eine obere Grenze, bzw. ein Maximum hat, sind nicht konstruktiv. Dasselbe gilt dann von denjenigen Beweisen des Rolleschen Satzes und des damit gleichwertigen Mittelwertsatzes der Differentialrechnung, die den Weierstra\u00dfschen Satz von der Existenz eines Extremums benutzen.  Die Verf. geben konstruktive Beweise f\u00fcr den Fundamentalsatz der Integralrechnung und den Rolleschen Satz.  Mittels eines einfachen Verfahrens fortgesetzter Intervallhalbierung beweisen sie zun\u00e4chst  Theorem 1: Ist \\(f (x)\\) in \\(\\langle a,b \\rangle\\) stetig, \\(f' (x)\\) in \\((a, b)\\) vorhanden, und gibt es zwischen \\(a\\) und \\(b\\) ein \\(c\\), so da\u00df  \\[  [f(c)-f(a)][f(c)-f(b)] >0,  \\]  so gibt es zwischen \\(a\\) und \\(b\\) auch zwei Stellen \\(\\xi\\) und \\(\\eta\\), so da\u00df \\(f'(\\xi)<0\\), \\(f'(\\eta)>0\\).  Anwendung dieses Theorems auf eine Hilfsfunktion liefert  Theorem 2: Ist \\(f(x)\\) in \\(\\langle a,b\\rangle\\) stetig, \\(f' (x)\\) in \\((a,b)\\) vorhanden, so gibt es zwei Stellen \\(\\xi\\) und \\(\\eta\\) zwischen \\(a\\) und \\(b\\), so da\u00df  \\[  f'(\\xi) \\leqq \\dfrac{f(b) -f(a)}{b-a} \\leqq f'(\\eta).  \\]   Hieraus folgen sofort der erw\u00e4hnte Fundamentalsatz: Ist \\(f (x)\\) in \\(\\langle a, b\\rangle\\) stetig, \\(f' (x)\\) in \\((a, b)\\) vorhanden und identisch gleich Null, so ist \\(f (x)\\) konstant, und die S\u00e4tze \u00fcber den Zusammenhang zwischen Monotonie von \\(f (x)\\) und dem Vorzeichen von \\(f' (x)\\).  M\u00fchsamer ist der konstruktive Beweis des Rolleschen Satzes, der unter Weglassung trivialer Ausnahmef\u00e4lle in folgender allgemeinerer Fassung bewiesen wird: Ist \\(f' (x)\\) in \\((a, b)\\) vorhanden, und gibt es ein \\(c\\) zwischen \\(a\\) und \\(b\\), so da\u00df  \\[  [f(c)-f(a)] [f(c)-f(b)]>0,  \\]  ist also \\(f(x)\\) in \\(\\langle a, b\\rangle\\) nicht konstant und nicht monoton, so gibt es zwischen \\(a\\) und \\(b\\) eine Stelle \\(\\xi\\), wo \\(f' (\\xi) = 0\\) ist.  Der Beweis l\u00e4uft darauf hinaus, da\u00df die Verf. drei Folgen von (rationalen) Zahlen \\(\\{a_n\\}\\), \\(\\{b_n\\}\\), \\(\\{c_n\\}\\) d. h. eine Folge von Intervallen \\(\\langle a_n,b_n\\rangle\\) mit Teilpunkt \\(c_n\\) so konstruieren, da\u00df  \\[  \\begin{gathered} a< a_0\\leqq a_1 \\leqq \\cdots \\leqq a_n < c_n < b_n \\leqq \\cdots \\leqq b_1\\leqq b_0 < b,\\\\ b_n-a_n \\to 0,\\quad f(c_n)\\geqq f(a_n),\\quad f(c_n)\\geqq f(b_n),\\quad f(c_{n+1}) \\geqq f(c_n). \\end{gathered}  \\]  Da\u00df \\(f' (\\xi) = 0\\) an der Stelle \\(\\xi=\\lim a_n=\\lim b_n = \\lim c_n\\), ist dann leicht zu zeigen. Bei der Konstruktion der Zahl \\(\\xi\\) wird nur die Kenntnis der Werte von \\(f (x)\\) selbst, nicht aber die Kenntnis der Werte der Ableitung \\(f' (x)\\) ben\u00f6tigt. \u00dcber die G\u00fcte der Approximation der Zahl \\(\\xi\\) durch die Zahlen \\(c_n\\) gibt die Ungleichung  \\[  b_{2k+1} - a_{2k+1} < b_{2k} - a_{2k} < \\left(\\dfrac23\\right)^k (b-a)  \\]  Aufschlu\u00df.  Ohne Ben\u00fctzung eines weiteren Intervallschachtelungsverfahrens folgt schlie\u00dflich aus dem Rolleschen Satz der Zwischenwertsatz von Darboux: Ist \\(f'(x)\\) in \\(\\langle a,b\\rangle\\) vorhanden, \\(f'(a) \\neq f'(b)\\) und \\(\\mu\\) ein Wert zwischen \\(f'(a)\\) und \\(f'(b)\\), so gibt es eine Stelle \\(\\xi\\) zwischen \\(a\\) und \\(b\\), wo \\(f'(\\xi)=\\mu\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580047$C7661C64-714F-48F2-A93D-6F9463BE7A95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"412a18fd585dddb95081f7135c703d92342fde47","datavalue":{"value":"2502526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580047$6B7CDC0C-D906-4052-B74E-9067FA214C65","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580047$78216FA8-B941-4EDD-9494-5676B3DFA3D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2580047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2580047"}}}}}