# Category:Theorems in plane geometry

Computing portal |

Here is a list of articles in the category **Theorems in plane geometry** of the Computing portal that unifies foundations of mathematics and computations using computers.

## Pages in category "Theorems in plane geometry"

The following 87 pages are in this category, out of 87 total.

### A

- Angle bisector theorem
*(computing)* - Apollonius's theorem
*(computing)*

### B

- Barbier's theorem
*(computing)* - Bézout's theorem
*(computing)* - Blaschke–Lebesgue theorem
*(computing)* - Bottema's theorem
*(computing)* - Brahmagupta theorem
*(computing)* - Braikenridge–Maclaurin theorem
*(computing)* - Brianchon's theorem
*(computing)* - British flag theorem
*(computing)* - Butterfly theorem
*(computing)*

### C

- Carnot's theorem
*(computing)* - Carnot's theorem (inradius, circumradius)
*(computing)* - Casey's theorem
*(computing)* - Ceva's theorem
*(computing)* - Circle packing theorem
*(computing)* - Clifford's circle theorems
*(computing)* - Constant chord theorem
*(computing)* - Conway circle
*(computing)* - Crossbar theorem
*(computing)*

### D

- Desargues's theorem
*(computing)* - Descartes' theorem
*(computing)* - Droz-Farny line theorem
*(computing)*

### E

- Equal incircles theorem
*(computing)* - Euler's quadrilateral theorem
*(computing)* - Exterior angle theorem
*(computing)*

### F

- Feuerbach point
*(computing)* - Finsler–Hadwiger theorem
*(computing)* - Five circles theorem
*(computing)*

### G

- Geometric mean theorem
*(computing)*

### H

- Harcourt's theorem
*(computing)* - Heron's formula
*(computing)* - Hinge theorem
*(computing)* - Hjelmslev's theorem
*(computing)* - Holditch's theorem
*(computing)*

### I

- Inscribed angle theorem
*(computing)* - Intercept theorem
*(computing)* - Intersecting chords theorem
*(computing)* - Intersecting secants theorem
*(computing)*

### J

- Japanese theorem for cyclic polygons
*(computing)* - Japanese theorem for cyclic quadrilaterals
*(computing)*

### K

- Kosnita's theorem
*(computing)*

### L

- Law of cosines
*(computing)* - Law of sines
*(computing)* - Law of tangents
*(computing)* - Lester's theorem
*(computing)*

### M

- Maxwell's theorem (geometry)
*(computing)* - Menelaus's theorem
*(computing)* - Miquel's theorem
*(computing)* - Mohr–Mascheroni theorem
*(computing)* - Monge's theorem
*(computing)* - Morley's trisector theorem
*(computing)* - Mukhopadhyaya theorem
*(computing)* - Musselman's theorem
*(computing)*

### N

- Napoleon's theorem
*(computing)* - Newton's theorem about ovals
*(computing)*

### P

- Pappus's area theorem
*(computing)* - Parallelogram law
*(computing)* - Pascal's theorem
*(computing)* - Pasch's theorem
*(computing)* - Petr–Douglas–Neumann theorem
*(computing)* - Pick's theorem
*(computing)* - Pitot theorem
*(computing)* - Pizza theorem
*(computing)* - Pompeiu's theorem
*(computing)* - Poncelet–Steiner theorem
*(computing)* - Pons asinorum
*(computing)* - Ptolemy's theorem
*(computing)* - Pythagorean theorem
*(computing)*

### R

- Reuschle's theorem
*(computing)* - Routh's theorem
*(computing)*

### S

- Saccheri–Legendre theorem
*(computing)* - Seven circles theorem
*(computing)* - Six circles theorem
*(computing)* - Steiner–Lehmus theorem
*(computing)* - Stewart's theorem
*(computing)*

### T

- Tangent-secant theorem
*(computing)* - Thales's theorem
*(computing)* - Thébault's theorem
*(computing)* - Theorem of the gnomon
*(computing)* - Thomsen's theorem
*(computing)* - Triangle center
*(computing)* - Two ears theorem
*(computing)*

### V

- Van Aubel's theorem
*(computing)* - Van Schooten's theorem
*(computing)* - Varignon's theorem
*(computing)* - Viviani's theorem
*(computing)*