In geometry, the Japanese theorem states that the centers of the incircles of certain triangles inside a cyclic quadrilateral are vertices of a rectangle. It was originally stated on a sangaku tablet on a temple in Yamagata prefecture, Japan, in 1880. [2]
Triangulating an arbitrary cyclic quadrilateral by its diagonals yields four overlapping triangles (each diagonal creates two triangles). The centers of the incircles of those triangles form a rectangle.
Specifically, let □ABCD be an arbitrary cyclic quadrilateral and let M1, M2, M3, M4 be the incenters of the triangles △ABD, △ABC, △BCD, △ACD. Then the quadrilateral formed by M1, M2, M3, M4 is a rectangle. Proofs are given by Bogomolny [2] and Reyes. [1]
This theorem may be extended to prove the Japanese theorem for cyclic polygons, according to which the sum of inradii of a triangulated cyclic polygon does not depend on how it is triangulated. The special case of the theorem for quadrilaterals states that the two pairs of opposite incircles of the theorem above have equal sums of radii. To prove the quadrilateral case, simply construct the parallelogram tangent to the corners of the constructed rectangle, with sides parallel to the diagonals of the quadrilateral. The construction shows that the parallelogram is a rhombus, which is equivalent to showing that the sums of the radii of the incircles tangent to each diagonal are equal. This related result comes from an earlier sangaku tablet, also from Yamagata, from 1800. [2]
The quadrilateral case immediately proves the general case, as any two triangulations of an arbitrary cyclic polygon can be connected by a sequence of flips that change one diagonal to another, replacing two incircles in a quadrilateral by the other two incircles with equal sum of radii.
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words quadri, a variant of four, and latus, meaning "side". It is also called a tetragon, derived from Greek "tetra" meaning "four" and "gon" meaning "corner" or "angle", in analogy to other polygons. Since "gon" means "angle", it is analogously called a quadrangle, or 4-angle. A quadrilateral with vertices , , and is sometimes denoted as .
A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. A triangle has three internal angles, each one bounded by a pair of adjacent edges; the sum of angles of a triangle always equals a straight angle. The triangle is a plane figure and its interior is a planar region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex; the shortest segment between the base and apex is the height. The area of a triangle equals one-half the product of height and base length.
In Euclidean plane geometry, a rectangle is a rectilinear convex polygon or a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal ; or a parallelogram containing a right angle. A rectangle with four sides of equal length is a square. The term "oblong" is used to refer to a non-square rectangle. A rectangle with vertices ABCD would be denoted as ABCD.
In Euclidean geometry, a parallelogram is a simple (non-self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equal measure. The congruence of opposite sides and opposite angles is a direct consequence of the Euclidean parallel postulate and neither condition can be proven without appealing to the Euclidean parallel postulate or one of its equivalent formulations.
In plane Euclidean geometry, a rhombus is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. The rhombus is often called a "diamond", after the diamonds suit in playing cards which resembles the projection of an octahedral diamond, or a lozenge, though the former sometimes refers specifically to a rhombus with a 60° angle, and the latter sometimes refers specifically to a rhombus with a 45° angle.
In Euclidean geometry, a cyclic quadrilateral or inscribed quadrilateral is a quadrilateral whose vertices all lie on a single circle. This circle is called the circumcircle or circumscribed circle, and the vertices are said to be concyclic. The center of the circle and its radius are called the circumcenter and the circumradius respectively. Other names for these quadrilaterals are concyclic quadrilateral and chordal quadrilateral, the latter since the sides of the quadrilateral are chords of the circumcircle. Usually the quadrilateral is assumed to be convex, but there are also crossed cyclic quadrilaterals. The formulas and properties given below are valid in the convex case.
In geometry, an equilateral polygon is a polygon which has all sides of the same length. Except in the triangle case, an equilateral polygon does not need to also be equiangular, but if it does then it is a regular polygon. If the number of sides is at least four, an equilateral polygon does not need to be a convex polygon: it could be concave or even self-intersecting.
In geometry, the midpoint is the middle point of a line segment. It is equidistant from both endpoints, and it is the centroid both of the segment and of the endpoints. It bisects the segment.
In Euclidean geometry, a square is a regular quadrilateral, which means that it has four straight sides of equal length and four equal angles. It can also be defined as a rectangle with two equal-length adjacent sides. It is the only regular polygon whose internal angle, central angle, and external angle are all equal (90°). A square with vertices ABCD would be denoted ABCD.
In geometry, lines in a plane or higher-dimensional space are concurrent if they intersect at a single point.
In geometry, the Japanese theorem states that no matter how one triangulates a cyclic polygon, the sum of inradii of triangles is constant.
In Euclidean geometry, a tangential quadrilateral or circumscribed quadrilateral is a convex quadrilateral whose sides all can be tangent to a single circle within the quadrilateral. This circle is called the incircle of the quadrilateral or its inscribed circle, its center is the incenter and its radius is called the inradius. Since these quadrilaterals can be drawn surrounding or circumscribing their incircles, they have also been called circumscribable quadrilaterals, circumscribing quadrilaterals, and circumscriptible quadrilaterals. Tangential quadrilaterals are a special case of tangential polygons.
In geometry, a bicentric polygon is a tangential polygon which is also cyclic — that is, inscribed in an outer circle that passes through each vertex of the polygon. All triangles and all regular polygons are bicentric. On the other hand, a rectangle with unequal sides is not bicentric, because no circle can be tangent to all four sides.
In Euclidean geometry, Varignon's theorem holds that the midpoints of the sides of an arbitrary quadrilateral form a parallelogram, called the Varignon parallelogram. It is named after Pierre Varignon, whose proof was published posthumously in 1731.
In geometry, the equal incircles theorem derives from a Japanese Sangaku, and pertains to the following construction: a series of rays are drawn from a given point to a given line such that the inscribed circles of the triangles formed by adjacent rays and the base line are equal. In the illustration the equal blue circles define the spacing between the rays, as described.
In Euclidean geometry, a bicentric quadrilateral is a convex quadrilateral that has both an incircle and a circumcircle. The radii and centers of these circles are called inradius and circumradius, and incenter and circumcenter respectively. From the definition it follows that bicentric quadrilaterals have all the properties of both tangential quadrilaterals and cyclic quadrilaterals. Other names for these quadrilaterals are chord-tangent quadrilateral and inscribed and circumscribed quadrilateral. It has also rarely been called a double circle quadrilateral and double scribed quadrilateral.
In Euclidean geometry, an orthodiagonal quadrilateral is a quadrilateral in which the diagonals cross at right angles. In other words, it is a four-sided figure in which the line segments between non-adjacent vertices are orthogonal (perpendicular) to each other.
In Euclidean geometry, an ex-tangential quadrilateral is a convex quadrilateral where the extensions of all four sides are tangent to a circle outside the quadrilateral. It has also been called an exscriptible quadrilateral. The circle is called its excircle, its radius the exradius and its center the excenter. The excenter lies at the intersection of six angle bisectors. These are the internal angle bisectors at two opposite vertex angles, the external angle bisectors at the other two vertex angles, and the external angle bisectors at the angles formed where the extensions of opposite sides intersect. The ex-tangential quadrilateral is closely related to the tangential quadrilateral.
In Euclidean geometry, a tangential trapezoid, also called a circumscribed trapezoid, is a trapezoid whose four sides are all tangent to a circle within the trapezoid: the incircle or inscribed circle. It is the special case of a tangential quadrilateral in which at least one pair of opposite sides are parallel. As for other trapezoids, the parallel sides are called the bases and the other two sides the legs. The legs can be equal, but they don't have to be.
In Euclidean geometry, a tangential polygon, also known as a circumscribed polygon, is a convex polygon that contains an inscribed circle. This is a circle that is tangent to each of the polygon's sides. The dual polygon of a tangential polygon is a cyclic polygon, which has a circumscribed circle passing through each of its vertices.