Abstract
Employing a method of distance geometry, we present a symbolic solution to the following problem: express the edge-lengths of a tetrahedron in terms of its heights and widths.
This work is supported in part by NKBRPC-2004CB318003 and NNSFC-10471044.
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
Blumenthal, L.M.: Theory and Applications of Distance Geometry, Chelsea, New York (1970)
Cairns, G., McIntyre, M., Strantzen, J.: Geometric proofs of recent results of Yang Lu. Math. Mag. 66, 263–265 (1993)
Gröbner, W.: Matrizenrechnung, Bibliographisches Institut AG, Mannheim, F. R. G, pp. 119–126 (1966)
Hodge, W.V., Pedoe, D.: Methods of Algebraic Geometry, Cambridge, vol. I (1953)
Lee, J.R.: The Law of Cosines in a Tetrahedron. J. Korea Soc. Math. Ed. Ser. B: Pure Appl. Math. 4, 1–6 (1997)
Michelucci, D., Foufou, S.: Using Cayley-Menger Determinants for Geometric Constraint Solving. In: ACM Symposium on Solid Modelling and Applications (2004)
Muir, T.: A Treatise on the Theory of Determinants. In: Longmans, W.H. (ed.) revised by. Green, New York, pp. 166–170 (1933)
Sippl, M.J., Scheraga, H.A.: Cayley-Menger coordinates. In: Proc. Natl. Acad., USA, vol.  83, pp. 2283–2287 (1986)
Yang, L.: Distance coordinates used in geometric constraint solving. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 216–229. Springer, Heidelberg (2004)
Yang, L.: A new method of automated theorem proving. In: Johnson, J.H., Loomes, M.J. (eds.) The Mathematical Revolution Inspired by Computing, pp. 115–126. Oxford University Press, New York (1991)
Yang, L.: Solving spatial constraints with global distance coordinate system. International Journal of Computational Geometry & Applications 16(5-6), 533–548 (2006)
Yang, L., Zhang, J.Z.: A class of geometric inequalities on finite points. Acta Math. Sinica 23(5), 740–749 (1980)
Yang, L., Zhang, J.Z.: The concept of the rank of an abstract distance space. Journal of China University of Science and Technology 10(4), 52–65 (1980) (in Chinese)
Yang, L., Zhang, J.Z.: Metric equations in geometry and their applications. I.C.T.P. Research Report, IC/89/281, International Centre for Theoretical Physics, Trieste, Italy (1989)
Zhang, J.Z., Yang, L., Yang, X.C.: The realization of elementary configurations in Euclidean space. Science in China A 37(1), 15–26 (1994)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yang, L., Zeng, Z. (2007). Constructing a Tetrahedron with Prescribed Heights and Widths. In: Botana, F., Recio, T. (eds) Automated Deduction in Geometry. ADG 2006. Lecture Notes in Computer Science(), vol 4869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77356-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-77356-6_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77355-9
Online ISBN: 978-3-540-77356-6
eBook Packages: Computer ScienceComputer Science (R0)