Abstract
In the higher mathematics and space analytic geometry materials, the plane pencil equation has important application value, but some of the materials did not give a strict proof about the definition of the plane pencil equation, even no proof. It caused great confusion and perplexity to the readers and teachers with using the materials. The paper mainly focus on the study of the definition of plane pencil equation. For the need of theorem proving, we first give a lemma, and give the detailed proof of plane pencil equation on the basis of the lemma. The purpose of the article is to make the reader can get clear understanding to this problem.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Department of Mathematics, Tongji University. Higher Mathematics, 6th edn., vol. 2, pp. 47–49. Higher Education Press, Beijing (2008)
Lv, L.: Analytic Geometry, pp. 137–138. Higher Education Press, Beijing (1992)
Department of Mathematics, Nankai University. Analytic Geometry of Space Introduction. People’s Education Press, Beijing (1978)
Shi, J.: Higher Mathematics Examples and Problem Sets, pp. 56–58. Xi’an Jiaotong University Press, Xi’an (2002)
Jiao, S.: Point to the straight line distance. Studies in College Mathematics 6(1), 8–10 (2003)
Yan, G.: Teaching and learning of mathematics refer to (First Volume), pp. 105–107. Northwest Industry University Press, Xi’an (2002)
Shen, Y., Gao, Z.: Multi-function differential calculus of several basic relationship between the concepts. Studies in College Mathematics 2(12), 33–36 (2009)
Wu, Z.: Mathematical analysis of engineering-based counseling to the book, vol. 2, p. 223. Higher Education Press, Beijing (2007)
Liu, D.: Straight-line distance between two different surfaces of a variety of formulas derived. Studies in College Mathematics 12(2), 21–23 (2009)
Wang, J., Fu, R.: Analytic geometry of space, pp. 81–84. Beijing Normal University Press, Beijing (2003)
Peng, F., He, S.: Space linear beam and equation. Journal of Mathematics for Technology (1), 110–112 (2000)
Chen, Z.: Advanced Algebra and Analytic Geometry, pp. 45–47. Higher Education Press, Springer (2002)
Hui, M.: Study on the Definition of Planes Equation. Journal of Tianjin Normal University (Natural Science Edition) 22(3), 38–39
You, H., Wu, B., Dong, Z.: Linear algebra and analytic geometry, pp. 38–40. Beijing Science Press (2001)
Xu, X., Yin, T.: A method for spatial point to straight distance-the application of beam plane. Studies in College Mathematics 7(2), 25–26 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Xia, G., Kong, L., Liu, Y., Liao, J., Zhang, R., Zhu, Y. (2011). Study on the Theorem Proving of Plance Pencil Equation. In: Liu, C., Chang, J., Yang, A. (eds) Information Computing and Applications. ICICA 2011. Communications in Computer and Information Science, vol 243. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27503-6_95
Download citation
DOI: https://doi.org/10.1007/978-3-642-27503-6_95
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27502-9
Online ISBN: 978-3-642-27503-6
eBook Packages: Computer ScienceComputer Science (R0)