Math 2.0

Geometry Corollary

Angles in the same segment are equal

Builds on Inscribed angle theoremConcyclic pointsOriented angle

Statement

Let AA, BB, CC and DD be distinct concyclic points of the Euclidean plane ℝ2\mathbb{R}^2. Let ∡\measuredangle be the oriented angle, with values in ℝ/2πℤ\mathbb{R} / 2\pi\mathbb{Z}. Then 2 ∡ACB=2 ∡ADB.2 \, \measuredangle ACB = 2 \, \measuredangle ADB. For the unoriented angles: if CC and DD are on the same side of the line ABAB, then ∠ACB=∠ADB\angle ACB = \angle ADB. If they are on opposite sides, then ∠ACB+∠ADB=π\angle ACB + \angle ADB = \pi.

Remarks

The statement follows from the inscribed angle theorem: both sides are equal to the oriented angle ∡AOB\measuredangle AOB at the centre OO. The factor 22 is necessary. It removes the difference of π\pi between points on the two arcs. The case of opposite sides says that the opposite angles of a convex cyclic quadrilateral add up to π\pi.

Reading path

To understand this page from the ground up, read these 6 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. Angle at a point concept
  2. Circle concept
  3. Concyclic points concept
  4. Oriented angle concept
  5. Inscribed angle theorem statement
  6. Angles in the same segment are equal statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Inscribed_angle, Statement
  2. Web https://en.wikipedia.org/wiki/Inscribed_angle, Applications
About this page
Tag0GS0AW6JRY
URIm2://0GS0AW6JRY
Kindstatement, corollary
WritingW0 stub
MSC51M04
StatusThis copy of the site has no build data. Run m2 status 0GS0AW6JRY.
UsesInscribed angle theorem, Concyclic points, Oriented angle

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (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.