https://web2.0calc.com/questions/a-square-defg-varies-inside-equilateral-triangle
Can you do this without trig, my school hasn't taught it yet.
The first step in order to tackle this problem is to draw another square enclosing square DEFG.
First, we prove that WXYZ is actually a square:
∵¯ED=¯DG=¯GF=¯FE∵∠Z=∠Y=∠YXW=∠ZWX∵∠DEZ+∠WEF=90º,∠DEZ+∠ZDE=90º⇒∠ZDE=∠WEF.
Using the same reasoning, we get:∠ZDE=∠WEF=∠DGY=∠GFX.
∴By AAS congruency:△ZDE≅△YGD≅△XFG≅△WEF.
From this, we get
¯ZE+¯EW=¯ZD+¯DY=¯YG+¯GX=¯FX+¯FW,which simplifies to ¯ZW=¯ZY=¯YX=¯XW.
Therefore WXYZ is a square.
Since △ABC is equilateral,∠B=60º.∵△BEW is a 30-60-90 triangle, ¯EW¯BW=√3.Same goes with △GXC,¯GX¯XC=√3.
If ¯EW=x and ¯GX=y, we get ¯BW=x√3 and ¯XC=y√3.
If the equilateral triangle's side length is a,a=¯BW+¯WF+¯FX+¯XC=x√3+y+x+y√3.
After simplifying, we get x+y=3−√32a.
∵¯WX=x+y∴x+y=¯DH.
Since in any case, ¯DH=3−√32a, the length remains consistent.
The first step in order to tackle this problem is to draw another square enclosing square DEFG.
First, we prove that WXYZ is actually a square:
∵¯ED=¯DG=¯GF=¯FE∵∠Z=∠Y=∠YXW=∠ZWX∵∠DEZ+∠WEF=90º,∠DEZ+∠ZDE=90º⇒∠ZDE=∠WEF.
Using the same reasoning, we get:∠ZDE=∠WEF=∠DGY=∠GFX.
∴By AAS congruency:△ZDE≅△YGD≅△XFG≅△WEF.
From this, we get
¯ZE+¯EW=¯ZD+¯DY=¯YG+¯GX=¯FX+¯FW,which simplifies to ¯ZW=¯ZY=¯YX=¯XW.
Therefore WXYZ is a square.
Since △ABC is equilateral,∠B=60º.∵△BEW is a 30-60-90 triangle, ¯EW¯BW=√3.Same goes with △GXC,¯GX¯XC=√3.
If ¯EW=x and ¯GX=y, we get ¯BW=x√3 and ¯XC=y√3.
If the equilateral triangle's side length is a,a=¯BW+¯WF+¯FX+¯XC=x√3+y+x+y√3.
After simplifying, we get x+y=3−√32a.
∵¯WX=x+y∴x+y=¯DH.
Since in any case, ¯DH=3−√32a, the length remains consistent.