关于四边形循环性的一个充要条件
On a necessary and sufficient cyclicity condition for a quadrilateral
摘要：
一个具有a，b，c，d和对角线p，q的凸四边形是循环的当且仅当abp-bcq+ cdp-bcq =0。这个条件，尽管它的简单性，似乎是未被注意到的和出乎意料的证明弹性。我们采用先进的计算机代数和非线性分析方法。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
