Consider four sequences of numbers, $0 \le a\_i, b\_i, c\_i, d\_i \le 1$, suppose they satisfy the following constraints:


(1). $\sum\_{i=1}^K a\_i \ge 1/2 + \epsilon$;


(2). $\sum\_{i=1}^K d\_i \le 1/2 - \epsilon$;


(3). $a\_i d\_i = b\_i c\_i$ for all $i=1, \ldots, K$.


Is it true that
\begin{equation}
\sum\_{i=1}^K (|a\_i - b\_i| + |a\_i - c\_i|) = \Omega(\epsilon) ?
\end{equation}


Added remark after seeing the answer: Initially my Condition (1) was,
(1). $\sum\_{i=1}^K a\_i, \sum\_{i=1}^K b\_i, \sum\_{i=1}^K c\_i \ge 1/2 + \epsilon$.
But it turns out (see the answer below) that the inequality is true even without the requirement on b\_i and c\_i.



additive discrepancy under a multiplicative constraint
$\newcommand{\ep}{\epsilon}$


It is not hard to show (see the proof at the end of this answer) that for any real $a,b,c,d\ge0$ such that $ad=bc$ we have 
\begin{equation}\tag{1}
 |a-b|+|a-c|\ge a-d. 
\end{equation}
Replacing here $a,b,c,d$ by $a\_i,b\_i,c\_i,d\_i$ and summing in $i$, we have 
\begin{equation}
 \sum\_i (|a\_i - b\_i| + |a\_i - c\_i|)\ge\sum\_i a\_i-\sum\_i d\_i\ge2\ep, 
\end{equation}
as desired. (The conditions that $\sum\_i b\_i, \sum\_i c\_i \ge 1/2 + \ep$ were not needed or used here.)




---


*Proof of* (1). If $a=0$, then $a-d\le0$, so that (1) holds. So, without loss of generality (wlog), $a>0$, whence $d=bc/a$ and $a-d=(a^2-bc)/a$. So, wlog $a^2>bc$ and hence $a\ge b\wedge c$. Also, wlog $c\le b$. 
So, one of the following two cases takes place. 


*Case 1: $0\le c\le b\le a$.* Here (1) can be rewritten as 
$$f(a,b,c):=a-b-c+bc/a\ge0,$$
which follows because $f(a,b,c)$ is nonincreasing in $b$ (given that $c/a\le1$) and hence $f(a,b,c)\ge f(a,a,c)=0$. So, (1) holds in Case 1. 


*Case 2: $0\le c\le a\le b$.* Here (1) can be rewritten as 
$$g(a,b,c):=b-c+bc/a-a\ge0,$$
which follows because $g(a,b,c)$ is nondecreasing in $b$ and hence $g(a,b,c)\ge g(a,a,c)=0$. So, (1) holds in Case 2 as well. 


Inequality (1) is completely proved. 


