Все таки хотелось как-то использовать сам "состав" этой суммы.
Ну, раз надо доказать, что число представимо в таком виде, а не (впрочем, тривиальное) утверждение о том, что любое число такого вида рационально. Тут проще получить набор

по числу по ходу доказательства того, что он получается требуемого вида.