«Русская фразеология. Историко-этимологический словарь» А. К. Бириха, В. М. Мокиенко, Л. И. Степанова (3-е изд., испр. и доп. М., 2005) выделяет три значения фразеологизма проливать / пролить свою кровь: «1. За кого, что. Погибать, умирать, защищая кого-либо, что-либо. 2. Сражаться, воевать. 3. Только в форме: ПРОЛИВАТЬ КРОВЬ чью, кого. Убивать, умерщвлять». Здесь же отмечается, что это выражение древнерусское, встречается в «Повести временных лет» в 1 и 3-м значениях, и приводится гипотеза его происхождения со ссылкой на статью Н. Т. Ходиной «Отражение поверий, предрассудков, обычаев во фразеологии» (Вопросы структуры и семантики германских и романских языков. Воронеж, 1975. С. 106.): «Смысл его, возможно, восходит к обычаю жертвоприношений: в глубокой древности часто приносили в жертву детей, главным образом первенцев. Позднее приношение в жертву первенца заменилось пролитием нескольких капель его крови или же закланием молодого животного».

Конечно же, ответ о родительном падеже существительного - поверхностен, но именно такое объяснение предлагается в школьных учебниках в силу его доступности. В действительности же форма слова "девушки", совпадающая с р. п. ед. ч., является рудиментом древней системы склонения, а именно формой двойственного числа. Именно влиянием двойственного числа объясняются странности в образовании словосочетаний: два стола, но пять столов.  

Приводим более подробную справку из раздела "Письмовник" нашего портала:

Числительные два, три, четыре (а также составные числительные, оканчивающиеся на два, три, четыре, например двадцать два) в именительном падеже сочетаются с существительным в форме родительного падежа и единственного числа, например: двадцать два стола, тридцать три несчастья, пятьдесят четыре человека. Числительные пять, шесть, семь, восемь, девять и т. д. и составные числительные, оканчивающиеся на пять, шесть, семь, восемь и т. д., согласуются с существительным, стоящим в форме родительного падежа множественного числа, например: сорок восемь преступников. Однако в косвенных падежах согласование выравнивается: р. п. – двух столов, пяти столов, д. п. – двум столам, пяти столам.

Такая разница в согласовании числительных связана с историей русского языка. Названия чисел 5–9 были существительными женского рода и склонялись как, например, слово кость. Будучи существительными, эти названия управляли родительным падежом существительных, употреблявшихся, разумеется, в форме множественного числа. Отсюда такие сочетания, как пять коров, шесть столов (ср. сочетания с существительными: ножки столов, копыта коров) и т. п.

Сложнее обстояло дело с названиями чисел 2-4, которые были счетными прилагательными и согласовывались в роде, числе и падеже с существительными: три столы, четыре стены, три камене (ср.: красивые столы, высокие стены). При этом название числа 2 согласовывалось с существительными в особой форме двойственного числа (не единственного и не множественного; такая форма применялась для обозначения двух предметов): две стене, два стола, два ножа (не два столы, два ножи). К XVI веку в русском языке происходит разрушение категории двойственного числа, и формы типа два стола начинают восприниматься как родительный падеж единственного числа. Особая соотнесенность чисел 2, 3 и 4 (возможно, и грамматическая принадлежность к одному классу слов) повлияла на выравнивание форм словоизменения всех трех числовых наименований.

Интересно, что такое словоизменение является исключительно великорусской чертой, противопоставляющей русский язык другим восточнославянским. Ученые выдвигают гипотезу, что первоначально такие сочетания формировались как особенность северо-восточного диалекта.

Здесь нет ошибки: в русском языке довольно свободный порядок слов, и части составных союзов вполне могут разделяться несколькими словами, например: Я только тогда бываю спокоен, когда она сидит у меня на коленях и я пою ей: «Ой за гаем, гаем!» (Л. Вертинская). Мы потому так подробно остановились на этой ситуации с проблемой четырех красок, что, знай о ней Витгенштейн, она привлекла бы его внимание (В. Успенский).

Оборот тогда и только тогда — специфическая формулировка, которая используется чаще всего в математике, логике и философии и часто выносится в начало предложения.