попробую, но за точность не ручаюсь...
В 1147 году (видимо, летом) пошел Юрий войной в Новгородский край.Завоевал Новый Торг и всю область. Пришел Юрий к Святославу и приказал ему завоевать Смоленскую область. Святослав пошел, прихватив с собой народ из Голяди и Завоевал, но дружина его уменьшилась в 2 раза. Пришел к нему Юрий и сказал: Брат, приезжай ко мне в Москву. Святослав поехал с сыном своим, с Олегом, с малой дружиной и Владимиром Святославовичем. Олег поехал к Юрию первым и представился ему. Приехал и Святослав. Расцеловался с сыном, 5 дней, на похвалу Богородицы они веселились и праздновали. Наутро же Юрий устроил грандиозный обед, оказав гостям великую честь, одарил подарками и Святослава, и сыновей его, и воинов дружины и отпустил их . Напоследок обещал Юрий сына отпустить, так и сделал.
Площадь равна модулю от величины ((х1-х3)*(у2-у3) -(х2-х3)(у1-у3))/2
Т.к. в скобках целое число, то, доказываемый факт очевиден.
Формула известная и выводится, например
, вписыванием треугольника в прямоугольник со сторонами параллельными осям абсцисс и ординат. Из этого прямоугольника вычитают лишние площади. В нашем случае это прямоугольник с целочисленными координатами из которого вычитаются треугольники прямоугольные, чьи площади равны половине произведения целых чисел.