int (1000/(k2/k1+k2/k3+1)*k2+0.5) это и есть ответ, почему же это работает ?
пусть мы поставили на 1 прогноз s1, на 2 - s2, на 3 - s3.
Тогда s1+s2+s3=1000;
Заметим, что мы хотим максимизировать выигрыш <=> при любой из выгранных ставок мы выиграем одинаковую сумму ==> s1*k1=s2*k2=s3*k3 , то есть s1/s2+s3/s2=k2/k1+k2/k3
но s1+s3=1000-s2 => (1000-s2)/s2=k2/k1+k2/k3
И приходим к начальной формуле.