On a necessary and sufficient cyclicity condition for a quadrilateral
Sergey Sadov
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.
Create a lesson
Related papers
Multiorder Fractional Operators: The Conformable Multiorder Derivative and Its Associated Multiorder Integral
Carlos E Cadenas R
From Umbral Hyperbolic Integrals to a Cotangent Coefficient Formula for the Mittag Leffler Polynomials
Luc Ramsès Talla Waffo
Largest Circle Enclosing Exactly n Interior Lattice Points. II
Jianqiang Zhao
Completeness of the Fuzzy Order on Fuzzy Numbers
Mingchun Xie
Study of the algebra of smooth integro-differential operators with applications
Ahmad Haghany, Adel Kassaian
Parity-Sensitive Fourier Uncertainty and Zero-Set Rigidity on the Finite Parabola
Dongwei Li