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
Linear-exponent bounds for the automatic complexity of rational diagonals modulo prime powers
Alex Shvets
How Does One Cut a 30-60-90 Triangle?
Ed Pegg, Brian Trease, Andrew Hudson et al.
A Computational Verification of the Markov Uniqueness Conjecture for z≤ 10500000
Hu Tan, Ying Zhang
On Some Special Cases of the Weber-Schafheitlin Integral
V. G. Zborovskii
Harborth's theorem p(5)=18 revisited
Mike Winkler
Bernstein and Stieltjes properties of some functions involving logarithmic functions
Feng Qi