Some Polynomial Conditions for Cyclic Quadrilaterals, Tilted Kites and Other Quadrilaterals

被引:0
作者
Manuele Santoprete
机构
[1] Wilfrid Laurier University,Department of Mathematics
来源
Mathematics in Computer Science | 2023年 / 17卷
关键词
Quadrilaterals; Cyclic quadrilaterals; Tilted kites; Groebner basis; Automated theorem proving; 51M04; 68W30;
D O I
暂无
中图分类号
学科分类号
摘要
In this paper, we investigate some polynomial conditions that arise from Euclidean geometry. First we study polynomials related to quadrilaterals with supplementary angles, this includes convex cyclic quadrilaterals, as well as certain concave quadrilaterals. Then we consider polynomials associated with quadrilaterals with some equal angles, which include convex and concave tilted kites. Some of the results are proved using Groebner bases computations.
引用
收藏
相关论文
共 8 条
  • [1] Cors JM(2012)Four-body co-circular central configurations Nonlinearity 25 343-198
  • [2] Roberts GE(2005)Investigating and ordering quadrilaterals and their analogies in space-problem fields with various aspects ZDM 37 190-104
  • [3] Graumann G(2018)Properties of tilted kites Int. J. Geom. 7 87-84
  • [4] Josefsson M(2002)Classroom capsules: Euler’s theorem for generalized quadrilaterals Coll. Math. J. 33 403-985
  • [5] Kandall GA(2019)Planarity conditions and four-body central configurations equations with angles as coordinates J. Geom. Phys. 140 74-undefined
  • [6] Santoprete M(2021)On the uniqueness of co-circular four body central configurations Arch. Ration. Mech. Anal. 240 971-undefined
  • [7] Santoprete M(2021)On the uniqueness of trapezoidal four-body central configurations Nonlinearity 34 424-undefined
  • [8] Santoprete M(undefined)undefined undefined undefined undefined-undefined