It seems that to take half steps at c does not resolve the problem,
c=(fo−1)(f1+1)2
since (fo−1) and (f1+1) are even, c is an integer.
ˉc=2L
L=2fof1(f1+1)(fo−1)2(fo−1)(f1+1)
and L is an integer.
The total length of these steps a, b and c is 4n, we have,
1K+1J+2L=4n
where K, J and L are integer.
This will not prove Erdős–Straus Conjecture but this is now my very own ChanHL Theorem.
Thank you.