Centroid Property:

  Centroid of a triangle divides the median in the ratio of 2:1 .

Machine Input :

Point Order : ABCDEFG
Hypotheses : mid(ECA) mid(FAB) coll(BGE) coll(CGF)
Conjecture : CG/GF=2
 

Machine Output :

We can equivalently prove that :-

-1.0
--------------------------   =  1
2.0(GF/GC)

Proof:

   -1.0
   ---------------------
   2.0(GF/GC)

      By putting (GF/GC) = -[FEB]/[ECB]

   1.0[ECB]
=  ---------------------
   2.0[FEB]

      By putting [ECB] = [EBA]

   1.0[EBA]
=  ---------------------
   2.0[FEB]

      By putting [FEB] = 0.5[EBA]

   1.0
=  ---------------------
   1.0

Compute Time=0.071 seconds