Centroid
Centroid
Load Eos
Load Eos
In[]:=
<<"EosHeader.m"
g3 Version 1.2.9
Eos3.32 (March 18,2021) running under Mathematica 12.2.0 for Mac OS X x86 (64-bit) (February 2, 2021)
Centroid (1)
Centroid (1)
For any triangle ΔABE, the lines that pass through the midpoints of the three edges AB, BE and EA, and vertices E, A, and B, respectively, intersect at the same point G.
Point G is called the centroid (or the center of gravity) of ΔABE. The line that passes through the edge and the midpoint of the opposite side is called a median.
In[]:=
EosSession["Centroid"];
In[]:=
NewOrigami[10]
Centroid: Step 1
Out[]=
In[]:=
NewPoint["E"{7,8}]
Centroid: Step 1
Out[]=
Suppose that we are given triangle ΔABE.
In[]:=
triangle={Red,Thick,Line[{"A","B","E","A"}]};
In[]:=
ShowOrigami[Moretriangle]
Centroid: Step 1
Out[]=
In[]:=
HO["A","E",Mark{{"AE","B2"}}]!
Centroid: Step 3
Out[]=
In[]:=
HO["BB2"]!
Centroid: Step 5
Out[]=
In[]:=
HO["B","E",Mark{{"BE","A2"}}]!
Centroid: Step 7
Out[]=
In[]:=
HO["AA2",Mark{{"BB2","G"}}]!
Centroid: Step 9
Out[]=
In[]:=
In[]:=
HO["A","B",Mark{{"AB","E2"}}]!
Centroid: Step 11
Out[]=
In[]:=
HO["E2E"]!
Centroid: Step 13
Out[]=
In[]:=
ShowOrigami[Moretriangle]
Centroid: Step 13
Out[]=
We prove the following
The three medians of any triangle all pass through one point. (see Coxeter P.10)
In[]:=
Prove["centroid",Goal(¬ColinearQ["A","B","E"]IncidentQ["G","E2E"]),Mapping{"A"{0,0},"B"{1,0},"C"{1,1},"D"{0,1},"E"{u,v}}]
Proof is successful.
Centroid: Step 13
Out[]=
Success,0.022835,
We can further prove that the medians trisects each other.
Centroid (2)
Centroid (2)
Since the midpoint of the segment on the origami is foldable, Orikoto provides a function that gives the midpoint (P+Q)/2 of the segment PQ. Using the function Orikoto`Midpoint, we can construct the centroid as follows.