位置：成果数据库 > 期刊 > 期刊详情页
作辅助线求完全四边形线段比例的机械化方法
  • ISSN号：0583-1458
  • 期刊名称：《数学通报》
  • 时间：0
  • 分类：O123.1[理学—数学;理学—基础数学]
  • 作者机构：广州大学计算机科学与教育软件学院,510006
  • 相关基金：国家自然科学基金项目(11326212);广州市教育局科技项目(2012A019)
作者： 邹宇, 张景中, 饶永生
关键词： 四边形, 直线段, 机械化, 辅助线, 比例, 三线共点, 竞赛试题, 平面几何
中文摘要：

1引言 两两相交又没有三线共点的四条直线段及它们的六个交点所构成的图形称作完全四边形，如图1所示。在很多的几何题图中，我们都能找到一个或多个完全四边形。完全四边形有许多优美的性质，这些性质是求解许多平面几何竞赛试题的重要工具。

同期刊论文项目
可构图几何定理向量法可读机器证明的完全性新算法
期刊论文 6
　基于质点法的几何定理可读机器证明新算法研究
期刊论文 14
同项目期刊论文
SGARP中符号计算模块的实现及其应用
SGARP中全角法的实现
质点法在SGARP中的新实现
几何定理机器证明复系数质点法的改进及其应用
Z+Z智能教育平台超级画板的发展之我见
SGARP中符号计算模块的实现及其应用
SGARP中全角法的实现
质点法在SGARP中的新实现
几何定理机器证明复系数质点法的改进及其应用
Z+Z智能教育平台超级画板的发展之我见
表情识别的影响：评价联结还是刻板印象？
天麻的化学成分研究（Ⅱ）
水泥厂氨排放标准存在的问题及氨排放控制
红藤煎剂对盆腔炎模型大鼠子宫内膜整合素αvβ3表达影响的实验研究
贵州省基础教育信息化现状分析及对策
一类超线性时滞差分方程组的周期解
巧用文言文中的写作素材
红藤煎剂对盆腔炎大鼠子宫内膜HOXA10表达影响的实验研究
期刊信息
  • 《数学通报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学技术协会
  • 主办单位:中国数学会 北京师范大学
  • 主编：保继光
  • 地址：北京师范大学
  • 邮编：100875
  • 邮箱：shxtb@bnu.edu.cn
  • 电话：010-58807753
  • 国际标准刊号：ISSN：0583-1458
  • 国内统一刊号：ISSN：11-2254/O1
  • 邮发代号:2-501
  • 获奖情况:
  • 国内外数据库收录:
  • 中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:10083