Math 2.0

Geometry Triangles and circles Theorem

Butterfly theorem

Builds on CircleMidpoint

Statement

Let PQPQ be a chord of a circle in the Euclidean plane and let MM be its midpoint. Let ABAB and CDCD be two further chords through MM. Suppose that the segment ADAD meets PQPQ at XX and the segment BCBC meets PQPQ at YY. Then MM is the midpoint of XYXY.

Remarks

One proof drops perpendiculars from XX and YY to the chords and uses similar triangles together with the power of the point MM, MA⋅MB=MC⋅MD=MP⋅MQMA \cdot MB = MC \cdot MD = MP \cdot MQ. A projective proof uses the involution that the pencil of conics through A,B,C,DA, B, C, D induces on the line PQPQ. Example: let CDCD be the mirror image of ABAB in the diameter through MM perpendicular to PQPQ, with CC the image of AA. Then the figure is symmetric and MX=MYMX = MY is clear. The theorem stays true when the circle is replaced by any conic.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Circle concept
  2. Midpoint concept
  3. Butterfly theorem statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Butterfly_theorem
About this page
TagE9TX1NDAHB
URIm2://E9TX1NDAHB
Kindstatement, theorem
WritingW0 stub
MSC51M04
StatusThis copy of the site has no build data. Run m2 status E9TX1NDAHB.
AboutCircle
UsesCircle, Midpoint
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.