Let points K,L,M,N be the vertices of the rhombus lying on sides AE,ED,DB,BA respectively. Define d(X,YZ) to denote the distance from point X to line YZ. Since D and E are the intersection points of the angle bisectors with the opposite sides, we have d(D,AB)=d(D,AC), d(E,AB)=d(E,BC), and d(D,BC)=d(E,AC)=0, from which we obtain
d(D,AC)+d(D,BC)=d(D,AB),
d(E,AC)+d(E,BC)=d(E,AB).
Since L lies on segment DE, and the equation d(X,AC)+d(X,BC)=d(X,AB) is linear in the variable X, from the above two equations we obtain
d(L,AC)+d(L,BC)=d(L,AB).(2)
Label each of the angles as shown in the figure, and let a=KL. Then we have d(L,AC)=asinμ and d(L,BC)=asinν. Since the parallelogram KLMN lies on one side of line AB, it follows that
d(L,AB)=d(L,AC)+d(N,BC)=d(K,AB)+d(M,AB)=a(sinδ+sinε).
Thus, by equation (1), we obtain
sinμ+sinν=sinδ+sinε.(3)
If one of the angles α and β is not acute, then the inequality to be proved already holds. Hence we may assume α,β<π/2.
It suffices to prove that ψ=∠NKL≤max{α,β}.

We proceed by contradiction, assuming that ψ>max{α,β} holds. Since μ+ψ=∠CKN=α+δ, from the assumption we obtain μ=(α−ψ)+δ<δ. Similarly, one can show that ν<ε. Next, since KN∥ML, we know that β=δ+ν, so we have δ<β<π/2. Similarly, ε<π/2. Finally, from μ<δ<π/2 and ν<ε<π/2, we know that
sinμ<sinδandsinν<sinε.
These two inequalities clearly contradict (2), a contradiction. This completes the proof.