Ответ:

Пусть девочек было \(x\), тогда мальчиков — \(2x\).

Всего: \(x+2x=1200\), откуда \(3x=1200\), \(x=400\).

Мальчиков было \(2\cdot400=800\).

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