Про изменение скорости света
"y=f(x)", а не "y=x".Вам дополнительно бесплатный ликбез:
о первой записи можно уверенно сказать лишь то , что это функция (с неизвестным правилом соответствия аргумента и результата), а вот о второй записи, кроме того что это функция, можно уверенно сказать и, что эта функция является функциональной зависимостью, ибо правило - налицо, и именно оно здесь однозначно определяет, что эта функция является функциональной зависимостью.
Причем, и обратная функция тут тоже - функциональная зависимость, чего о первой записи утверждать нельзя, без дополнительной инфы.
....
Еще Вам ликбез.
Формула - это набор знаков для выражения функции (впрочем не только функции). Разные формулы могут выражать одну и туже функцию.
Например,
a = b + 7
a = 77 + b - 70
одна и та же функция выраженная разными формулами.
зы, причем эта функция является функциональной зависимостью (см. определение)