There is the question (example) of how the power series definitions of sine and cosine relate to their unit-circle definitions. In many answers (example), the first step is usually something like this:
Show that for all $\theta \in \mathbb R$, we have $\sin^2\theta+\cos^2\theta=1$.
Hence conclude that the set $S=\{(\cos\theta,\sin\theta)\in\mathbb{R}^2|\theta\in\mathbb{R}\}$ describes the unit circle.
I have a doubt about the above argument, which seems to say the following:
Let $f:\mathbb R \rightarrow \mathbb R$ and $g:\mathbb R \rightarrow \mathbb R$ be functions.
Show that for all $\theta \in \mathbb R$, we have $[f(\theta)]^2+[g(\theta)]^2=1$.
Hence conclude that $S=\{(f(\theta),g(\theta))\in\mathbb{R}^2|\theta\in\mathbb{R}\}$ describes the unit circle.
But this conclusion does not follow, because it could for example be that $f$ and $g$ are defined by $f(\theta)=1$ and $g(\theta)=0$ for all $\theta \in \mathbb R$. In which case the set $S$ would not describe the unit circle, but would instead just be a single point: $S=\{(1,0)\}$.
Am I perhaps missing or misunderstanding something about the argument here?
I don't think the author is trying to imply that every two functions $f,g$ which satisfy $|f|^2+|g|^2=1$ automatically also describe the unit circle.
However, $|f|^2+|g|^2=1$ is a necessary condition for $f,g$ to describe the unit circle. Besides this, some other conditions must also be met (which your constant functions do not meet), and showing those other conditions is the second part of the task.
Awkwardly worded, I would say, but I see their point.