A cyclic quadrilateral — a quadrilateral whose four vertices all lie on a single circle — has supplementary opposite angles.
This means that opposite angles add to 180 degrees, or \(\pi\) radians.
As it turns out, this is actually an equivalence relation. If a quadrilateral has supplementary opposite angles, it's a cyclic quadrilateral.
This fact about supplementary opposite angles was very useful for an animation I was trying to create... I may share it here later!
Every Monday, you'll get a Python deep dive that unpacks a topic with analogies, diagrams, and code examples so you can write clearer, faster, and more idiomatic code.