New Home Forums Math Olympiad - IOQM CONTINOUS FUNCTION

Tagged: 

Viewing 2 posts - 1 through 2 (of 2 total)
  • Author
    Posts
  • #29369
    Renrael Learner
    Participant

    Suppose that f is continuous on [a, b] and that f(a) < f(b). Prove that
    there are numbers c and d with a <= c < d <= b such that f(c) = f(a)
    and f(d) = f(b) and f(a) < f(x) < f(d) for all x in (c, d).

    considering  the following cases would be sufficient?

    f is strictly increasing or increasing 0n (a,b)

    f is decreasing in some interval and increasing in some interval?

    How to give a better proof for this?

    #29380
    Alpha Beta
    Participant

    A mind-blowing problem! This will be my hot favourite application of binary search algorithm and nested intervals theorem. Well, you can apply this technique in many other real analysis problems, so follow it carefully:

    If c=a and d=b satisfy the conditions, then we are done. Otherwise, suppose there is an x in [a,b] such that f(x) is not between f(a) and f(b). Two cases arise:

    (i) f(x)>f(b), in which case, by continuity there is a b1 in (a,x) such that f(b1)=f(b). In this case, let a1=a.

    (ii) f(x)<f(a), in which case, by continuity again, there is an a1 in (x,b) such that f(a1)=f(a). In this case, let b1=b.

    Repeat this process on a1 and b1 to get a2 and b2, and so on, till you get an interval, say [a(n),b(n)] for some n, such that f(a(n))=f(a), f(b(n))=f(b) and for all x in (a(n),b(n)), f(x) is in (f(a),f(b)). Letting c=a(n) and d=b(n), we are done.

    Suppose the algorithm never stops, that is you never arrive at an interval [a(n),b(n)] satisfying the given conditions. Then by nested intervals theorem, there is a t in [a,b] such that a(n)--> t and b(n)--->t as n-->infinity. But by continuity, f(a(n))--->f(t) and f(b(n))-->f(t) . So f(a)---> f(t) and f(b)---->f(t) [ basically, f(a(n)) and f(b(n)) are constant sequences tending to the same limit.] So f(t)=f(a)=f(b), contradicting f(a)<f(b).

    Still an amateur at analysis, so please point out any errors. Cheers!

Viewing 2 posts - 1 through 2 (of 2 total)
  • You must be logged in to reply to this topic.
linkedin facebook pinterest youtube rss twitter instagram facebook-blank rss-blank linkedin-blank pinterest youtube twitter instagram