Brahmagupta theorem

Last updated
B
M
-
[?]
A
C
-
,
E
F
-
[?]
B
C
-
{\displaystyle {\overline {BM}}\perp {\overline {AC}},{\overline {EF}}\perp {\overline {BC}}}
=
|
A
F
-
|
=
|
F
D
-
|
{\displaystyle \Rightarrow |{\overline {AF}}|=|{\overline {FD}}|} Brahmaguptra's theorem.svg

In geometry, Brahmagupta's theorem states that if a cyclic quadrilateral is orthodiagonal (that is, has perpendicular diagonals), then the perpendicular to a side from the point of intersection of the diagonals always bisects the opposite side. [1] It is named after the Indian mathematician Brahmagupta (598-668). [2]

Contents

More specifically, let A, B, C and D be four points on a circle such that the lines AC and BD are perpendicular. Denote the intersection of AC and BD by M. Drop the perpendicular from M to the line BC, calling the intersection E. Let F be the intersection of the line EM and the edge AD. Then, the theorem states that F is the midpoint AD.

Proof

Proof of the theorem Proof of Brahmagupta's theorem.svg
Proof of the theorem

We need to prove that AF = FD. We will prove that both AF and FD are in fact equal to FM.

To prove that AF = FM, first note that the angles FAM and CBM are equal, because they are inscribed angles that intercept the same arc of the circle (CD). Furthermore, the angles CBM and CME are both complementary to angle BCM (i.e., they add up to 90°), and are therefore equal. Finally, the angles CME and FMA are the same. Hence, AFM is an isosceles triangle, and thus the sides AF and FM are equal.

The proof that FD = FM goes similarly: the angles FDM, BCM, BME and DMF are all equal, so DFM is an isosceles triangle, so FD = FM. It follows that AF = FD, as the theorem claims.

See also

Related Research Articles

<span class="mw-page-title-main">Quadrilateral</span> Polygon with four sides and four corners

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 .

<span class="mw-page-title-main">Rectangle</span> Quadrilateral with four right angles

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.

<span class="mw-page-title-main">Perpendicular</span> Relationship between two lines that meet at a right angle (90 degrees)

In geometry, two geometric objects are perpendicular if their intersection forms right angles at the point of intersection called a foot. The condition of perpendicularity may be represented graphically using the perpendicular symbol, ⟂. Perpendicular intersections can happen between two lines, between a line and a plane, and between two planes.

<span class="mw-page-title-main">Bisection</span> Division of something into two equal or congruent parts

In geometry, bisection is the division of something into two equal or congruent parts. Usually it involves a bisecting line, also called a bisector. The most often considered types of bisectors are the segment bisector, a line that passes through the midpoint of a given segment, and the angle bisector, a line that passes through the apex of an angle . In three-dimensional space, bisection is usually done by a bisecting plane, also called the bisector.

In Euclidean geometry, Brahmagupta's formula, named after the 7th century Indian mathematician, is used to find the area of any convex cyclic quadrilateral given the lengths of the sides. Its generalized version, Bretschneider's formula, can be used with non-cyclic quadrilateral. Heron's formula can be thought as a special case of the Brahmagupta's formula for triangles.

<span class="mw-page-title-main">Cyclic quadrilateral</span> Quadrilateral whose vertices can all fall on a single circle

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.

<span class="mw-page-title-main">Trapezoid</span> Convex quadrilateral with at least one pair of parallel sides

In geometry, a trapezoid in North American English, or trapezium in British English, is a quadrilateral that has one pair of parallel sides.

<span class="mw-page-title-main">Thales's theorem</span> Angle formed by a point on a circle and the 2 ends of a diameter is a right angle

In geometry, Thales's theorem states that if A, B, and C are distinct points on a circle where the line AC is a diameter, the angle ABC is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved as part of the 31st proposition in the third book of Euclid's Elements. It is generally attributed to Thales of Miletus, but it is sometimes attributed to Pythagoras.

<span class="mw-page-title-main">Isosceles triangle</span> Triangle with at least two sides congruent

In geometry, an isosceles triangle is a triangle that has two sides of equal length. Sometimes it is specified as having exactly two sides of equal length, and sometimes as having at least two sides of equal length, the latter version thus including the equilateral triangle as a special case. Examples of isosceles triangles include the isosceles right triangle, the golden triangle, and the faces of bipyramids and certain Catalan solids.

<span class="mw-page-title-main">Midpoint</span> Point on a line segment which is equidistant from both endpoints

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.

<span class="mw-page-title-main">Concyclic points</span> Points on a common circle

In geometry, a set of points are said to be concyclic if they lie on a common circle. A polygon whose vertices are concyclic is called a cyclic polygon, and the circle is called its circumscribing circle or circumcircle. All concyclic points are equidistant from the center of the circle.

<span class="mw-page-title-main">Isosceles trapezoid</span> Trapezoid symmetrical about an axis

In Euclidean geometry, an isosceles trapezoid is a convex quadrilateral with a line of symmetry bisecting one pair of opposite sides. It is a special case of a trapezoid. Alternatively, it can be defined as a trapezoid in which both legs and both base angles are of equal measure, or as a trapezoid whose diagonals have equal length. Note that a non-rectangular parallelogram is not an isosceles trapezoid because of the second condition, or because it has no line of symmetry. In any isosceles trapezoid, two opposite sides are parallel, and the two other sides are of equal length, and the diagonals have equal length. The base angles of an isosceles trapezoid are equal in measure.

<span class="mw-page-title-main">Square</span> Regular quadrilateral

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.

<span class="mw-page-title-main">Ptolemy's theorem</span> Relates the 4 sides and 2 diagonals of a quadrilateral with vertices on a common circle

In Euclidean geometry, Ptolemy's theorem is a relation between the four sides and two diagonals of a cyclic quadrilateral. The theorem is named after the Greek astronomer and mathematician Ptolemy. Ptolemy used the theorem as an aid to creating his table of chords, a trigonometric table that he applied to astronomy.

<span class="mw-page-title-main">Concurrent lines</span> Lines which intersect at a single point

In geometry, lines in a plane or higher-dimensional space are concurrent if they intersect at a single point.

<span class="mw-page-title-main">Varignon's theorem</span> The midpoints of the sides of an arbitrary quadrilateral form a parallelogram

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.

<span class="mw-page-title-main">Bicentric quadrilateral</span> Convex, 4-sided shape with an incircle and a circumcircle

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.

<span class="mw-page-title-main">Orthodiagonal quadrilateral</span> Special quadrilateral whose diagonals intersect at right angles

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.

<span class="mw-page-title-main">Right kite</span> Symmetrical quadrilateral

In Euclidean geometry, a right kite is a kite that can be inscribed in a circle. That is, it is a kite with a circumcircle. Thus the right kite is a convex quadrilateral and has two opposite right angles. If there are exactly two right angles, each must be between sides of different lengths. All right kites are bicentric quadrilaterals, since all kites have an incircle. One of the diagonals divides the right kite into two right triangles and is also a diameter of the circumcircle.

In Euclidean geometry, a harmonic quadrilateral, or harmonic quadrangle, is a quadrilateral that can be inscribed in a circle in which the products of the lengths of opposite sides are equal. It has several important properties.

References

  1. Michael John Bradley (2006). The Birth of Mathematics: Ancient Times to 1300. Publisher Infobase Publishing. ISBN   0816054231. Page 70, 85.
  2. Coxeter, H. S. M.; Greitzer, S. L.: Geometry Revisited. Washington, DC: Math. Assoc. Amer., p. 59, 1967