С одной стороны я согласен, что 9/17 - это не половина, 6/17 - не треть, а 2/17 - не одна девятая. Но с другой стороны число 17 не делится ни на 2, ни на 3, ни на 9, т.е как бы мы того не хотели мы никогда не сможем разделить лошадей именно такими долями. Но такой итог устроит всех, т.к каждый получит даже больше чем ему полагалось (17/2 < 9, 17/3 < 6, 17/9 < 2).