Home » Blog » Prove that a particular function has a fixed point on [0,1]

# Prove that a particular function has a fixed point on [0,1]

Let be a continuous, real function on the interval . Assume Prove that there exists a real number such that .

Proof. Let . Then is continuous on since it is the difference of functions which are continuous on .

Then, and . If , then and we are done. Similarly, if , then and we are done as well.

Assume then that , and . Then Hence, applying Bolzano’s theorem to , there is some such that . This implies , or ### One comment

1. H says:

First of all, thank you for the great solutions for this book, it helps a lot.

you can prove it by the intermediate-value theorem instead of Bolzano’s theorem.

since g is continuous on [0,1] ,by the intermediate-value theorem, it takes on every value on [0,1] (including 0).

hence, we can find a number c such that g(c)=0 .
then, f(c)-c=0 -> f(c)=c.
{"ft_lang_label":"__label__en","ft_lang_prob":0.93293476,"math_prob":0.99753577,"size":770,"snap":"2023-40-2023-50","text_gpt3_token_len":199,"char_repetition_ratio":0.11879896,"word_repetition_ratio":0.013986014,"special_character_ratio":0.26883116,"punctuation_ratio":0.17977528,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9987441,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48],"im_url_duplicate_count":[null,null,null,null,null,3,null,6,null,5,null,5,null,null,null,null,null,null,null,3,null,3,null,null,null,null,null,null,null,null,null,3,null,3,null,3,null,null,null,6,null,5,null,5,null,5,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-10-01T02:11:39Z\",\"WARC-Record-ID\":\"<urn:uuid:ce0b2919-a487-4026-b224-2955a3cabc49>\",\"Content-Length\":\"63305\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:b20a67bf-2b48-4dad-bff4-6afffb357a42>\",\"WARC-Concurrent-To\":\"<urn:uuid:7ce87858-2a0e-476e-8b72-336a6d905478>\",\"WARC-IP-Address\":\"194.1.147.70\",\"WARC-Target-URI\":\"https://www.stumblingrobot.com/2015/09/05/prove-that-a-particular-function-has-a-fixed-point-on-01/\",\"WARC-Payload-Digest\":\"sha1:CU7QND6YPD2B44JW5NMDH22YEWQIRZEO\",\"WARC-Block-Digest\":\"sha1:LA34TVOH6VDSAKQANV2QOUI6L4J25V7E\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-40/CC-MAIN-2023-40_segments_1695233510734.55_warc_CC-MAIN-20231001005750-20231001035750-00392.warc.gz\"}"}