In geometry, an antiparallelogram is a type of self-crossingquadrilateral. Like a parallelogram, an antiparallelogram has two opposite pairs of equal-length sides, but these pairs of sides are not in general parallel. Instead, each pair of sides is antiparallel with respect to the other, with sides in the longer pair crossing each other as in a scissors mechanism. Whereas a parallelogram's opposite angles are equal and oriented the same way, an antiparallelogram's are equal but oppositely oriented. Antiparallelograms are also called contraparallelograms[1] or crossed parallelograms.[2]
Every antiparallelogram has an axis of symmetry, with all four vertices on a circle. It can be formed from an isosceles trapezoid by adding the two diagonals and removing two parallel sides. The signed area of every antiparallelogram is zero.
Geometric properties
An antiparallelogram is a special case of a crossed quadrilateral, with two pairs of equal-length edges.[3] In general, crossed quadrilaterals can have unequal edges.[3] A special form of the antiparallelogram is a crossed rectangle, in which two opposite edges are parallel.[4] Every antiparallelogram is a cyclic quadrilateral, meaning that its four vertices all lie on a single circle.[3] Additionally, the four extended sides of any antiparallelogram are the bitangents of two circles, making antiparallelograms closely related to the tangential quadrilaterals, ex-tangential quadrilaterals, and kites (which are both tangential and ex-tangential).[5]
Every antiparallelogram has an axis of symmetry through its crossing point. Because of this symmetry, it has two pairs of equal angles and two pairs of equal sides.[2] The four midpoints of its sides lie on a line perpendicular to the axis of symmetry; that is, for this kind of quadrilateral, the Varignon parallelogram is a degenerate quadrilateral of area zero, consisting of four collinear points.[6][7] The convex hull of an antiparallelogram is an isosceles trapezoid, and every antiparallelogram may be formed from an isosceles trapezoid (or its special cases, the rectangles and squares) by replacing two parallel sides by the two diagonals of the trapezoid.[4]
Because an antiparallelogram forms two congruent triangular regions of the plane, but loops around those two regions in opposite directions, its signed area is the difference between the regions' areas and is therefore zero.[7] The polygon's unsigned area (the total area it surrounds) is the sum, rather than the difference, of these areas. For an antiparallelogram with two parallel diagonals of lengths and , separated by height , this sum is .[4] It follows from applying the triangle inequality to these two triangular regions that the crossing pair of edges in an antiparallelogram must always be longer than the two uncrossed edges.[8]
The antiparallelogram has been used as a form of four-bar linkage, in which four rigid beams of fixed length (the four sides of the antiparallelogram) may rotate with respect to each other at joints placed at the four vertices of the antiparallelogram. In this context it is also called a butterfly or bow-tie linkage. As a linkage, it has a point of instability in which it can be converted into a parallelogram and vice versa, but either of these linkages can be braced to prevent this instability.[12][11]
For both the parallelogram and antiparallelogram linkages, if one of the long (crossed) edges of the linkage is fixed as a base, the free joints move on equal circles, but in a parallelogram they move in the same direction with equal velocities while in the antiparallelogram they move in opposite directions with unequal velocities.[13] As James Watt discovered, if an antiparallelogram has its long side fixed in this way, the midpoint of the unfixed long edge will trace out a lemniscate or figure eight curve. For the antiparallelogram formed by the sides and diagonals of a square, it is the lemniscate of Bernoulli.[14][15]
The antiparallelogram with its long side fixed is a variant of Watt's linkage.[14] An antiparallelogram is an important feature in the design of Hart's inversor, a linkage that (like the Peaucellier–Lipkin linkage) can convert rotary motion to straight-line motion.[16] An antiparallelogram-shaped linkage can also be used to connect the two axles of a four-wheeled vehicle, decreasing the turning radius of the vehicle relative to a suspension that only allows one axle to turn.[2] A pair of nested antiparallelograms was used in a linkage defined by Alfred Kempe as part of Kempe's universality theorem, stating that any algebraic curve may be traced out by the joints of a suitably defined linkage. Kempe called the nested-antiparallelogram linkage a "multiplicator", as it could be used to multiply an angle by an integer.[1] Used in the other direction, to divide angles, it can be used for angle trisection (although not as a straightedge and compass construction).[17] Kempe's original constructions using this linkage overlooked the parallelogram-antiparallelogram instability, but bracing the linkages fixes his proof of the universality theorem.[12]
Gear design
Fixing the short edge of an antiparallelogram linkage causes the crossing point to trace out an ellipse. These ellipses are the centrodes of the linkage.
Elliptical gears based on the motion of an antiparallelogram linkage
Suppose that one of the uncrossed edges of an antiparallelogram linkage is fixed in place, and the remaining linkage moves freely. As the linkage moves, each antiparallelogram formed can be divided into two congruent triangles meeting at the crossing point. In the triangle based on the fixed edge, the lengths of the two moving sides sum to the constant length of one of the antiparallelogram's crossed edges, and therefore the moving crossing point traces out an ellipse with the fixed points as its foci. Symmetrically, the second (moving) uncrossed edge of the antiparallelogram has as its endpoints the foci of a second ellipse, formed from the first one by reflection across a tangent line through the crossing point.[2][18] Because the second ellipse rolls around the first, this construction of ellipses from the motion of an antiparallelogram can be used in the design of elliptical gears that convert uniform rotation into non-uniform rotation or vice versa.[19]
Celestial mechanics
In the n-body problem, the study of the motions of point masses under Newton's law of universal gravitation, an important role is played by central configurations, solutions to the n-body problem in which all of the bodies rotate around some central point as if they were rigidly connected to each other. For instance, for three bodies, there are five solutions of this type, given by the five Lagrangian points. For four bodies, with two pairs of the bodies having equal masses (but with the ratio between the masses of the two pairs varying continuously), numerical evidence indicates that there exists a continuous family of central configurations, related to each other by the motion of an antiparallelogram linkage.[20]
^Muirhead, R. F. (February 1901), "Geometry of the isosceles trapezium and the contra-parallelogram, with applications to the geometry of the ellipse", Proceedings of the Edinburgh Mathematical Society, 20: 70–72, doi:10.1017/s0013091500032892
^ abDe Villiers, Michael (2015), "Slaying a geometrical 'monster': finding the area of a crossed quadrilateral", Learning and Teaching Mathematics, 2015 (18): 23–28, hdl:10520/EJC175721
^The same argument proves more generally that in any convex quadrilateral (such as the isosceles trapezoid from which an antiparallelogram is derived) the sum of the two diagonals is longer than the sum of any two opposite sides. In the isosceles trapezoid, the two diagonals are equal, as are the two opposite sides, simplifying this inequality. For the use of the triangle inequality to prove the inequality on sums of diagonals see e.g. Demaine & O'Rourke (2007, p. 80)
^ abSossinsky, Alexey (2016), "Configuration spaces of planar linkages", Handbook of Teichmüller theory, Vol. VI, IRMA Lectures in Mathematics and Theoretical Physics, vol. 27, Zürich: European Mathematical Society, pp. 335–373, MR3618193; see p. 359
^Norton, Robert L. (2003), Design of Machinery, McGraw-Hill Professional, p. 51, ISBN978-0-07-121496-4
^Glaeser, Georg (2020), "Antiparallelograms; It does not always have to be a uniform rotation ...", Geometry and its Applications in Arts, Nature and Technology, Springer International Publishing, pp. 428–429, doi:10.1007/978-3-030-61398-3, ISBN978-3-030-61397-6, S2CID241160811
^Grebenikov, Evgenii A.; Ikhsanov, Ersain V.; Prokopenya, Alexander N. (2006), "Numeric-symbolic computations in the study of central configurations in the planar Newtonian four-body problem", Computer algebra in scientific computing, Lecture Notes in Comput. Sci., vol. 4194, Berlin: Springer, pp. 192–204, doi:10.1007/11870814_16, ISBN978-3-540-45182-2, MR2279793