On a necessary and sufficient cyclicity condition for a quadrilateral
classification
🧮 math.GM
math.ACmath.MG
keywords
conditionquadrilateralabp-bcqadvancedalgebraanalysisappearscdp-daq
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.