Integral inequality :$\int_0^1(f'(x))^2dx\geq 32\int_0^1(f(x))^2dx + 16\left(\int_0^{\frac{1}{2}}f(x)dx-\int_{\frac{1}{2}}^1f(x)dx\right)^2$

My favourite technique for such kind of problems is to project them over $\ell^2$.

Let us see how that works in this case.

Let we define four ausiliary functions over $[0,1]$: $$ \left\{\begin{array}{rcl} g_1(x) &=& f\left(\frac{x}{4}\right) \\ g_2(x) &=& f\left(\frac{x+1}{4}\right) \\ g_3(x) &=& f\left(\frac{3-x}{4}\right) \\ g_4(x) &=& f\left(\frac{4-x}{4}\right) \end{array}\right.\tag{1}$$ together with their Fourier series: $$ g_k(x) = a_0^{(k)}+\sum_{n\geq 1} c_n^{(k)}\cos(2\pi n x)+\sum_{n\geq 1} s_n^{(k)}\sin(2\pi n x). \tag{2} $$ The initial constraints become $g_1(0)=g_4(0)$ and $g_2(0)=g_3(0)=0$; moreover: $$ \int_{0}^{1/2}f(x)\,dx -\int_{1/2}^{1}f(x)\,dx = \frac{1}{4}\sum_{k=1}^{4}a_0^{(k)}, \tag{3}$$ while by Parseval's identity: $$ \int_{0}^{1}f(x)^2\,dx = \sum_{k=1}^{4}\left[\frac{{a_0^{(k)}}^2}{4}+\frac{1}{8}\sum_{n\geq 1}\left({c_n^{(k)}}^2+{s_n^{(k)}}^2\right)\right]\tag{4}$$ as well as: $$ \int_{0}^{1}f'(x)^2\,dx = \frac{\pi^2}{2}\sum_{k=1}^{4}\sum_{n\geq 1}n^2\left({c_n^{(k)}}^2+{s_n^{(k)}}^2\right).\tag{5}$$ If now we translate the initial constraints as (the pointwise convergence of the Fourier series of $g_k$ is granted by $f'\in L^2$): $$ a_0^{(k)}+\sum_{n\geq 1}c_n^{(k)}=0\qquad (k=2,3) $$ $$ a_0^{(1)}+\sum_{n\geq 1}c_n^{(1)}=a_0^{(4)}+\sum_{n\geq 1}c_n^{(4)}\tag{6}$$ and write down the continuity conditions $g_1(1)=g_2(0),g_2(1)=g_3(1),g_3(0)=g_4(1)$ the initial problem is finally projected over $\ell^2$ and we just need to apply the Cauchy-Schwarz inequality to prove the given integral inequality. As already remarked by Marco Cantarini, this is just a particular version of Wirtinger's inequality and the given constants are not optimal, but the outlined approach gives the chance to find both the optimal constants and the functions fulfilling the equality in the optimal inequality.