Abstract
Miquel’s Five-Circle Theorem is difficult to prove algebraically. In this paper, the details of the first algebraic proof of this theorem is provided. The proof is based on conformal geometric algebra and its accompanying invariant algebra called null bracket algebra, and is the outcome of the powerful computational techniques of null bracket algebra embodying the novel idea breefs.
Supported partially by NKBRSF 2004CB318001 and NSFC 10471143.
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
Chou, S., Gao, X., Zhang, J.: Machine Proof in Geometry. World Scientific, Singapore (1994)
Hestenes, D., Sobczyk, G.: Clifford Algebra to Geometric Calculus. Kluwer, Dordrecht (1984)
Li, H., Hestenes, D., Rockwood, A.: Generalized Homogeneous Coordinates for Computational Geometry. In: Sommer, G. (ed.) Geometric Computing with Clifford Algebras, pp. 27–60. Springer, Heidelberg (2001)
Li, H.: Automated Theorem Proving in the Homogeneous Model with Clifford Bracket Algebra. In: Dorst, L., et al. (eds.) Applications of Geometric Algebra in Computer Science and Engineering, pp. 69–78. Birkhauser, Boston (2002)
Li, H.: Clifford Expansions and Summations. MM Research Preprints 21, 112–154 (2002)
Li, H.: Clifford Algebras and Geometric Computation. In: Chen, F., Wang, D. (eds.) Geometric Computation, pp. 221–247. World Scientific, Singapore (2004)
Li, H.: Automated Geometric Theorem Proving, Clifford Bracket Algebra and Clifford Expansions. In: Trends in Mathematics: Advances in Analysis and Geometry. Birkhauser, Basel, pp. 345–363 (2004)
Li, H.: Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. In: Winkler, F. (ed.) Automated Deduction in Geometry, pp. 106–123. Springer, Heidelberg (2004)
Li, H.: Symbolic Computation in the Homogeneous Geometric Model with Clifford Algebra. In: Gutierrez, J. (ed.) Proc. ISSAC 2004, pp. 221–228. ACM Press, New York (2004)
Li, H., Wu, Y.: Automated Short Proof Generation in Projective Geometry with Cayley and Bracket Algebras I. Incidence Geometry. J. Symb. Comput. 36(5), 717–762 (2003)
Li, H., Wu, Y.: Automated Short Proof Generation in Projective Geometry with Cayley and Bracket Algebras II. Conic Geometry J. Symb. Comput. 36(5), 763–809 (2003)
Sturmfels, B.: Algorithms in Invariant Theory. Springer, Wien (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, H., Xu, R., Zhang, N. (2005). On Miquel’s Five-Circle Theorem. In: Li, H., Olver, P.J., Sommer, G. (eds) Computer Algebra and Geometric Algebra with Applications. IWMM GIAE 2004 2004. Lecture Notes in Computer Science, vol 3519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11499251_18
Download citation
DOI: https://doi.org/10.1007/11499251_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26296-1
Online ISBN: 978-3-540-32119-4
eBook Packages: Computer ScienceComputer Science (R0)