| 无尺作图的基础作图体系的简化 |
| |
| 引用本文： | 杨力能,穆玉杰.无尺作图的基础作图体系的简化[J].纯粹数学与应用数学,2001,17(4):302-308,317. |
| |
| 作者姓名： | 杨力能 穆玉杰 |
| |
| 作者单位： | 1. 石油管材研究所螺纹研究室,西安,710065
2. 西北大学数学系,西安,710069 |
| |
| 基金项目： | 陕西省自然科学研究计划项目(99SL12) |
| |
| 摘 要： | 简化了《无尺作图》的原基础作图体系中七个作图命题的作图过程，便得：1.两个基本命题实际作图过程中使用圆规的次数从原来的约300次和200次都减少到100次以下；2.简化了的那些命题的逻辑推理更加简明精巧；3.整个体系中的命题个数减少两个，而且其逻辑结构与更加优美。
|
| 关 键 词： | 无尺作图 基础作图体系 欧氏几何 作图命题 |
| 文章编号： | 1008-5513(2001)04-0302-07 |
Simplification of basic graphing system in graphing without straightedge |
| |
| YANG Li neng ,MU Yu jie.Simplification of basic graphing system in graphing without straightedge[J].Pure and Applied Mathematics,2001,17(4):302-308,317. |
| |
| Authors: | YANG Li neng MU Yu jie |
| |
| Institution: | YANG Li neng 1,MU Yu jie 2 |
| |
| Abstract: | This paper simplifies the graphing processes of seven propositions in the basic graphing system of Yang (1999), so as to: 1, reduce the use of compasses in two of the basic graphing propositions from the previous 300 and 200 or so times to less than 100 each; 2. Simplify the logic deduction of these two processes; 3, Eliminate two propositions from the basic graphing system, refining structure of the entire system. |
| |
| Keywords: | graphing without straightedge basic graphing system euclidean geometry |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
