Homotopy between composites associated in different ways

Statement

Existential version

Suppose $f_1,f_2,f_3$ are loops based at a point $x_0$ in a topological space $X$. We can consider two differently associated products of these three loops:

$a=(f_1*f_2)*f_3,b=f_1*(f_2*f_3)$

$a$ and $b$ are homotopic loops, i.e., they are in the same homotopy class of loops based at $x_0$.

Constructive/explicit version

We first note the explicit piecewise definitions of $a$ and $b$:

$a=\{\begin{array}{cc}{f}_1(4t),& 0\le t\le 1/4\\ f_2(4t-1),& 1/4<t\le 1/2\\ f_3(2t-1),& 1/2<t\le 1\\ \end{array}$

and:

$b=\{\begin{array}{cc}{f}_1(2t),& 0\le t\le 1/2\\ f_2(4t-2),& 1/2<t\le 3/4\\ f_3(4t-3),& 3/4<t\le 1\\ \end{array}$

If we denote the homotopy by $H$, we want $H(t,0)=a(t),H(t,1)=b(t)$ and $H(0,s)=H(1,s)=x_0$. This homotopy is explicitly given by Fill this in later

Graphical version

Fill this in later