Search results
Results from the WOW.Com Content Network
Hutton's definitions in 1795 [4]. The ancient Greek mathematician Euclid defined five types of quadrilateral, of which four had two sets of parallel sides (known in English as square, rectangle, rhombus and rhomboid) and the last did not have two sets of parallel sides – a τραπέζια (trapezia [5] literally 'table', itself from τετράς (tetrás) 'four' + πέζα (péza) 'foot ...
Any non-self-crossing quadrilateral with exactly one axis of symmetry must be either an isosceles trapezoid or a kite. [5] However, if crossings are allowed, the set of symmetric quadrilaterals must be expanded to include also the crossed isosceles trapezoids, crossed quadrilaterals in which the crossed sides are of equal length and the other sides are parallel, and the antiparallelograms ...
The square has Dih 4 symmetry, order 8. There are 2 dihedral subgroups: Dih 2, Dih 1, and 3 cyclic subgroups: Z 4, Z 2, and Z 1. A square is a special case of many lower symmetry quadrilaterals: A rectangle with two adjacent equal sides; A quadrilateral with four equal sides and four right angles; A parallelogram with one right angle and two ...
The definition of a formal proof is intended to capture the concept of proofs as written in the practice of mathematics. The soundness of this definition amounts to the belief that a published proof can, in principle, be converted into a formal proof. However, outside the field of automated proof assistants, this is rarely done in practice.
Any non-self-crossing quadrilateral that has an axis of symmetry must be either a kite, with a diagonal axis of symmetry; or an isosceles trapezoid, with an axis of symmetry through the midpoints of two sides. These include as special cases the rhombus and the rectangle respectively, and the square, which is a special case of both. [1]
If the quadrilateral is convex or concave (that is, not self-intersecting), then the area of the Varignon parallelogram is half the area of the quadrilateral. Proof without words (see figure): An arbitrary quadrilateral and its diagonals. Bases of similar triangles are parallel to the blue diagonal. Ditto for the red diagonal.
Any square, rectangle, isosceles trapezoid, or antiparallelogram is cyclic. A kite is cyclic if and only if it has two right angles – a right kite.A bicentric quadrilateral is a cyclic quadrilateral that is also tangential and an ex-bicentric quadrilateral is a cyclic quadrilateral that is also ex-tangential.
The theorem can be applied to a complex (self-intersecting) quadrilateral. In plane geometry, Van Aubel's theorem describes a relationship between squares constructed on the sides of a quadrilateral. Starting with a given convex quadrilateral, construct a square, external to the quadrilateral, on each side