2016年高考(1392)启慧·全国大联考2016届高三12月联考语文试题(衡阳市第一次联考) 扫描版含答案
2016高考语文试题附标准答案
2016年普通高等学校招生全国统一考试语文注意事项：1.本试卷分第Ⅰ卷（阅读题）和第Ⅱ卷（表达题）两部分。
答卷前，考生务必将自己的姓名、主考正好填写在答题卡上。
2.作答时，将答案卸载答题卡上。
卸载本试卷上无效。
3.考试结束后，将本试卷和答题卡一并交回。
第Ⅰ卷阅读题甲必考题一、现代文阅读（9分，每小题3分）阅读下面的文字，完成1~3题。
艺术品的接受在过去并不被看作是重要的美学问题，20世纪解释学兴起，一个名为“接受美学”的美学分支应运而生，于是研究艺术品的接受成为艺术美学中的显学。
过去，通常只是从艺术品的立场出发，将创作看作艺术家审美经验的结晶过程，作品完成就意味着创作完成。
而从接受美学的角度来看，这一完成并不说明创作已经终结，它只说明创作的第一阶段告一段落，接下来是读者或观众、听众的再创作。
由于未被阅读的作品的价值包括审美价值仅仅是一种可能的存在，只有通过阅读，它才转化为现实的存在，因此对作品的接受具有艺术本体的意义，也就是说，接受者也是艺术创作的主体之一.艺术文本即作品对于接受者来说具有什么意义呢？接受美学的创始人、德国的伊瑟尔说艺术文本是一个“召唤结构”，因为文本有“空白”“空缺”“否定”三个要素。
所谓“空白”是说它有一些东西没有表达出来，作者有意不写或不明写，要接受者用自己的生活经验与想象去补充；所谓“空缺”，是语言结构造成的各个图像间的空白，接受者在阅读文本时要把一个个句子表现的图像片断连接起来，整合成一个有机的图像系统；所谓“否定”指文本对接受者生活的现实具有否定的功能，它能引导接受者对现实进行反思和批判。
由此可见，文本的召唤性需要接受者呼应和配合，完成艺术品的第二次创作。
正如中国古典美学中的含蓄与简洁，其有限的文字常常引发出读者脑海中的丰富意象.接受者作为主体，他对文本的接受不是被动的。
海德格尔提出“前理解”，即理解前的心理文化结构，这种结构影响着理解。
理解不可能是文本意义的重现，而只能是文本与“前理解”的统一。
16年高考语文全国卷.doc
绝密★启用前2016年普通高等学校全国统一考试(I卷)语文请注意基础知识学习注意事项：1．本试卷分第I卷（阅读题）和第II卷（表达题）两部分。
2．考生务必将自己的姓名、考生号填写在答题卡上。
3．作答时，将答案写在答题卡上。
写在本试卷上无效。
4．考试结束后．将本试卷和答题卡一并交回。
第I卷阅读题甲必考题一、现代文阅读（9分，毎小题 3分）阅读下面的文字，完成1〜3题殷墟甲骨文是商代晚期刻在龟甲兽骨上的文字，是商王室及其他贵族利用龟甲兽骨占卜吉凶时写刻的卜辞和与占卜有关的记事文字，殷墟甲骨文的发现对中国学术界产生了巨大而深远的影响。
甲骨文的发现证实了商王朝的存在。
历史上，系统讲述商史的是司马迁的《史记·殷本纪》，但此书撰写的时代距商代较远；即使公认保留了较多商人语言的《尚书·盘庚》篇，其中亦多杂有西周时的词语，显然是被改造过的文章。
因此，胡适曾主张古史作为研究对象，可“缩短二三千年，从诗三百篇做起”。
甲骨文的发现，将商人亲手书写、契刻的文字展现在学者面前，使商史与传说时代分离而进入历史时代。
特别是1917年王国维写了《殷卜辞中所见先公先王考》及《续考》，证明《史记·殷本纪》与《世本》所载殷王世系几乎皆可由卜辞资料印证，是基本可靠的。
论文无可辩驳地证明《殷本纪》所载的商王朝是确实存在的。
甲骨文的发现也使《史记》之类的历史文献中有关中国古史记载的可信性增强。
因为这一发现促使史学家们想到，既然《殷本纪》中的商王世系基本可信，司马迁的《史记》也确如刘向、扬雄所言是一部“实录”，那么司马迁在《史记·夏本纪》中所记录的夏王朝与夏王世系恐怕也不是向壁虚构，特别是在20世纪20年代疑古思潮流行时期，甲骨文资料证实了《殷本纪》与《世本》的可靠程度，也使历史学家开始摆脱困惑，对古典文献的可靠性恢复了信心。
甲骨文的发现同时引发了震撼中外学术界的殷墟发掘。
“五四运动”促使中国的历史学界发生了两大变化：一是提倡实事求是的科学态度，古史辩派对一切经不住史证的旧史学的无情批判，使人痛感中国古史上科学的考古资料的极端贫乏；二是历史唯物主义在史学界产生了巨大影响，1925年王国维在清华国学研究院讲授《古史新证》，力倡“二重证据法”，亦使中国历史学研究者开始注重地下出土的新材料。
2016年普通高等学校招生全国统一考试(语文试题及答案)WORD版
绝密★启用前2016年普通高等学校招生全国统一考试语文本试卷分第I卷（阅读题）和第Ⅱ卷（表达题）两部分,共18题，共150分，共10页。
考试结束后，将本试卷和答题卡一并交回。
注意事项：1. 答卷前，考生先将自己的姓名，准考证号码填写清楚，将条形码准确粘贴在条形码区域内。
2. 答题时请按要求用笔3. 请按照题号顺序在各题目的答题区域内作答，超出答题区域书写的答案无效；在草稿纸、试题卷上答题无效。
4. 作图可先使用铅笔画出，确定后必须用黑色字迹的签字笔描黑。
5. 保持卡面清洁，不要折叠，不要弄破弄皱，不准使用涂改液，修正带，刮纸刀。
第I卷阅读题甲必考题―、现代文阅读（9分，每小题3分）阅读下面的文宇，完成1〜3題．人们常说“小说是讲故事的艺术”，但故事不等于小说，故事讲述人与小说家也不能混为一谈。
就传统而言，讲故事的讲述亲身经历或道题听途说的故事，口耳相传，把它们转化为听众的经验；小说家则通常记录见闻传说，虚构故事，经过艺术处理，把它们变成小说交给读者。
除流传形式上的简单差异外，早期小说和故事的本质区别并不明显，经历和见闻是它们的共同要素，在传统较为落后的过去，作为远行者的商人和水手最适合充当故事讲述人的角色，故事的丰富程度与远行者的游历成比。
受此影响，国外古典小说也常以人物的经历为主线组织故事，《荷马史诗》《一千零一夜》都是描述某种特殊的经历和遭遇，《唐吉可德》中的故事是唐吉可德的行侠奇遇和所见所闻，17世纪欧洲的流浪汉小说也体现游历见闻的连缀。
在中国，民间传说和历史故事为志怪类和史传类的小说提供了用之不竭的素材，话本等古典小说形式也显示出小说和传统故事的亲密关系。
虚构的加强使小说和传统质检的区别清晰起来。
小说中的故事可以来自想象。
不一定是作者的亲历亲闻。
小说家常闭门构思，作品大多诞生于他们的离群索居的时候，小说家可以闲坐在布宜诺斯艾利斯的图书馆中，或者在巴黎一间终年不见阳光的阁楼里，杜撰他们想象中的历险故事，但是，一名水手也许历尽千辛万苦才能把在东印度群岛听到的故事带回伦敦；一个匠人漂泊一生，积攒下无数的见闻、掌故或趣事，当他晚年作在火炉旁给孩子们讲述这一切的时候，他本人就是故事的一部分，传统故事是否值得转述，往往只取决于故事本身的趣味性和可流传性，与传统的故事方式不同，小说家一般并不单纯转述故事，他是在从事故事的制作和生产，有深思熟虑的讲述目的。
2016届高三下学期第二次全国大联考(新课标Ⅰ卷)语文试卷
资料概述与简介 绝密★启用前 2016年第二次全国大联考【新课标Ⅰ卷】 语文试题 注意事项： 1．本试卷分第I卷（阅读题）和第II卷（表达题）两部分，考生务必将自己的姓名、考生号填写在答题卡上。
2．作答时，将答案写在答题卡上。
写在本试卷上无效。
3．考试结束后，将本试卷和答题卡一并交回。
第Ⅰ卷 阅读题 甲 必考题 一、现代文阅读（9分，每小题3分） 阅读下面的文字，完成1~3题。
自魏晋以来，在玄学思潮的推动下，开创了在文学创作中追求言外之意、弦外之音、象外之趣以及言有尽而意无穷的美学旨趣。
中国古代诗歌理论对此有大量论述，这是众所周知的。
由此，许多人认为这是中国古典美学和诗歌理论独有的特征，因而不同于西方美学理论重视文学作品严密的逻辑性和理性的分析，不重视以有限的形式容纳无限的内涵。
但事实并非如此。
现代西方接受美学理论指出，一部文学作品中总是存在许多意义空缺部分。
德国康士坦茨学派的伊瑟尔认为，作品本身是作家有意识活动的产物，只能部分地左右读者的理解和反应，其中总包含一些“空白”或“不明确的因素”。
这一点在现代文学中尤其明显。
伊瑟尔在《隐含的读者》一书中，从对英国古典作家班扬到现代作家贝克特的作品进行的历史考察中，发现这几个世纪以来，西方文学作品总的趋势是“空白”和“不确定性”越来越多，因而要求读者在阅读过程中必须有主观因素的积极参与。
西方现代接受美学也把追求空白和不确定性，作为衡量文学作品艺术水准高下的重要尺度。
上述事实都说明，重视文学作品的言外之意、言不尽意和以少寓多，并不只是中国古典美学和诗学的特征，而可以说是人类审美的普遍现象。
这一人类经验的普遍特征，同人类语言的特点有着内在的联系。
正是由于人类语言在表达意义和情感时普遍存在局限性，因此无论怎样详尽的语言描述也不可能把现象世界的全貌呈现于人们的面前，而必须以形象去调动人们的想象，来弥补自然语言在表意方面的不足，“穷理析义，须资象喻”，形象可以启示联想，“作者得于心，览者会以意，殆难指陈以言也”。
2016届高三上学期12月联合调研考试语文试卷
语文试卷一、阅读下文，达成1—6 题（ 17 分）⑴“假如科学的意义是发现世界的真切状况并加以解说，你一定在发现了某些状况以后，才能问它对我们能否实用。
在此从前，假如你去问那些还在‘发现’过程中间的人，‘你研究的东西有什么用’，他们预计也不好回答。
”⑵在被多次问及“学这个有什么用” 后，陶衍，剑桥大学心理语言学专业内隐学习的学生，这样解说他对科学研究的终极理解——科学，是一个积累的过程。
⑶走在伦敦城外的牛桥，就听到许多当地人诉苦“大环境不好” ：象牙塔弄丢了“科学” ，愈来愈像高等职业技术学校。
有人说，这是“火车” 造的孽，以火车为代表的现代交通方式，将都市的声色犬马引入以前远离尘嚣的知识净土；再此后，一颗名为“功利主义”的种子埋入人心，对学术的追求不再纯粹，商业、金融等应用型专业成为大众追赶的骄子。
⑷但是，仍有一群人，在求索一些最基础的、或在世俗看来“无用．．”的学科。
⑸好多时候，陶衍不太愿意和他人沟通自己的专业。
“很多人听不懂，我也更怕被人问，‘学这个有什么用？’”⑹所幸，身处剑桥，陶衍其实不感觉自己是“异类”。
自100 多年前，这里就是“异类”的集聚地——大家只做学术，不关怀“实用”。
⑺翻开牛剑的故事集，各处充满着“不行知论”者的传说：对全部不行知的东西都充满好奇，追根溯源；裹扎“怪行”，亦不以为奇。
⑻跑到剑桥大学学习神学的达尔文，在南美洲近 5 年的观察后竟引起了一场世界观的革命——《论物种发源》。
发现DNA的双螺旋构造的克里克和沃森，当时不过试图经过对大脑的研究，查出“灵魂究竟是什么”。
还有埃塞克· 牛顿，一个苹果，促成他的划时代著作《数学原理》。
⑼为何这些不算发达的农村会这样密集地出生那么多精英？很多人试图找寻答案。
这里的老师和学生告诉记者，也许就是对“未知的尊敬”。
⑽好像在 18 世纪的头10 年中，剑桥三一学院的学生要学习《人类理解论》、《上帝创世智慧》、《读史方略》等等，他们还要学习几何学。
2016届高三下学期第二次全国大联考(新课标Ⅱ卷)语文试卷
资料概述与简介 绝密★启用前 2016年第二次全国大联考【新课标Ⅱ卷】 语文试题 注意事项： 1．本试卷分第I卷（阅读题）和第II卷（表达题）两部分，考生务必将自己的姓名、考生号填写在答题卡上。
2．作答时，将答案写在答题卡上。
写在本试卷上无效。
3．考试结束后，将本试卷和答题卡一并交回。
第I卷 阅读题 甲 必考题 一、现代文阅读（9分，每小题3分） 阅读下面的文字，完成1～3题。
我时常想做学问做事业在人生中都只能算是第二桩事。
人生第一桩事是生活。
我所谓生活是享受是领略是培养生机。
假若为学问为事业而忘却生活那种学问事业在人生中便失其真正意义与价值。
因此我们不应该把自己看作社会的机械。
一味迎合社会需要而不顾自己兴趣的人就没有明白这个简单的道理。
最怕谈专门的书呆子我把生活看做人生第一桩要事所以不赞成早谈专门；早谈专门便是早走狭路而早走狭路的人对于生活常不能见得面面俱到。
前天G君对我谈过一个故事颇有趣很可说明我的道理。
他说有一天一个中国人一个印度人和一位美国人游历走到一个大瀑布前面三人都看得发呆；中国人说自然真是美丽印度人说在这种地方才见到神的力量呢美国人说可惜偌大水力都空费了这三句话各不同各有各的真理也各有各的缺陷。
在完美的世界里我们在瀑布中应能同时见到自然的美丽神力的广大和水力的实用。
许多人因为站在狭路上只能见到诸方面的某一面便说他人所见到的都不如他的真确。
前几年大家曾煞有介事地争辩哲学和科学争辩美术和宗教不都是坐井观天诬天渺小么 我最怕和谈专门的书呆子在一起你同他谈话他三句话就不离本行。
谈到本行以外旁人所以为兴味盎然的事物他听之则麻木不能感觉。
像这样的人是因为做学问而忘记生活了。
我特地提出这一点来说因为我想现在许多人大谈职业教育而不知单讲职业教育也颇危险。
我并非反对职业教育我却深深地感觉到职业教育应该有宽大自由教育做根底。
倘若先没有多方面的宽大自由教育做根底则职业教育的流弊在个人方面常使生活单调乏味在社会方面常使文化肤浅褊狭。
2016届高三12月联考试卷
• (3)①严肃认真，爱子情深。如不让孩子听大人谈话，及 链接中的相关内容。 • ②狂傲固执，不通人情世故。如信手拈来一些翻译家谬 误的例子，不留情面。 • ③虚心求进，从不自满。如对翻译工作无限认真，不懈 地虚心求进，不满足于现在，向朋友虚心请教。 • ④为人随和，从谏如流。如，和周煦良同志合办《新语》 不摈弃外行钟书的意见。 • ⑤关心国计民生。（答对3点给满分，其他答案言之成理 酌情给分）
• 8．本诗前四句通过运用“搴”“弄”等动作描写和“畏” 等心理描写的手法，（2分）塑造了一个酷爱兰花、赏玩 秋 月、归宿云间的高洁闲适、超凡脱俗的隐士形象。（3 分） • 9．一“朝”一“暝”表明诗人整日徜徉于山中，表达了 诗人对山中超越尘世的悠闲隐逸生活的喜爱；“搴 兰”“宿云 际”“弄石上月”表现了诗人的高洁情怀； 中间四句表现诗人对山中夜景的欣赏和感悟；“谁与 伐”“徒晞发”表 明无人和自己一起欣赏此种美景，因 而诗人内心充满了孤独与遗憾。（答对3点给满分）
• 12. (1)DE(答对一项给2分，全对给5分) • 解析：A项，没有心理描写。B项，梅馥的做法是丈夫盛 怒时的一种缓冲，不涉及孩子的教育问题，更不是 “表 里不一”。C项，没有“不满”；“专制”错误。） • (2)①通过对比，表明世人对他的不理解。他其实并不是 高高在上，不是不屑顾视地下的泥淖；相反，只是不 善 在世途上圆转周旋；②表现出当时的世情险恶，而他孤 弱可怜，无以自卫，渺小得像一只老鼠；③将书斋比 作 自己安身的“洞穴”，于书斋巾潜心翻译工作，于洞口 窥望外面的大世界，表现出他虽有几分无奈，却又时 刻 关心国计民生。（每点计2分，意思对即可）
• (3)划线句子是对家珍神态和动作的细节描写，细腻传神，极
富表现力。（2分）文中描写“眼睛一动不动地 看着”“定 定的像是快从眼眶里突出来”“一颗泪水都没有掉下来”， 表现出失去女儿后家珍的极度悲痛，有力 透纸背的效果。 （2分）而“看着风霞”“手在脸上和头发上摸着”则淋漓尽 致地表现了母亲对女儿的细腻而 温柔的爱。（2分） • (4)①交代故事发生的深冬时间和严寒背景。②成为文章线索， 推动情节发展，由下雪至雪花、雪珠，再到雪 停，完成一个 循环过程，使得结构完整。③以自然环境巾的“雪”渲染凤 霞死时的凄凉氛围，使环境与人物当 时的心境相呼应，表达 悲哀的情感，象征人物命运的凄凉。④烘托人物形象，用 “雪”来表达纯洁美好的人 性。（每点计2分）
2016届百校大联考全国名校联盟高三联考一语文试卷
2016届百校大联考全国名校联盟高三联考一语文试卷学校_________ 班级__________ 姓名__________ 学号__________一、现代文阅读1. 阅读下面的文字，完成小题。
汉画像对世俗生活的痴迷程度是令人吃惊的。
它所记述的那些生活资料丰富、详细、准确、全面，以至于它对当时人们生活娱乐、工业制作、出仕做官、拜谒觐见和狩猎战斗等内容的记述可以作为严肃而严谨的学术研究资料而进入这一时期的社会生活史研究，并起到文字资料所不可替代的形象作用。
显然，汉代人在创作这些图像资料时并未将之作为幻想材料加以处理，而是采取了“彻底的写实主义”态度。
正是这些逼真、准确、精细的世俗生活内容的渗透建构了汉画像的精神世界，后者又反过来加强了人们对世俗生活乐趣的认同和建构。
“人间生活的乐趣”是汉画像审美意识内容的核心主题，而且这一主题具有极强的生命力，一直在影响着华夏民族对自我生活和生命存在的认识，并反映在他们的墓葬中。
如山东沂南出土的汉画像石生动、翔实而全面地记录了一对墓主人夫妇进食时的热闹繁忙景象。
作为整个墓葬的重要组成部分，这幅画像所记录的正是当时士人阶层的自我世俗生活场景，它几乎构成了汉画像表现内容的基本主题之一。
由此，这块画像石所表现的内容亦具有不同寻常的意义：墓葬的设计者似乎要将自己现世的生活完全带入死后世界；换言之，在他的思想观念中，死后的世界实际上是现世世俗生活的延续。
于是，汉代人墓葬里的图像世界就具有了延续世俗生活的意义和作用，日常生活由此被无限延展而获得永恒性。
通过对各种文献和资料的考查，我们可以发现，在有汉一代，人们一直在倾其所有、通过各种手段和途径将自我的世俗生活延续下去，并使之永恒化。
这构成了汉代艺术尤其是汉画像艺术的基本的也是最重要的主题。
山东沂南出土的这块汉画像石仅展现了汉代人生活中的一个场景，更多的同类图像资料证明，他们不仅将自己生活中的各种场景以图像的方式保存下来，而且还将生活中所能使用到的几乎所有物品均以模型或实物的方式一同埋入墓葬。
2016届高三12月月考语文试题(附答案)
高三年级12月月考语文试卷注意事项：1、本试卷分第I卷（阅读题）和第II卷（表达题）两部分，答题前，务必先将自己的姓名、准考证号填写在答题卡上。
2、考生作答时，将客观题答案按题号顺序答在答题卡上，主观题答案答在答卷纸上。
第I卷阅读题一、论述类文本阅读（9分，每小题3分）同其他林木相比，竹子颇有一些独特之处，如虚心、有节、清拔凌云、不畏霜雪、随处而安等等。
这些特点，很自然地与历史上某些审美趣味、伦理道德意识发生契合，进而被引入社会伦理美学范畴，成为君子贤人等理想人格的化身，并对中国传统文化的发展产生深刻的影响。
不仅春风得意的封建宠儿常常以竹来互相吹捧或以竹自诩，那些落泊荒野的书生和隐居“南山”、待价而沽的名士，也普遍寓情于竹、引竹自况。
在这种独特的文化氛围中，有关竹子的诗词歌赋层出不穷，画竹成为中国绘画艺术中一个重要门类，封建士大夫在私园、庭院中种竹养竹以助风雅，亦成为普遍风气。
最早赋予竹以人的品格，把它引入社会伦理范畴的，要算《礼记》了。
《礼记•祀器》中说：“……其在人也，如竹箭之有筠也，如松柏之有心也。
二者居天下之大端矣，故贯四时而不改柯易叶。
”魏晋时期政治局势反复无常，文人士子意气消沉，以阮籍、嵇康为代表的一批失意文人，为逃避现实，不与当权者合作，遁隐竹林，借竹之高标、清姿佐己之风流，在当时社会引起很大震动，对后代封建文人的行止也产生了莫大影响。
可以说，敬竹崇竹、寓情于竹、引竹自况，竹林七贤乃是“始作俑者”。
自此以后，中国的文人士大夫便与竹子结下了不解之缘。
晋室东渡之后，文人士子大量南逃，南方秀丽的山水将他们从对现实的迷惘、懑闷中解脱出来。
他们纵情山水，远离尘嚣，与大自然融为一体，广袤的竹林正是他们托身、浪迹之所，竹子清丽俊逸、挺拔凌云的姿质令风流名士们沉醉痴迷。
一时间，闻有好竹即远涉造访而不通名姓者有之，种竹十顷栖居林中者有之，对竹啸吟终日不辍者亦有之，王徽之、张廌、翟庄、袁粲等，是其中风流最著者；王徽之乃至声称：不可一日无此君！这一时期，文人雅士赋竹、赞竹，为竹作谱，蔚成风气。
2016高考语文真题与答案
上的一些列成就，特别是他运用机械化思想来考察数学，发现了数学的不同侧面，并建立了新的模式，这全面得益于他的独辟蹊径。
对我国的数学基础教育，吴文俊也颇有心得。
我国中学生多次在国际奥数竞赛中获奖，被当作我国数学教育成功的证明，但吴文俊更赞同丘成桐的观点：“奥数应该是一种建立在兴趣之上的研究性、高层次学习，中国的奥数学习过分关注海量题目，直接与考试、竞赛挂钩，对系统学数学不利。
作为基础学科，应着重引导学习的兴趣，不应当过分追求功利。
”吴文俊同样清醒认识到：“竞赛获奖固然可贵，但也不能看得过重，因为它不能代表学生对数学的深度理解，也不能有效地训练数学思维。
”他认为，数学教育更重要的是培养数学的思维方式。
有人曾揶揄数学家迂腐，吴文俊不但不迂腐，而且兴趣广泛，内心充满童趣，他说：“我是个想怎样就怎样的人，想玩就玩，想工作了就会安安静静地工作，从不多想。
”他喜欢看电影、读历史小说，也喜欢看围棋比赛。
老伴说他“贪玩”，他却说：“读历史书籍、看历史影片，帮助了我的学术研究；看围棋比赛，更培养了我的全局观念和战略眼光。
”吴文俊37岁时就获得了国家自然科学一等奖，四十多年后，他再次获得国家最高科技奖。
如此长的学术生命，在数学界是非常罕见的。
当记者提出疑问时，吴文俊反问道：“我为什么不能保持这么长的学术生命？”在他看来，学术生命是能够终生保持的，很多人做不到，那是他们自己的问题，应该自我反省。
他特别强调研究数学要下扎实的工夫。
他说：“外国许多数学家，尽管有的我非常佩服，可是我并不认同他们靠所谓巧思妙想研究数学的办法。
应该根据客观实际具体分析，一切以事实为主。
这是我主要的想法。
”（摘编自柯琳娟《吴文俊传》）相关链接①1974年，吴文俊转向中国数学史研究，从中得到启发，开创了具有中国传统数学特点的数学机械化之路。
他提出的“吴方法”，继承和发扬了中国古代数学基于“计算”的传统，与通常基于逻辑的方法根本不同，首次试想了高效的几何定理自动证明。