2024-2025學(xué)年新疆克拉瑪依市北師大克拉瑪依附中區(qū)域教師研修一體課程復(fù)數(shù)與邏輯含解析

2024-2025學(xué)年新疆克拉瑪依市北師大克拉瑪依附中區(qū)域教師研修一體課程復(fù)數(shù)與邏輯注意事項(xiàng)：1．答卷前，考生務(wù)必將自己的姓名、準(zhǔn)考證號(hào)、考場(chǎng)號(hào)和座位號(hào)填寫在試題卷和答題卡上。用2B鉛筆將試卷類型（B）填涂在答題卡相應(yīng)位置上。將條形碼粘貼在答題卡右上角"條形碼粘貼處"。2．作答選擇題時(shí)，選出每小題答案后，用2B鉛筆把答題卡上對(duì)應(yīng)題目選項(xiàng)的答案信息點(diǎn)涂黑；如需改動(dòng)，用橡皮擦干凈后，再選涂其他答案。答案不能答在試題卷上。3．非選擇題必須用黑色字跡的鋼筆或簽字筆作答，答案必須寫在答題卡各題目指定區(qū)域內(nèi)相應(yīng)位置上；如需改動(dòng)，先劃掉原來(lái)的答案，然后再寫上新答案；不準(zhǔn)使用鉛筆和涂改液。不按以上要求作答無(wú)效。4．考生必須保證答題卡的整潔?？荚嚱Y(jié)束后，請(qǐng)將本試卷和答題卡一并交回。一、選擇題：本題共12小題，每小題5分，共60分。在每小題給出的四個(gè)選項(xiàng)中，只有一項(xiàng)是符合題目要求的。1．已知正方體的體積為，點(diǎn)，分別在棱，上，滿足最小，則四面體的體積為A． B． C． D．2．已知雙曲線（，）的左、右焦點(diǎn)分別為，以（為坐標(biāo)原點(diǎn)）為直徑的圓交雙曲線于兩點(diǎn)，若直線與圓相切，則該雙曲線的離心率為（）A． B． C． D．3．已知，函數(shù)在區(qū)間內(nèi)沒有最值，給出下列四個(gè)結(jié)論：①在上單調(diào)遞增；②③在上沒有零點(diǎn)；④在上只有一個(gè)零點(diǎn).其中所有正確結(jié)論的編號(hào)是（）A．②④ B．①③ C．②③ D．①②④4．博覽會(huì)安排了分別標(biāo)有序號(hào)為“1號(hào)”“2號(hào)”“3號(hào)”的三輛車，等可能隨機(jī)順序前往酒店接嘉賓．某嘉賓突發(fā)奇想，設(shè)計(jì)兩種乘車方案．方案一：不乘坐第一輛車，若第二輛車的車序號(hào)大于第一輛車的車序號(hào)，就乘坐此車，否則乘坐第三輛車；方案二：直接乘坐第一輛車．記方案一與方案二坐到“3號(hào)”車的概率分別為P1，P2，則（）A．P1?P2＝ B．P1＝P2＝ C．P1+P2＝ D．P1＜P25．已知實(shí)數(shù)滿足，則的最小值為（）A． B． C． D．6．執(zhí)行如圖所示的程序框圖，則輸出的的值是（）A．8 B．32 C．64 D．1287．如圖，設(shè)為內(nèi)一點(diǎn)，且，則與的面積之比為A． B．C． D．8．在“一帶一路”知識(shí)測(cè)驗(yàn)后，甲、乙、丙三人對(duì)成績(jī)進(jìn)行預(yù)測(cè)．甲：我的成績(jī)比乙高．乙：丙的成績(jī)比我和甲的都高．丙：我的成績(jī)比乙高．成績(jī)公布后，三人成績(jī)互不相同且只有一個(gè)人預(yù)測(cè)正確，那么三人按成績(jī)由高到低的次序?yàn)锳．甲、乙、丙 B．乙、甲、丙C．丙、乙、甲 D．甲、丙、乙9．已知橢圓（a＞b＞0）與雙曲線（a＞0，b＞0）的焦點(diǎn)相同，則雙曲線漸近線方程為（）A． B．C． D．10．據(jù)國(guó)家統(tǒng)計(jì)局發(fā)布的數(shù)據(jù)，2019年11月全國(guó)CPI（居民消費(fèi)價(jià)格指數(shù)），同比上漲4.5%，CPI上漲的主要因素是豬肉價(jià)格的上漲，豬肉加上其他畜肉影響CPI上漲3.27個(gè)百分點(diǎn)．下圖是2019年11月CPI一籃子商品權(quán)重，根據(jù)該圖，下列結(jié)論錯(cuò)誤的是（）A．CPI一籃子商品中所占權(quán)重最大的是居住B．CPI一籃子商品中吃穿住所占權(quán)重超過(guò)50%C．豬肉在CPI一籃子商品中所占權(quán)重約為2.5%D．豬肉與其他畜肉在CPI一籃子商品中所占權(quán)重約為0.18%11．圓錐底面半徑為，高為，是一條母線，點(diǎn)是底面圓周上一點(diǎn)，則點(diǎn)到所在直線的距離的最大值是（）A． B． C． D．12．阿基米德（公元前287年—公元前212年）是古希臘偉大的哲學(xué)家、數(shù)學(xué)家和物理學(xué)家，他和高斯、牛頓并列被稱為世界三大數(shù)學(xué)家.據(jù)說(shuō)，他自己覺得最為滿意的一個(gè)數(shù)學(xué)發(fā)現(xiàn)就是“圓柱內(nèi)切球體的體積是圓柱體積的三分之二，并且球的表面積也是圓柱表面積的三分之二”.他特別喜歡這個(gè)結(jié)論，要求后人在他的墓碑上刻著一個(gè)圓柱容器里放了一個(gè)球，如圖，該球頂天立地，四周碰邊，表面積為的圓柱的底面直徑與高都等于球的直徑，則該球的體積為（）A． B． C． D．二、填空題：本題共4小題，每小題5分，共20分。13．函數(shù)的定義域是___________．14．設(shè)f（x）＝etx（t＞0），過(guò)點(diǎn)P（t，0）且平行于y軸的直線與曲線C：y＝f（x）的交點(diǎn)為Q，曲線C過(guò)點(diǎn)Q的切線交x軸于點(diǎn)R，若S（1，f（1）），則△PRS的面積的最小值是_____．15．（5分）有一道描述有關(guān)等差與等比數(shù)列的問(wèn)題:有四個(gè)和尚在做法事之前按身高從低到高站成一列，已知前三個(gè)和尚的身高依次成等差數(shù)列，后三個(gè)和尚的身高依次成等比數(shù)列，且前三個(gè)和尚的身高之和為cm，中間兩個(gè)和尚的身高之和為cm，則最高的和尚的身高是____________cm．16．已知函數(shù)是定義在上的奇函數(shù)，則的值為__________．三、解答題：共70分。解答應(yīng)寫出文字說(shuō)明、證明過(guò)程或演算步驟。17．（12分）班主任為了對(duì)本班學(xué)生的考試成績(jī)進(jìn)行分析，決定從本班24名女同學(xué)，18名男同學(xué)中隨機(jī)抽取一個(gè)容量為7的樣本進(jìn)行分析.（1）如果按照性別比例分層抽樣，可以得到多少個(gè)不同的樣本？（寫出算式即可，不必計(jì)算出結(jié)果）（2）如果隨機(jī)抽取的7名同學(xué)的數(shù)學(xué)，物理成績(jī)（單位：分）對(duì)應(yīng)如下表：學(xué)生序號(hào)1234567數(shù)學(xué)成績(jī)60657075858790物理成績(jī)70778085908693①若規(guī)定85分以上（包括85分）為優(yōu)秀，從這7名同學(xué)中抽取3名同學(xué)，記3名同學(xué)中數(shù)學(xué)和物理成績(jī)均為優(yōu)秀的人數(shù)為，求的分布列和數(shù)學(xué)期望；②根據(jù)上表數(shù)據(jù)，求物理成績(jī)關(guān)于數(shù)學(xué)成績(jī)的線性回歸方程（系數(shù)精確到0.01）；若班上某位同學(xué)的數(shù)學(xué)成績(jī)?yōu)?6分，預(yù)測(cè)該同學(xué)的物理成績(jī)?yōu)槎嗌俜?？附：線性回歸方程，其中，.768381252618．（12分）已知函數(shù)，，設(shè)．（1）當(dāng)時(shí)，求函數(shù)的單調(diào)區(qū)間；（2）設(shè)方程（其中為常數(shù)）的兩根分別為，，證明：．（注：是的導(dǎo)函數(shù)）19．（12分）已知函數(shù)，.（1）求曲線在點(diǎn)處的切線方程；（2）求函數(shù)的單調(diào)區(qū)間；（3）判斷函數(shù)的零點(diǎn)個(gè)數(shù).20．（12分）已知函數(shù)（）在定義域內(nèi)有兩個(gè)不同的極值點(diǎn).（1）求實(shí)數(shù)的取值范圍；（2）若有兩個(gè)不同的極值點(diǎn)，，且，若不等式恒成立.求正實(shí)數(shù)的取值范圍.21．（12分）已知函數(shù).（1）討論的單調(diào)性；（2）若，設(shè)，證明：，，使.22．（10分）如圖1，四邊形是邊長(zhǎng)為2的菱形，，為的中點(diǎn)，以為折痕將折起到的位置，使得平面平面，如圖2.（1）證明：平面平面；（2）求點(diǎn)到平面的距離.

參考答案一、選擇題：本題共12小題，每小題5分，共60分。在每小題給出的四個(gè)選項(xiàng)中，只有一項(xiàng)是符合題目要求的。1．D【解析】

由題意畫出圖形，將所在的面延它們的交線展開到與所在的面共面，可得當(dāng)時(shí)最小，設(shè)正方體的棱長(zhǎng)為，得，進(jìn)一步求出四面體的體積即可．【詳解】解：如圖，

∵點(diǎn)M，N分別在棱上，要最小，將所在的面延它們的交線展開到與所在的面共面，三線共線時(shí)，最小，

∴

設(shè)正方體的棱長(zhǎng)為，則，∴．

取，連接，則共面，在中，設(shè)到的距離為，

設(shè)到平面的距離為，

.

故選D．本題考查多面體體積的求法，考查了多面體表面上的最短距離問(wèn)題，考查計(jì)算能力，是中檔題．2．D【解析】

連接，可得，在中，由余弦定理得，結(jié)合雙曲線的定義，即得解.【詳解】連接，則，，所以，在中，，，故在中，由余弦定理可得.根據(jù)雙曲線的定義，得，所以雙曲線的離心率故選：D本題考查了雙曲線的性質(zhì)及雙曲線的離心率，考查了學(xué)生綜合分析，轉(zhuǎn)化劃歸，數(shù)學(xué)運(yùn)算的能力，屬于中檔題.3．A【解析】

先根據(jù)函數(shù)在區(qū)間內(nèi)沒有最值求出或.再根據(jù)已知求出，判斷函數(shù)的單調(diào)性和零點(diǎn)情況得解.【詳解】因?yàn)楹瘮?shù)在區(qū)間內(nèi)沒有最值.所以，或解得或.又，所以.令.可得.且在上單調(diào)遞減.當(dāng)時(shí)，，且，所以在上只有一個(gè)零點(diǎn).所以正確結(jié)論的編號(hào)②④故選：A.本題主要考查三角函數(shù)的圖象和性質(zhì)，考查函數(shù)的零點(diǎn)問(wèn)題，意在考查學(xué)生對(duì)這些知識(shí)的理解掌握水平.4．C【解析】

將三輛車的出車可能順序一一列出，找出符合條件的即可.【詳解】三輛車的出車順序可能為：123、132、213、231、312、321方案一坐車可能：132、213、231，所以，P1＝；方案二坐車可能：312、321，所以，P1＝；所以P1+P2＝故選C.本題考查了古典概型的概率的求法，常用列舉法得到各種情況下基本事件的個(gè)數(shù)，屬于基礎(chǔ)題.5．A【解析】

所求的分母特征，利用變形構(gòu)造，再等價(jià)變形，利用基本不等式求最值.【詳解】解：因?yàn)闈M足，則，當(dāng)且僅當(dāng)時(shí)取等號(hào)，故選：．本題考查通過(guò)拼湊法利用基本不等式求最值.拼湊法的實(shí)質(zhì)在于代數(shù)式的靈活變形，拼系數(shù)、湊常數(shù)是關(guān)鍵.(1)拼湊的技巧，以整式為基礎(chǔ)，注意利用系數(shù)的變化以及等式中常數(shù)的調(diào)整，做到等價(jià)變形;(2)代數(shù)式的變形以拼湊出和或積的定值為目標(biāo)(3)拆項(xiàng)、添項(xiàng)應(yīng)注意檢驗(yàn)利用基本不等式的前提.6．C【解析】

根據(jù)給定的程序框圖，逐次計(jì)算，結(jié)合判斷條件，即可求解.【詳解】由題意，執(zhí)行上述程序框圖，可得第1次循環(huán)，滿足判斷條件，；第2次循環(huán)，滿足判斷條件，；第3次循環(huán)，滿足判斷條件，；第4次循環(huán)，滿足判斷條件，；不滿足判斷條件，輸出.故選：C.本題主要考查了循環(huán)結(jié)構(gòu)的程序框圖的計(jì)算與輸出，其中解答中認(rèn)真審題，逐次計(jì)算，結(jié)合判斷條件求解是解答的關(guān)鍵，著重考查了推理與運(yùn)算能力，屬于基礎(chǔ)題.7．A【解析】

作交于點(diǎn)，根據(jù)向量比例，利用三角形面積公式，得出與的比例，再由與的比例，可得到結(jié)果.【詳解】如圖，作交于點(diǎn)，則，由題意，，，且，所以又，所以，，即，所以本題答案為A.本題考查三角函數(shù)與向量的結(jié)合，三角形面積公式，屬基礎(chǔ)題，作出合適的輔助線是本題的關(guān)鍵.8．A【解析】

利用逐一驗(yàn)證的方法進(jìn)行求解.【詳解】若甲預(yù)測(cè)正確，則乙、丙預(yù)測(cè)錯(cuò)誤，則甲比乙成績(jī)高，丙比乙成績(jī)低，故3人成績(jī)由高到低依次為甲，乙，丙；若乙預(yù)測(cè)正確，則丙預(yù)測(cè)也正確，不符合題意；若丙預(yù)測(cè)正確，則甲必預(yù)測(cè)錯(cuò)誤，丙比乙的成績(jī)高，乙比甲成績(jī)高，即丙比甲，乙成績(jī)都高，即乙預(yù)測(cè)正確，不符合題意，故選A．本題將數(shù)學(xué)知識(shí)與時(shí)政結(jié)合，主要考查推理判斷能力．題目有一定難度，注重了基礎(chǔ)知識(shí)、邏輯推理能力的考查．9．A【解析】

由題意可得，即，代入雙曲線的漸近線方程可得答案.【詳解】依題意橢圓與雙曲線即的焦點(diǎn)相同，可得：，即，∴，可得,雙曲線的漸近線方程為：,故選：A．本題考查橢圓和雙曲線的方程和性質(zhì)，考查漸近線方程的求法，考查方程思想和運(yùn)算能力，屬于基礎(chǔ)題．10．D【解析】

A.從第一個(gè)圖觀察居住占23%，與其他比較即可.B.CPI一籃子商品中吃穿住所占23%+8%+19.9%=50.9%，再判斷.C.食品占19.9%，再看第二個(gè)圖，分清2.5%是在CPI一籃子商品中，還是在食品中即可.D.易知豬肉與其他畜肉在CPI一籃子商品中所占權(quán)重約為2.1%+2.5%=4.6%.【詳解】A.CPI一籃子商品中居住占23%，所占權(quán)重最大的，故正確.B.CPI一籃子商品中吃穿住所占23%+8%+19.9%=50.9%，權(quán)重超過(guò)50%，故正確.C.食品占中19.9%，分解后后可知豬肉是占在CPI一籃子商品中所占權(quán)重約為2.5%，故正確.D.豬肉與其他畜肉在CPI一籃子商品中所占權(quán)重約為2.1%+2.5%=4.6%，故錯(cuò)誤.故選：D本題主要考查統(tǒng)計(jì)圖的識(shí)別與應(yīng)用，還考查了理解辨析的能力，屬于基礎(chǔ)題.11．C【解析】分析：作出圖形，判斷軸截面的三角形的形狀，然后轉(zhuǎn)化求解的位置，推出結(jié)果即可.詳解：圓錐底面半徑為，高為2，是一條母線，點(diǎn)是底面圓周上一點(diǎn)，在底面的射影為；，，過(guò)的軸截面如圖：，過(guò)作于，則，在底面圓周，選擇，使得，則到的距離的最大值為3，故選：C點(diǎn)睛：本題考查空間點(diǎn)線面距離的求法，考查空間想象能力以及計(jì)算能力，解題的關(guān)鍵是作出軸截面圖形，屬中檔題．12．C【解析】

設(shè)球的半徑為R，根據(jù)組合體的關(guān)系，圓柱的表面積為，解得球的半徑，再代入球的體積公式求解.【詳解】設(shè)球的半徑為R，根據(jù)題意圓柱的表面積為，解得，所以該球的體積為.故選：C本題主要考查組合體的表面積和體積，還考查了對(duì)數(shù)學(xué)史了解，屬于基礎(chǔ)題.二、填空題：本題共4小題，每小題5分，共20分。13．【解析】

由于偶次根式中被開方數(shù)非負(fù)，對(duì)數(shù)的真數(shù)要大于零，然后解不等式組可得答案.【詳解】解：由題意得，，解得，所以，故答案為：此題考查函數(shù)定義域的求法，屬于基礎(chǔ)題.14．【解析】

計(jì)算R（t，0），PR＝t﹣（t），△PRS的面積為S，導(dǎo)數(shù)S′，由S′＝0得t＝1，根據(jù)函數(shù)的單調(diào)性得到最值.【詳解】∵PQ∥y軸，P（t，0），∴Q（t，f（t））即Q（t，），又f（x）＝etx（t＞0）的導(dǎo)數(shù)f′（x）＝tetx，∴過(guò)Q的切線斜率k＝t，設(shè)R（r，0），則k，∴r＝t，即R（t，0），PR＝t﹣（t），又S（1，f（1））即S（1，et），∴△PRS的面積為S，導(dǎo)數(shù)S′，由S′＝0得t＝1，當(dāng)t＞1時(shí)，S′＞0，當(dāng)0＜t＜1時(shí)，S′＜0，∴t＝1為極小值點(diǎn)，也為最小值點(diǎn)，∴△PRS的面積的最小值為．故答案為：．本題考查了利用導(dǎo)數(shù)求面積的最值問(wèn)題，意在考查學(xué)生的計(jì)算能力和應(yīng)用能力.15．【解析】

依題意設(shè)前三個(gè)和尚的身高依次為，第四個(gè)(最高)和尚的身高為，則，解得，又，解得，又因?yàn)槌傻缺葦?shù)列,則公比，故.16．【解析】

先利用輔助角公式將轉(zhuǎn)化成,根據(jù)函數(shù)是定義在上的奇函數(shù)得出,從而得出函數(shù)解析式,最后求出即可.【詳解】解:,又因?yàn)槎x在上的奇函數(shù),則,則,又因?yàn)?所以,,所以.故答案為:本題考查三角函數(shù)的化簡(jiǎn),三角函數(shù)的奇偶性和三角函數(shù)求值,考查了基本知識(shí)的應(yīng)用能力和計(jì)算能力,是基礎(chǔ)題.三、解答題：共70分。解答應(yīng)寫出文字說(shuō)明、證明過(guò)程或演算步驟。17．（1）不同的樣本的個(gè)數(shù)為.（2）①分布列見解析，.②線性回歸方程為.可預(yù)測(cè)該同學(xué)的物理成績(jī)?yōu)?6分.【解析】

（1）按比例抽取即可，再用乘法原理計(jì)算不同的樣本數(shù).（2）名學(xué)生中物理和數(shù)學(xué)都優(yōu)秀的有3名學(xué)生，任取3名學(xué)生，都優(yōu)秀的學(xué)生人數(shù)服從超幾何分布，故可得其概率分布列及其數(shù)學(xué)期望.而線性回歸方程的計(jì)算可用給出的公式計(jì)算，并利用得到的回歸方程預(yù)測(cè)該同學(xué)的物理成績(jī).【詳解】（1）依據(jù)分層抽樣的方法，24名女同學(xué)中應(yīng)抽取的人數(shù)為名，18名男同學(xué)中應(yīng)抽取的人數(shù)為名，故不同的樣本的個(gè)數(shù)為.（2）①∵7名同學(xué)中數(shù)學(xué)和物理成績(jī)均為優(yōu)秀的人數(shù)為3名，∴的取值為0，1，2，3.∴，，，.∴的分布列為0123∴.②∵，.∴線性回歸方程為.當(dāng)時(shí)，.可預(yù)測(cè)該同學(xué)的物理成績(jī)?yōu)?6分.在計(jì)算離散型隨機(jī)變量的概率時(shí)，注意利用常見的概率分布列來(lái)簡(jiǎn)化計(jì)算（如二項(xiàng)分布、超幾何分布等）．18．（1）在上單調(diào)遞增，在上單調(diào)遞減．（2）見解析【解析】

（1）求出導(dǎo)函數(shù)，由確定增區(qū)間，由確定減區(qū)間；（2）求出含有參數(shù)的，再求出，由的兩根是，得，計(jì)算，代入后可得結(jié)論．【詳解】解：，函數(shù)的定義域?yàn)?，．?）當(dāng)時(shí)，，由得，由得，故函數(shù)在上單調(diào)遞增，在上單調(diào)遞減．（2）證明：由條件可得，，，方程的兩根分別為，，，且，可得．．本題考查用導(dǎo)數(shù)研究函數(shù)的單調(diào)性，考查導(dǎo)數(shù)的運(yùn)算、方程根的知識(shí)．在可導(dǎo)函數(shù)中一般由確定增區(qū)間，由確定減區(qū)間．19．（1）（2）答案見解析（3）答案見解析【解析】

（1）設(shè)曲線在點(diǎn)，處的切線的斜率為，可求得，，利用直線的點(diǎn)斜式方程即可求得答案；（2）由（Ⅰ）知，，分時(shí)，，三類討論，即可求得各種情況下的的單調(diào)區(qū)間為；（3）分與兩類討論，即可判斷函數(shù)的零點(diǎn)個(gè)數(shù)．【詳解】（1），，設(shè)曲線在點(diǎn)，處的切線的斜率為，則，又，曲線在點(diǎn)，處的切線方程為：，即；（2）由（1）知，，故當(dāng)時(shí)，，所以在上單調(diào)遞增；當(dāng)時(shí)，，；，，；的遞減區(qū)間為，遞增區(qū)間為，；當(dāng)時(shí)，同理可得的遞增區(qū)間為，遞減區(qū)間為，；綜上所述，時(shí)，單調(diào)遞增為，無(wú)遞減區(qū)間；當(dāng)時(shí)，的遞減區(qū)間為，遞增區(qū)間為，；當(dāng)時(shí)，的遞增區(qū)間為，遞減區(qū)間為，；（3）當(dāng)時(shí)，恒成立，所以無(wú)零點(diǎn)；當(dāng)時(shí)，由，得：，只有一個(gè)零點(diǎn)．本題考查利用導(dǎo)數(shù)研究曲線上某點(diǎn)的切線方程，利用導(dǎo)數(shù)研究函數(shù)的單調(diào)性，考查分類討論思想與推理、運(yùn)算能力，屬于中檔題．20．（1）；（2）.【解析】

（1）求導(dǎo)得到有兩個(gè)不相等實(shí)根，令，計(jì)算函數(shù)單調(diào)區(qū)間得到值域，得到答案.（2），是方程的兩根，故，化簡(jiǎn)得到，設(shè)函數(shù)，討論范圍，計(jì)算最值得到答案.【詳解】（1）由題可知有兩個(gè)不相等的實(shí)根，即：有兩個(gè)不相等實(shí)根，令，，，，；，，故在上單增，在上單減，∴.又，時(shí)，；時(shí)，，∴，即.（2）由（1）知，，是方程的兩根，∴，則因?yàn)樵趩螠p，∴，又，∴即，兩邊取對(duì)數(shù)，并整理得：對(duì)恒成立，設(shè)，，，當(dāng)時(shí)，對(duì)恒成立，∴在上單增，故恒成立，符合題意；當(dāng)時(shí)，，時(shí)，∴在上單減，，不符合題意.綜上，.本題考查了根據(jù)極值點(diǎn)求參數(shù)，恒成立問(wèn)題，意在考查學(xué)生的計(jì)算能力和綜合應(yīng)用能力.21．（1）見解析；（2）證明見解析.【解析】

（1），分，，，四種情況討論即可；（2）問(wèn)題轉(zhuǎn)化為，利用導(dǎo)數(shù)找到與即可證明