4
$\begingroup$

What are a minimal set of trig identities that can uniquely define the trig functions? I know that you can define, for example, $\sin(x)$ as the unique solution to the differential equation $f''(x) = -f(x), f(0)=0, f'(0)=1$, but I'd like to avoid analytical definitions to as much of a degree as possible (though this definition is interesting in that it nowhere explicitly mentions $\pi$).

Obviously, if we define one trig function, then we can define the rest in terms of it (like $\cos(x) = \sin(\frac{\pi}{2} - x)$). I am just curious if we can give some clever set of trig identities (like half angle formulas or the Pythagorean identity), which completely define the trig functions. It would then follow that all other trig identities can be derived from these.

And is it possible to do this without using any analysis? My intuition says no, at least for a finite set of identities, because any finite set of identities would only define a countable set of points, so you'd at least have to assert that the functions are continuous. So what are either a good infinite set of identities to define one of the trig functions, or a good finite set with the addition of the condition that the function is continuous (which to me is the least possible analysis we can get away with in this case)? Or if you have another clever way that doesn't fit what I said above, I'd like to hear about it too.

1 Answers 1

3

$f(x) = \cos x, g(x) = \sin x$ is the unique continuous (but even measurable would suffice) pair of functions satisfying

$$f(x)^2 + g(x)^2 = 1$$ $$f(x + y) = f(x) f(y) - g(x) g(y)$$ $$g(x + y) = f(x) g(y) + g(x) f(y)$$

with initial conditions $f(0) = 1, g(0) = 0$ and period $2 \pi$. If you don't want to explicitly mention $\pi$ then I am reasonably sure you will need to mention a derivative. You can't get $\pi$ with absolutely no analytic input whatsoever.

  • 1
    Do you have a reference for this?2012-10-21
  • 1
    @Neal: nope. I would prefer to leave it as an exercise. Hint: consider the function $f(x) + i g(x)$.2012-10-21
  • 0
    True, you can't get period $\pi$. But if one is willing to live with the angles in units other than radians, it seems one could say "with period P" for any $P$ and get the trig functions in these alternate units.2012-10-21
  • 0
    Oh sure, I knew you would have to mention $\pi$. When I said not analytic, I meant more about requirements on the functions rather than analytically defined constants.2012-10-21
  • 0
    I get how continuous works (because you basically get values at all rational multiples of $\pi$ using the formula), but how is measurable also sufficient?2012-10-21
  • 0
    If you do like I said and define $\cos(x)$ as $\sin(\frac{\pi}{2} - x)$ and then only worry about defining $\sin(x)$, would that be a sufficient use of $\pi$?2012-10-21
  • 2
    @asmeurer: it's known that pathological solutions to the Cauchy functional equation ( http://en.wikipedia.org/wiki/Cauchy's_functional_equation) are not measurable (http://imi.kyushu-u.ac.jp/~ssaito/eng/maths/Cauchy.pdf). The proof should apply to this case as well.2012-10-21
  • 0
    @asmeurer: maybe, but that isn't the most natural relationship between sine and cosine.2012-10-21
  • 0
    Well, I'm not as interested in the natural relationship as just having a minimal set of defining equations. Or at any rate, we should consider the minimal defining equations to be natural, rather than the other way around, since all other identities will be logically derivable from them. And anyway, it seems fairly natural to me. It just says that $\sin(x)$ and $\cos(x)$ are basically the same function, up to a shift. So if we're interested in defining them, it's only really necessary to define one of them.2012-10-21
  • 0
    Regarding measurability, that makes sense thinking about it in terms of the standard example of a non-measurable set (representatives of equivalence classes of real numbers differing by a rational). These functional equations only define their functions up to rational differences, so discontinuity will have to be because of different values on these equivalence classes (or something quite like them), though I guess it's surprising that a difference on even just one of these classes is enough to make it non-measurable.2012-10-21
  • 0
    @QiaochuYuan All right, then! An exercise it is :)2012-10-21