Question

如果正實(shí)數(shù)a，b滿足a^b=b^a．且a＜1，證明a=b．

Answer 1

【答案】分析：這道題可以有三種不同的證明方法．證法一的思路：由a^b=b^a，得blna=alnb，從而，考慮函數(shù)，它的導(dǎo)數(shù)是然后根據(jù)函數(shù)的單調(diào)性用反證法進(jìn)行證明．
證法二的思路是因?yàn)?＜a＜1，a^b=b^a，所以blog_aa=alog_ab，即．然后根據(jù)對數(shù)函數(shù)的性質(zhì)用反證法進(jìn)行證明．
證法三的思路是假如a＜b，則可設(shè)b=a+ε，其中ε＞0由于0＜a＜1，ε＞0，根據(jù)冪函數(shù)或指數(shù)函數(shù)的性質(zhì)用反證法進(jìn)行證明．
解答：證一：由a^b=b^a，得blna=alnb，從而
考慮函數(shù)，它的導(dǎo)數(shù)是
因?yàn)樵冢?，1）內(nèi)f'（x）＞0，所以f（x）在（0，1）內(nèi)是增函數(shù)
由于0＜a＜1，b＞0，所以a^b＜1，從而b^a=a^b＜1．由b^a＜1及a＞0，
可推出b＜1．
由0＜a＜1，0＜b＜1，假如a≠b，
則根據(jù)f（x）在（0，1）內(nèi)是增函數(shù)，
得f（a）≠f（b），即，
從而a^b≠b^a這與a^b=b^a矛盾
所以a=b
證二：因?yàn)?＜a＜1，a^b=b^a，
所以blog_aa=alog_ab，即
假如a＜b，則，但因a＜1，
根據(jù)對數(shù)函數(shù)的性質(zhì)，
得矛盾
所以a不能小于b
假如a＞b，則，而log_ab＞1，這也與矛盾
所以a不能大于b，因此a=b
證三：假如a＜b，則可設(shè)b=a+ε，其中ε＞0
由于0＜a＜1，ε＞0，
根據(jù)冪函數(shù)或指數(shù)函數(shù)的性質(zhì)，得a^ε＜1和，
所以，
即a^b＜b^a．這與a^b=b^a矛盾，所以a不能小于b
假如b＜a，則b＜a＜1，可設(shè)a=b+ε，其中ε＞0，同上可證得a^b＜b^a．
這于a^b=b^a矛盾，所以a不能大于b
因此a=b
點(diǎn)評：反證法是證明的一種重要方法，一題多證、舉一反三能夠有效地提高我們的證明能力．