84:
74:
53:
22:
731:= 0 and we started in x = 1, we'll never approach 0 - we'll get stuck approaching 0,5. Ok, for this example we can just pick smaller neighbourhood dx and start from smaller x, but we need to guarantee, that for an arbitrarilly small dx we'll be able to approach 0 (which might be wrong, if we have infinite number of such limitting points for the alpha(x,n) arbitrarilly close to x
607:
Note: "There exists x such that for all y, (A(x,y) or B(x,y))" is NOT the same as "There exists x such that for all y, A(x,y), or there exists x such that for all y, B(x,y)". The way it was previously worded, it just said that the derivative failed to vanish in some deleted neighbourhood. What you
534:
0 such that f is increasing on (c-r, c) and f is decreasing on (c, c+r). The standard counterexample is the function f:R→R defined by f(0)=0 and f(x) = -x^4*(2-sin(1/x)) for x ≠ 0. The function f is differentiable and has a local (indeed global) maximum at 0, but for every r:
537:
0 and f'(y)<0. Thus, f is not monotonic in any neighborhood of 0. A sufficient condition for the monotonicity of a function on each side of a local extremeum is that the function be continuously differentiable.
703:
0 upon small enough n. Then we would pass the points to the left of f(x-n) in the same way and show for them that the function there is even smaller than in f(x), thus if this sequence of points approaches
140:
471:
293:
391:
229:
819:
815:
801:
533:
This article needs revision. It is NOT true that if f is differentiable on an open interval I and f has a local maximum at c in I, then there exists r: -->
886:
130:
881:
106:
609:
767:
97:
58:
519:
It's very confusing like this, but I'm not familiar enough with calculus to want to edit it. Can someone step in please??
862:
33:
735:- we'll be forced to make neighbourhood n smaller and smaller a la Zeno's paradox and never get infinitely close to x
675:). Here's my failed attempt of proof ad absurdum: suppose that for any dx < r there always exists at least one x:x
818:
to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the
613:
21:
853:
759:
413:
235:
837:
If you have discovered URLs which were erroneously considered dead by the bot, you can report them with
825:
39:
758:. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit
543:
83:
792:
627:
I can't figure out how to prove the test. Given that a continuous function within a certain area (x
539:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
768:
https://web.archive.org/web/20060405222111/http://77.1911encyclopedia.org/S/SI/SIMPSON_THOMAS.htm
89:
822:
before doing mass systematic removals. This message is updated dynamically through the template
702:(x-n) + alpha(x-n, n)), where alpha approaches zero upon decrease of n and thus f(x)-f(x-n): -->
331:
169:
73:
52:
838:
295:(notations as in the article), then f' has to be zero at some point and this point can only be
304:
727:. Potentially it might have another left limit. For instance, if alpha(x,n) = 1/(x-0,5)*n, x
845:
751:
687:). Then there is a certain neighbourhood n to the left from f(x), where f(x-n)<f(x) as
593:
505:
318:
804:, "External links modified" talk page sections are no longer generated or monitored by
166:
differentiable at every poitn of an interval, then f' is
Darboux continuous. Hence, if
844:
If you found an error with any archives or the URLs themselves, you can fix them with
875:
520:
300:
811:
102:
810:. No special action is required regarding these talk page notices, other than
590:
502:
315:
79:
867:
617:
596:
547:
523:
508:
321:
308:
771:
328:
Actually, one does not even have to appeal to
Darboux continuity. If
608:
want is that it is either entirely positive or entirely negative.
553:
Yeah, the implications in the description should be reversed: if
15:
777:
When you have finished reviewing my changes, please set the
716:), and this is in contrast with contiguity of function in x
762:
for additional information. I made the following changes:
723:
But the problem is that this sequence might not approach x
662:
0 you still can't say that there is some dx: for all x: x
755:
416:
335:
238:
173:
101:, a collaborative effort to improve the coverage of
814:using the archive tool instructions below. Editors
465:
384:
287:
222:
536:0 there exist x,y in (-r,r) such that f'(x): -->
529:Significant mathematical errors in this article
800:This message was posted before February 2018.
8:
19:
750:I have just modified one external link on
47:
431:
426:
415:
350:
345:
334:
253:
248:
237:
188:
183:
172:
501:(which it is, being differentiable). —
461:
380:
283:
218:
49:
635:+r) (and symmetrically backwards) has
789:to let others know (documentation at
7:
772:http://mathdl.maa.org/convergence/1/
466:{\displaystyle f'|_{(x,x+r)}<0\,}
288:{\displaystyle f'|_{(x,x+r)}<0\,}
95:This article is within the scope of
38:It is of interest to the following
623:Proof of the first derivative test
515:Conversion into Mathematics format
14:
887:Mid-priority mathematics articles
754:. Please take a moment to review
385:{\displaystyle f'|_{(x-r,x)}: -->
223:{\displaystyle f'|_{(x-r,x)}: -->
115:Knowledge:WikiProject Mathematics
882:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
497:as long as it is continuous in
135:This article has been rated as
708:, it will be at least f(x)-f(x
603:Another significant math error
450:
432:
427:
369:
351:
346:
272:
254:
249:
207:
189:
184:
1:
868:13:17, 11 December 2016 (UTC)
524:17:40, 23 November 2008 (UTC)
509:13:39, 17 December 2008 (UTC)
322:11:50, 17 December 2008 (UTC)
309:08:12, 19 November 2007 (UTC)
109:and see a list of open tasks.
695:0 and thus f(x)-f(x-n)=n * (
618:04:22, 5 November 2009 (UTC)
162:has to be continuous '? If
158:Why is it necessery that '
903:
831:(last update: 5 June 2024)
747:Hello fellow Wikipedians,
597:12:03, 6 April 2009 (UTC)
548:04:59, 6 April 2009 (UTC)
314:I think you are right. —
134:
67:
46:
589:, but not vice versa. —
141:project's priority scale
743:External links modified
585:has a local maximum in
98:WikiProject Mathematics
646:) = 0 and for any x: x
467:
387:
289:
225:
28:This article is rated
569:) and decreasing on (
468:
388:
290:
226:
812:regular verification
414:
333:
236:
171:
121:mathematics articles
802:After February 2018
781:parameter below to
856:InternetArchiveBot
807:InternetArchiveBot
683:+ dx, f(x)<f(x
557:is increasing on (
477:is decreasing on (
463:
462:
398:is increasing on (
382:
381:
285:
284:
220:
219:
90:Mathematics portal
34:content assessment
832:
493:has a maximum at
155:
154:
151:
150:
147:
146:
894:
866:
857:
830:
829:
808:
796:
700:
692:
659:
640:
472:
470:
469:
464:
454:
453:
430:
424:
393:
390:
389:
383:
373:
372:
349:
343:
294:
292:
291:
286:
276:
275:
252:
246:
231:
228:
227:
221:
211:
210:
187:
181:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
902:
901:
897:
896:
895:
893:
892:
891:
872:
871:
860:
855:
823:
816:have permission
806:
790:
760:this simple FaQ
752:Derivative test
745:
738:
734:
730:
726:
719:
715:
711:
707:
698:
690:
686:
682:
678:
674:
670:+ dx, f(x): -->
669:
665:
657:
653:
649:
645:
638:
634:
630:
625:
605:
531:
517:
425:
417:
412:
411:
344:
336:
330:
329:
247:
239:
234:
233:
182:
174:
168:
167:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
900:
898:
890:
889:
884:
874:
873:
850:
849:
842:
775:
774:
766:Added archive
744:
741:
736:
732:
728:
724:
717:
713:
709:
705:
684:
680:
676:
672:
667:
663:
651:
647:
643:
632:
628:
624:
621:
610:207.62.177.227
604:
601:
600:
599:
530:
527:
516:
513:
512:
511:
460:
457:
452:
449:
446:
443:
440:
437:
434:
429:
423:
420:
379:
376:
371:
368:
365:
362:
359:
356:
353:
348:
342:
339:
325:
324:
282:
279:
274:
271:
268:
265:
262:
259:
256:
251:
245:
242:
217:
214:
209:
206:
203:
200:
197:
194:
191:
186:
180:
177:
157:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
899:
888:
885:
883:
880:
879:
877:
870:
869:
864:
859:
858:
847:
843:
840:
836:
835:
834:
827:
821:
817:
813:
809:
803:
798:
794:
788:
784:
780:
773:
769:
765:
764:
763:
761:
757:
753:
748:
742:
740:
721:
701:
693:
679:< x < x
666:< x < x
660:
650:< x < x
641:
622:
620:
619:
615:
611:
602:
598:
595:
592:
588:
584:
580:
576:
572:
568:
564:
560:
556:
552:
551:
550:
549:
545:
541:
528:
526:
525:
522:
514:
510:
507:
504:
500:
496:
492:
488:
484:
480:
476:
458:
455:
447:
444:
441:
438:
435:
421:
418:
409:
405:
401:
397:
377:
374:
366:
363:
360:
357:
354:
340:
337:
327:
326:
323:
320:
317:
313:
312:
311:
310:
306:
302:
298:
280:
277:
269:
266:
263:
260:
257:
243:
240:
215:
212:
204:
201:
198:
195:
192:
178:
175:
165:
161:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
854:
851:
826:source check
805:
799:
786:
782:
778:
776:
749:
746:
722:
696:
688:
655:
636:
626:
606:
586:
582:
578:
574:
570:
566:
562:
558:
554:
532:
518:
498:
494:
490:
486:
482:
478:
474:
407:
403:
399:
395:
392:0\,}" /: -->
296:
230:0\,}" /: -->
163:
159:
156:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
793:Sourcecheck
712:) below f(x
654:+ r it has
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
876:Categories
863:Report bug
694:(x-n): -->
410:), and if
332:0\,}": -->
170:0\,}": -->
846:this tool
839:this tool
489:), hence
852:Cheers.—
661:(x): -->
581:), then
779:checked
756:my edit
540:Jalongi
521:Elakhna
139:on the
787:failed
36:scale.
473:then
394:then
375:: -->
213:: -->
783:true
614:talk
591:Emil
544:talk
503:Emil
456:<
386:0\,}
316:Emil
305:talk
301:Mozó
278:<
232:and
224:0\,}
820:RfC
797:).
785:or
770:to
739:).
671:f(x
631:, x
535:-->
160:f'
131:Mid
878::
833:.
828:}}
824:{{
795:}}
791:{{
720:.
642:(x
616:)
594:J.
577:+
573:,
565:,
561:−
546:)
506:J.
485:+
481:,
406:,
402:−
358:−
319:J.
307:)
299:.
196:−
865:)
861:(
848:.
841:.
737:0
733:0
729:0
725:0
718:0
714:0
710:0
706:0
704:x
699:'
697:f
691:'
689:f
685:0
681:0
677:0
673:0
668:0
664:0
658:'
656:f
652:0
648:0
644:0
639:'
637:f
633:0
629:0
612:(
587:x
583:f
579:r
575:x
571:x
567:x
563:r
559:x
555:f
542:(
499:x
495:x
491:f
487:r
483:x
479:x
475:f
459:0
451:)
448:r
445:+
442:x
439:,
436:x
433:(
428:|
422:′
419:f
408:x
404:r
400:x
396:f
378:0
370:)
367:x
364:,
361:r
355:x
352:(
347:|
341:′
338:f
303:(
297:x
281:0
273:)
270:r
267:+
264:x
261:,
258:x
255:(
250:|
244:′
241:f
216:0
208:)
205:x
202:,
199:r
193:x
190:(
185:|
179:′
176:f
164:f
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.