如圖所示，在“推理與證明”的知識結構圖中，如果要加入“綜合法”，則應該放在（　�。�

（2012•湖北模擬）函數f（x）=ae^x，g（x）=lnx-lna，其中a為正常數，且函數y=f（x）和y=g（x）的圖象在其與坐標軸的交點處的切線互相平行．
（1）求a的值；
（2）若存在x使不等式

x-m

f(x)

＞

x

成立，求實數m的取值范圍；
（3）對于函數y=f（x）和y=g（x）公共定義域中的任意實數x₀，我們把|f（x₀）-g（x₀）|的值稱為兩函數在x₀處的偏差．求證：函數y=f（x）和y=g（x）在其公共定義域內的所有偏差都大于2．

（2013•眉山二模）函數f（x）=ae^x，g（x）=lnx-lna，其中a為常數，且函數y=f（x）和y=g（x）的圖象在其與坐標軸的交點處的切線互相平行．
（Ⅰ）求此平行線的距離；
（Ⅱ）若存在x使不等式

x-m

f(x)

＞

x

成立，求實數m的取值范圍；
（Ⅲ）對于函數y=f（x）和y=g（x）公共定義域中的任意實數x₀，我們把|f（x₀）-g（x₀）|的值稱為兩函數在x₀處的偏差．求證：函數y=f（x）和y=g（x）在其公共定義域內的所有偏差都大于2．

函數f（x）=ae^x，g（x）=lnx-lna，其中a為常數，且函數y=f（x）和y=g（x）的圖象在其與坐標軸的交點處的切線互相平行．
（1）求此平行線的距離；
（2）若存在x使不等式

x-m

f(x)

＞

x

成立，求實數m的取值范圍．

（1）利用向量有關知識與方法證明兩角差的余弦公式：C_α-β：cos（α-β）=cosαcosβ+sinαsinβ；
（2）由C_α-β推導兩角和的正弦公式S_α+β：sin（α+β）=sinαcosβ+cosαsinβ．