Область определения функции \( y = \sqrt{x^2 - 9} \) определяется условием неотрицательности выражения под корнем:
\[ x^2 - 9 \ge 0 \]Решим это неравенство:
\[ x^2 \ge 9 \]Это неравенство выполняется, когда \( x \le -3 \) или \( x \ge 3 \).
Ответ: \( (-\infty; -3] \cup [3; +\infty) \).