# 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.