WOLFRAM NOTEBOOK

EntityList[EntityClass["GeometricScene","EuclidsElements"]]
In[]:=
Euclid book 4 proposition 2
GEOMETRIC SCENE
["Scene"]
Out[]=
GeometricScene[{{A.,O.,B.,C.,D.,E.,F.,G.,H.},{}},{{CircleThrough[{A.},O.],Triangle[{D.,E.,F.}]},{GeometricAssertion[{Line[{G.,A.,H.}],CircleThrough[{A.},O.]},Tangent]},{C.CircleThrough[{A.},O.],Line[{A.,C.}],PlanarAngle[{C.,A.,H.}]PlanarAngle[{D.,E.,F.}]},{B.CircleThrough[{A.},O.],Line[{A.,B.}],PlanarAngle[{B.,A.,G.}]PlanarAngle[{D.,F.,E.}]},{Line[{B.,C.}]}},{GeometricAssertion[{Triangle[{A.,B.,C.}],Triangle[{D.,E.,F.}]},Similar]}]
In[]:=
RandomInstance[%500]
Out[]=
GeometricAssertion[{Triangle[{A.,B.,C.}],Triangle[{D.,E.,F.}]},Similar]
In[]:=
EntityList["GeometricScene"]
In[]:=
Length[EntityList["GeometricScene"]]
Out[]=
332
In[]:=
Length[EntityList[EntityClass["GeometricScene","EuclidsElements"]]]
Out[]=
196
In[]:=
EntityValue["GeometricScene","ProofDates"]
In[]:=
DateHistogram[DeleteMissing[Flatten[EntityValue["GeometricScene","ProofDates"]]],"Century"]
Out[]=
In[]:=
Histogram[ByteCount/@EntityValue[EntityClass["GeometricScene","EuclidsElements"],"Statement"]]
Out[]=
In[]:=
TakeLargestBy[EntityList[EntityClass["GeometricScene","EuclidsElements"]],ByteCount[#["Statement"]]&,5]
Out[]=
Euclid book 3 proposition 8a
,
Euclid book 5 proposition 21
,
Euclid book 5 proposition 20
,
Euclid book 5 proposition 4
,
Euclid book 5 proposition 22
In[]:=
EntityValue[%,"Statement"]
Out[]=
Let
P
be any point outside a circle and
PA
,
PB
,
PC
,
PD
,
PE
,and
PF
be lines to the circumference of the circle. If
PA
passes through the center of the circle,
PD
is the production of
PA
in the opposite direction,
PB
and
PC
are drawn to the concave circumference,
PB
is closer to
PA
than
PC
is to
PA
,
PE
and
PF
are drawn to the convex circumference, and
PE
is closer to
PD
than
PF
is to
PD
, then
PA>PB>PC
,
PD<PE<PF
.
,
Given two groups of three magnitudes
(AB, CD, and EF; GH, IJ, and KL)
, if the first magnitude is to the second as the fifth is to the sixth
(
AB
CD
IJ
KL
)
, the second is to the third as the fourth is to the fifth
(
CD
EF
GH
IJ
)
, and the first magnitude is greater than or equal to the third
(ABEF)
, then the fourth magnitude is also greater than or equal to the sixth
(GHKL)
.
,
Given two groups of three magnitudes
(AB, CD, and EF; GH, IJ, and KL)
, if the first magnitude is to the second as the fourth is to the fifth
(
AB
CD
GH
IJ
)
, the second is to the third as the fifth is to the sixth
(
CD
EF
IJ
KL
)
, and the first magnitude is greater than or equal to the third
(ABEF)
, then the fourth magnitude is also greater than or equal to the sixth
(GHKL)
.
,
If a first magnitude has to a second the same ratio as a third to a fourth
(
AB
CD
EF
GH
)
, then any equimultiples of the first and third
(IJ2AB, KL2EF)
also have the same ratio to any equimultiples of the second and fourth
(MN3CD, OP3GH)
respectively
(
IJ
MN
KL
OP
)
.
,
Given two groups of three magnitudes
(AB, CD, and EF; GH, IJ, and KL)
, if the first magnitude is to the second as the fourth is to the fifth
(
AB
CD
GH
IJ
)
and the second is to the third as the fifth is to the sixth
(
CD
EF
IJ
KL
)
, then the first magnitude is to the third as the fourth to the sixth
(
AB
EF
GH
KL
)
.
In[]:=
TakeSmallestBy[EntityList[EntityClass["GeometricScene","EuclidsElements"]],ByteCount[#["Statement"]]&,35]
Out[]=
Euclid book 1 proposition 9
,
Euclid book 1 proposition 10
,
Euclid book 6 proposition 9
,
Euclid book 3 proposition 1
,
Euclid book 4 proposition 8
,
Euclid book 4 proposition 6
,
Euclid book 4 proposition 13
,
Euclid book 1 proposition 46
,
Euclid book 4 proposition 7
,
Euclid book 4 proposition 4
,
Euclid book 4 proposition 9
,
Euclid book 2 proposition 14
,
Euclid book 4 proposition 5
,
Euclid book 6 proposition 30
,
Euclid book 4 proposition 12
,
Euclid book 4 proposition 15
,
Euclid book 4 proposition 11
,
Euclid book 6 proposition 10
,
Euclid book 3 proposition 13
,
Euclid book 1 proposition 1
,
Euclid book 1 proposition 31
,
Euclid book 4 proposition 14
,
Euclid book 3 proposition 10
,
Euclid book 6 proposition 21
,
Euclid book 6 proposition 25
,
Euclid book 4 proposition 2
,
Euclid book 4 proposition 3
,
Euclid book 1 proposition 2
,
Euclid book 1 proposition 12
,
Euclid book 3 proposition 17
,
Euclid book 3 proposition 22
,
Euclid book 1 proposition 3
,
Euclid book 1 proposition 42
,
Euclid book 1 proposition 23
,
Euclid book 3 proposition 34
In[]:=
EntityValue[%,"Statement"]
Out[]=
{
To bisect a given angle.
,
To bisect a given line segment.
,
To trisect a given line segment.
,
To find the center of a given circle.
,
To inscribe a circle in a given square.
,
To inscribe a square in a given circle.
,
To inscribe a circle in a regular pentagon.
,
To construct a square on a given line segment.
,
To describe a square about a given circle.
,
To inscribe a circle in a given triangle.
,
To circumscribe a circle about a given square.
,
To construct a square equal to a given polygon.
,
To circumscribe a circle about a given triangle.
,
To cut a given line segment in the golden ratio.
,
To describe a regular pentagon about a given circle.
,
To inscribe an regular hexagon in a given circle.
,
To inscribe a regular pentagon in a given circle.
,
To divide a given line similarly to a given divided line.
,
Two circles cannot be tangent to each other at two points.
,
To construct an equilateral triangle on a given line segment.
,
To draw a line through a given point parallel to a given line.
,
To circumscribe a circle about a given regular pentagon.
,
If two circles have more than two points in common, they must coincide.
,
Polygons which are similar to the same polygon, are similar to one another.
,
To construct a polygon similar to one given polygon and equal to another.
,
To inscribe inside a given circle a triangle similar to a given triangle.
,
To describe about a given circle a triangle similar to a given triangle.
,
From a given point to draw a line segment equal to a given line segment.
,
To draw a line perpendicular to a given infinite line from a given point not on it.
,
From a given point outside of a given circle to draw a line tangent to the circle.
,
The sum of the opposite angles of a quadrilateral inscribed in a circle is two right angles.
,
To cut off from the longer of two given unequal line segments a part equal to the shorter.
,
To construct a parallelogram equal to a given triangle, with one angle equal to a given angle.
,
To construct an angle equal to a given angle on a given line segment and at a point on it.
,
To cut off from a given circle a segment which contains an angle equal to a given angle.
}
Commonality of maximum length paths......
Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.