%0 Journal Article
%T 几何学机械化方法及其应用——Ⅰ.距离、面积与体积
%A 吴文俊
%J 系统科学与数学
%D 1986
%I 
%X 本文是一系列文章的第一篇,这些文章阐述一种几何学及其有关领域的机械化方法,而着重在方法的应用方面.本文专门讨论欧氏或非欧平面或空间中有关距离、面积与体积间关系的自动推导.特别是,我们用这一方法发现了四面体体积 VOL 与外接球直径DIAM 间的一个关系式9*VOL∧2*DIAM∧2=S*(S-A)*(S-B)*(S-C),其中,S=(A B C)/2,而 A,B,C 则是三组对棱的乘积.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=6E709DC38FA1D09A4B578DD0906875B5B44D4D294832BB8E&cid=37F46C35E03B4B86&jid=0CD45CC5E994895A7F41A783D4235EC2&aid=2CD0975D587F04D70EC0E7F3FCDC12A7&yid=4E65715CCF57055A&vid=B31275AF3241DB2D&iid=38B194292C032A66&sid=02DC3A182A5530DF&eid=CEC789B3C68C3BB3&journal_id=1000-0577&journal_name=系统科学与数学&referenced_num=0&reference_num=0