四边形不等式的自动发现  

Automatically Finding of Quadrilateral Inequalities

作　　者：刘保乾 

机构地区：[1]西藏自治区组织编制信息管理中心,西藏拉萨850000

出　　处：《汕头大学学报（自然科学版）》2012年第2期9-17,共9页Journal of Shantou University：Natural Science Edition

摘　　要：对圆内接四边形和双圆四边形不等式的自动发现进行了探讨,并编写了应用程序;讨论了圆内接四边形不等式与双圆四边形不等式的区别和联系;初步探讨了圆内接四边形不等式的证明方法;发现了大量新颖优美的圆内接四边形不等式和双圆四边形不等式新结果;提出了若干待解决的问题.Automatic finding of inequalities in circle-inscribed quadrilaterals and doublecircle quadrilaterals is studied with computer application programs. The connections and differences between circle-inscribed quadrilaterals and double-circle quadrilaterals are discussed. The proof methods of inequalities in circle-inscribed quadrilaterals are studied. Many elegant circle-inscribed quadrilaterals and double-circle quadrilaterals are found and some unsolved questions are suggested.

关 键 词：不等式自动发现 圆内接四边形 双圆四边形 不等式 

分 类 号：O122.3[理学—数学]