equation 7.58 eq:ana-half-angle

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on proposition 7.77 Special values, periodicity, and the kernel ¶
  • depends_on lemma 7.78 Chord, arc, tangent ¶
    • depends_on proposition 7.79 The polygon recursion ¶
      • depends_on corollary 7.81 The decimal expansion of $\pi$ ¶
        • depends_on remark 7.88 $\pi$ elsewhere in this treatise ¶
      • depends_on proposition 7.83 Viète's product ¶
        • depends_on remark 7.84 One construction, two faces ¶
      • depends_on remark 7.82 What Archimedes proved ¶
      • depends_on remark 7.80 Why these are the polygon perimeters ¶
      • depends_on remark 7.84 One construction, two faces ¶ ↺
  • depends_on proposition 7.85 Irrationality of $\pi$ ¶
    • depends_on remark 7.94 Three numbers, two kinds ¶
    • depends_on remark 7.87 Priority, and what irrationality does not give ¶
  • depends_on proposition 7.79 The polygon recursion ¶ ↺
  • depends_on proposition 7.83 Viète's product ¶ ↺
  • depends_on proposition 125.2 Crystallographic restriction ¶
    • depends_on remark 125.3 What the theorem does and does not forbid ¶
  • depends_on remark 7.88 $\pi$ elsewhere in this treatise ¶ ↺