Ответ:

Пусть девочек было \(x\), тогда мальчиков — \(2x\). Всего: \(x+2x=1200\), значит, \(3x=1200\) и \(x=400\).

Девочек было 400, мальчиков: \(2\cdot400=800\).

Ответ: 800 мальчиков и 400 девочек.