Centroid
Centroid
Load Eos
Load Eos
In[]:=
<<EosLoader`
Eos3.7.2 (June 24,2023) running under Mathematica 13.2.1 for Mac OS X ARM (64-bit) (January 27, 2023) on Fri 23 Jun 2023 16:02:56.
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/Origami: Step 1
Out[]=
In[]:=
NewPoint["E"{7,8}]
Centroid/Origami: Step 1
Out[]=
Suppose that we are given triangle ΔABE.
In[]:=
triangle={Red,Thick,Line[{"A","B","E","A"}]};
In[]:=
ShowOrigami[Moretriangle]
Centroid/Origami: Step 1
Out[]=
In[]:=
HO["A","E",Mark{{"AE","B2"}}]!
Centroid/Origami: Step 3
Out[]=
In[]:=
HO["BB2"]!
Centroid/Origami: Step 5
Out[]=
In[]:=
HO["B","E",Mark{{"BE","A2"}}]!
Centroid/Origami: Step 7
Out[]=
In[]:=
HO["AA2",Mark{{"BB2","G"}}]!
Centroid/Origami: Step 9
Out[]=
In[]:=
In[]:=
HO["A","B",Mark{{"AB","E2"}}]!
Centroid/Origami: Step 11
Out[]=
In[]:=
HO["E2E"]!
Centroid/Origami: Step 13
Out[]=
In[]:=
ShowOrigami[Moretriangle]
Centroid/Origami: 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/Origami: Step 13
Out[]=
We can further prove that the medians trisects each other.
In[]:=
Prove["medians trisect each other",Goal(¬ColinearQ["A","B","E"]SquaredDistance["G","E"]4SquaredDistance["G","E2"]),Mapping{"A"{0,0},"B"{1,0},"C"{1,1},"D"{0,1},"E"{u,v}}]
Proof is successful.
Centroid/Origami: Step 13
Out[]=
In[]:=
EndSession[];
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.