arXiv · math/0410234
On a necessary and sufficient cyclicity condition for a quadrilateral
Abstract
A convex quadrilateral with sides a,b,c,d, and diagonals p,q is cyclic iff abp-bcq+cdp-daq=0. This condition, in spite of its simplicity, appears to be unnoted and unexpectedly proof-resilient. We employ advanced methods of computer algebra and nonlinear analysis.
Explore related subjects
Keep this discovery
Sergey Sadov. 2004-10-08. On a necessary and sufficient cyclicity condition for a quadrilateral. https://arxiv.org/abs/math/0410234
Cite the original work for its findings. Save a collection to share your selection of sources.