同理可证相关论文
说到“江湖”二字,难免让人想起刀光剑影、侠肝义胆、快意恩仇等词语。可有句话说得好,有人的地方就有江湖,同理可证,有学生的地方......
该文以计算逻辑为理论基础，设计了一种模型以解决定理机器证明中的“同理可证”问题，该模型采用基于事例的推理方法来进行推理。......
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
提及微生物,可能大多数人的第一反应便是细菌、霉菌等诸如此类的字眼.正如生态链一般,老鼠有猫为伴,猫的存在为的是不让老鼠泛滥成......
本文得到n(!)m的计算公式,讨论n(!)m的性质,利用n(!)m得到一个组合公式及一个指数有关一个优美的恒等式。......
本文通过一些比较典型的代数和三角方面的习题,说明教师在讲解习题时,应经常启发学生对问题进行推广、引伸或发展,使学生由懂得一......
定理 垂心四面体中,垂心到四面体各顶点的每线的第一个三等分点、四面体各面的垂心和重心,共12点共球,其球心在垂心四面体的欧拉线......
学习向量的加减法离不开三角形，三角形的重心、垂心、内心、外心是三角形性质的重要组成部分，你知道它们的向量表示吗?你能证明吗?下......
本文以勃罗卡角的问题“ctgx=ctgA+ctgB+ctgC”为先导,在△ABC三边已知的条件下,探讨出“勃罗卡点到三角形顶点的距离的计算公式”......
文[1]脱稿后,笔者一直在考虑一个问题1的6n±1次方根,有无类似[1]中介绍的性质?更一般地,1的2mn±1次方根有否类似[1]中给......
命题1 若P为正△ABC的外接圆劣弧（?）上任一点,则有PA+PC=PB. 这一有趣结论现已推广到正（2n+1）边形之中,即有 命题2 若P为正（2n+1）边形A<s......
大家熟知sum form i=1 to ni=1/2 n（n+1） （*） 但sum form n<sub>1</sub>=1 to n sum form i=1 to n<sub>1</sub>i=?更一般地sum form n......
(本讲适合高中) 证明三条或三条以上直线相交于一点,简称为“多线共点”,“多线共点”问题在各类竞赛中常有出现,处理多线共点问题......
本文给出一个与费尔马点有关的有趣不等式。 命题 设F为△ABC的费尔马点,记FA=u,FB=v,FC=w,△FBC、△FCA、△FAB的内切圆半径分别......
题目:P、Q、R为△ABC的边AB、BC、CA上的点,且AP+AR=BP+BQ=CQ+...
命题 如图,ΔABC各角顶点与对边三等分点的连线中,相邻两条分别交于P、Q、R,则ΔPQR∽ΔABC,且相似比为1:5。......
1988年前苏联提供的一道IMO预选题是: 给定七个圆,六个小圆在一个大圆内,每个小圆与大圆相切,且与相邻两个小圆相切,若六个圆与大......
空间等腰梯形的性质及应用沈帼英（浙江慈溪市浒山中学）若Ａ、Ｂ、Ｃ、Ｄ不在同一平面内，且ＺＢＡＤ＝ＺＣＤ’Ａ，ＡＢ＝ＣＤ，则我们把空间四边形ＡＢＣＤ叫做空间等腰梯形．（如图１）其中ＡＢ、ＣＤ叫......
一道几何作图题的多种解法路李明（甘肃省华池县一中７４５６００）初中《几何》第二册１０２页给出了圆外一点作圆的切线的一种作法，为了丰富知识、开发智......
三角函数的对称中心徽县一中李宗奇通常人们认为，坐标原点是三角函数ｙ＝ｓｉｎｘ，ｙ＝ｔｇｘ及ｙ＝ｃｔｇｘ的对称中心。确切地说，三角函数有无数个对称中心，坐标原点只是......
本文首先讨论了当6t+1为素数时,2t个两两不相交的的并图的优美性,然后讨论了当6t+1为合数时,2t个两两不相交的并图的优美性。......
<正> 一、引言及表示公式设△={z:|z|<1},A表示△中解析函数的全体。F?A,HF表示F的闭凸包。EHF表示HF的极值点的全体。用f(z)〈g(z......
在一个问题中存在对称性时,若能充分利用这一性质,常常可以起到化繁为简、变难为易的作用。本文介绍两个关于对称性的定理,以及它......
在模糊集的定义中,隶属函数的值域是全有序结构[0,1],其中任意两元素是可比的。然而在现实世界中,不仅存在着可比较的东西,而且还......
成人中专试用教材《数学》（李祥伦主编）第二册P<sub>1</sub>24练习题10第6题是一道带“*”的习题,可以按一般方法求解。在教学实践中......
a+b+c=0(a、b、c∈R)有许多简洁、优美的结论,且有着广泛的用途.本文作一探讨,供大家参考.结论1若a+b+c=0,则b~2≥4ac或a~2≥4bc或......
定理若均a、b、c、d为正数,且a/b【c/d,则a/b【(a+c)/(b+d)【c/d).证∵a、b、c、d均为正数,∴由a/b【(a+c)/(b+d)【=】a(b+d)【b(a......
圆锥曲线上一点到定点与焦点距离和与差的最值问题是各项考试常考的问题,也是学生感到棘手的问题,现总结于下:......
擂题(26)在锐角△ABC中,设m=cosA cosB cosC,求证:(1+m)~3≥27(cos~2A+m)(cos~2B+m)(cos~2C+m)....
本刊1999年第2期发表的夏培贵文提出关于三角形分周线与界心的三个定理,是用解析法证明的.本文从另外的思路探讨,也归结为三个定理......
最近看了几篇揭露腐败分子的文章,对贪官深为憎恶。但是细想,贪官虽可憎,可如果没有比贪官更贪的女人,恐怕贪官也未必会成为贪官了......
我们知道,光在均匀介质中都是沿直线传播的,即光沿最短路径行走。但是,光在反射中所走路径是否最短呢? 下面以光从A点经某凸镜反射......
设P为△ABC 的费马点,△PBC,△PCA,△PAB的 内切圆半径分别为r_a,r_b,r_c,△ABC的三边为a,b,C,...
有这样一个恒等式: 若abc=1,则1/(ab+a+1)+1/(bc+b+1)+1/(ca+c+1)=1。...
众所周知,在三角形的内心、外心、重心及垂心这四个心中,若存在着两心重合,则此三角形必为正三角形。因而这个三角形的四“心”也......
