Some polynomial conditions for cyclic quadrilaterals, tilted kites and other quadrilaterals

DOI10.1007/S11786-023-00574-7MaRDI QIDQ6190091zbMATH OpenOpenAlexFDO

Authors Manuele Santoprete

Publication date 6 February 2024

Published in Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2302.10071

zbMATH Keywords

automated theorem provingcyclic quadrilateralsGroebner basisquadrilateralstilted kites

Mathematics Subject Classification ID

Elementary problems in Euclidean geometries (51M04) Symbolic computation and algebraic computation (68W30)

Abstract: 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.

Recommendations

• scientific article; zbMATH DE number 61799
• Properties of tilted kites
• Cyclic quadrangles from squares
• Cyclic polygons in classical geometry
• Characterizations of cyclic quadrilaterals

Cites work

• Four-body co-circular central configurations
• scientific article; zbMATH DE number 967945 (Why is no real title available?)
• On the uniqueness of co-circular four body central configurations
• On the uniqueness of trapezoidal four-body central configurations
• Planarity conditions and four-body central configurations equations with angles as coordinates
• Properties of tilted kites

Cited in

(1)

• On face angles of tetrahedra with a given base

This page was built for publication: Some polynomial conditions for cyclic quadrilaterals, tilted kites and other quadrilaterals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190091)