Давайте разберем каждое из утверждений по поводу глобальных переменных и определим, какие из них справедливы.

1. Для расширения области действия глобальных переменных используется оператор static.

   Это утверждение неверно. Оператор static используется для ограничения области видимости переменной, делая её локальной для файла, в котором она объявлена. Он не расширяет область действия глобальных переменных.

2. Память под глобальные переменные выделяется на этапе компиляции и существует все время выполнения программы.

   Это утверждение верно. Глобальные переменные выделяются в статической области памяти, и они существуют на протяжении всего времени выполнения программы.

3. Для расширения области действия глобальных переменных используется оператор extern.

   Это утверждение верно. Оператор extern позволяет использовать глобальные переменные, объявленные в другом файле, что расширяет их область видимости.

4. Глобальные переменные описываются вне функций.

   Это утверждение верно. Глобальные переменные объявляются вне всех функций, что делает их доступными для всех функций в одном или нескольких файлах.

5. Промежуточные переменные рекомендуется объявлять как глобальные.

   Это утверждение неверно. Промежуточные переменные, как правило, следует объявлять как локальные, чтобы избежать ненужного использования глобальной области видимости и потенциальных конфликтов.

6. Глобальные переменные могут быть использованы для передачи данных между функциями.

   Это утверждение верно. Глобальные переменные доступны для всех функций, что позволяет им делиться данными.

7. Глобальные переменные доступны в файле, где они описаны, от места описания до конца файла.

   Это утверждение верно. Глобальные переменные доступны в пределах файла от момента их объявления до конца этого файла.

Итак, справедливыми утверждениями являются: 2, 3, 4, 6 и 7. Утверждения 1 и 5 неверны.