Last updated on: 2022-03-04.
Under Development
A collection of classical geometry in computable formats along with code and diagrams.
Computable Euclid
›
Euclid Book 4
›
Browse books
Euclid Book 1
Euclid Book 2
Euclid Book 3
Euclid Book 4
Euclid Book 5
Euclid Book 6
Euclid Book 13
Previous:
Euclid Book 4 Proposition 3
Next:
Euclid Book 4 Proposition 5
Euclid Book 4
Proposition 4
Construction
Statement
Statement HTML
To inscribe a circle in a given triangle.
Construction steps
Construction Steps HTML
Let
△
ABC
be the given triangle.
Bisect
∠
CAB
and
∠
CBA
. These two angle bisectors intersect at
O
.
From
O
, draw a line that is perpendicular to
AB
and name the intersection
D
.
Construct
the circle through the point
D
centered at
O
.
the circle through the point
D
centered at
O
has been inscribed in the given
△
ABC
.
Original statement
ϵἰς τὸ δοθὲν τρίγωνον κύκλον ἐγγράψαι.
English translation
In a given triangle to inscribe a circle.
Computable version
Additional instances
Dependency graphs
Shortest chains of proofs, from the axioms.
C
N
1
→
1
.
2
6
→
4
.
4
C
N
2
→
1
.
1
3
→
1
.
1
7
→
3
.
1
6
→
4
.
4
C
N
3
→
1
.
5
→
3
.
1
6
→
4
.
4
C
N
4
→
1
.
8
→
1
.
9
→
4
.
4
C
N
5
→
1
.
1
6
→
1
.
2
6
→
4
.
4
P
1
→
1
.
9
→
4
.
4
P
2
→
1
.
1
6
→
1
.
2
6
→
4
.
4
P
3
→
1
.
1
2
→
4
.
4
P
4
→
1
.
1
5
→
1
.
1
6
→
1
.
2
6
→
4
.
4
Direct dependencies.
Full dependencies, all the way down to the axioms.
a
x
i
o
m
s
2
D
g
e
o
m
e
t
r
y
n
u
m
b
e
r
s
3
D
g
e
o
m
e
t
r
y
Classes
Euclid's Elements
Constructions
Euclid Book 4
Related theorems
Euclid book 4 proposition 13
Euclid book 4 proposition 5
Euclid book 4 proposition 8