机读格式显示(MARC)
- 000 01213nam0 2200277 450
- 010 __ |a 978-7-5603-3281-9 |d CNY28.00
- 035 __ |a (A330000ZJL)012011040465
- 100 __ |a 20110914d2011 em y0chiy0110 ea
- 200 1_ |a 计算方法与几何证题 |A Ji Suan Fang Fa Yu Ji He Zheng Ti |b 专著 |d Computational method and geometric applications |f 谢彦麟编著 |z eng
- 210 __ |a 哈尔滨 |c 哈尔滨工业大学出版社 |d 2011
- 330 __ |a 本书内容包括:借助基本量把证明题化为计算题的基本过程;用三角计算证题;用解析几何计算证题;解定值问题及极值问题;解较难的几何计算题(实际是未给出结论的证明题);用解析几何计算求轨迹;证动直线(圆)过定点或切于定圆,动圆与定直线相切;用复数、向量计算解几何题;证明二次曲线的几何性质;证明不等关系及杂例;用计算方法解立体几何题等。附录中介绍了几何定理证明机械化的过程。
- 510 1_ |a Computational method and geometric applications |z eng
- 606 0_ |a 几何学 |A Ji He Xue
- 701 _0 |a 谢彦麟 |A Xie Yan Lin |f (1940-) |4 编著
- 801 _0 |a CN |b ZL |c 20110914