· Portal  Help Search Members Calendar 
Welcome Guest ( Log In  Register )  Resend Validation Email 
Welcome to Dozensonline. We hope you enjoy your visit. You're currently viewing our forum as a guest. This means you are limited to certain areas of the board and there are some features you can't use. If you join our community, you'll be able to access memberonly sections, and use many memberonly features such as customizing your profile, and sending personal messages. Registration is simple, fast, and completely free. (You will be asked to confirm your email address before we sign you on.) Join our community! If you're already a member please log in to your account to access all of our features: 
Dan 
Posted: Jun 6 2017, 06:05 AM

Dozens Disciple Group: Members Posts: 1,463 Member No.: 19 Joined: 8August 05 
It's been a long time since high school, but as I recall, trigonometric concepts were introduced in the following order:
But what if we start at the end? Define the trig functions in terms of Taylor series, prove some theorems using them, and eventually connect it to geometry? Define:
A few obvious results follow:
What about derivatives? Using the Power Rule: S'(x) = d/dx (x  x^{3}/3! + x^{5}/5!  x^{7}/7! + x^{9}/9!  ...) = 1  3x^{2}/3! + 5x^{4}/5!  7x^{6}/7! + 9x^{8}/9!  ... = 1  x^{2}/2! + x^{4}/4!  x^{6}/6! + x^{8}/8!  = C(x) C'(x) = d/dx (1  x^{2}/2! + x^{4}/4!  x^{6}/6! + x^{8}/8!  ...) = 0  2x/2! + 4x^{3}/4!  6x^{5}/6! + 8x^{7}/8!  ... = x + x^{3}/3!  x^{5}/5! + x^{7}/7!  ... = (x  x^{3}/3! + x^{5}/5!  x^{7}/7! + ...) = S(x) E'(x) = d/dx (1 + x + x^{2}/2! + x^{3}/3! + x^{4}/4! + ...) = 0 + 1 + 2x/2! + 3x^{2}/3! + 4x^{3}/4! + 5x^{4}/5! + ... = 1 + x + x^{2}/2! + x^{3}/3! + x^{4}/4! + ... = E(x) Now, consider the function f(x) = S(x)^{2} + C(x)^{2}. Using the Power Rule + Chain Rule, its derivative is: f'(x) = d/dx (S(x)^{2} + C(x)^{2}) = 2 S(x) S'(x) + 2 C(x) C'(x) = 2 S(x) C(x) + 2 C(x) (S(x)) = 2 S(x) C(x)  2 S(x) C(x) = 0 Thus, f is a constant function. To find the value of this constant, simply plug in an arbitrary x. Zero will do nicely. f(0) = S(0)^{2} + C(0)^{2} = 0^{2} + 1^{2} = 0 + 1 = 1 So S(x)^{2} + C(x)^{2} = 1 for any x. This might come in handy later, but for now I don't know what significance it may have. 
Dan 
Posted: Jun 6 2017, 06:20 AM

Dozens Disciple Group: Members Posts: 1,463 Member No.: 19 Joined: 8August 05 
So far, I guess I've been implying that x is a real number, but the concept of an infinite polynomial series works just at well with complex numbers. For example, consider the function:
E(x) = 1 + x + x^{2}/2! + x^{3}/3! + x^{4}/4! + x^{5}/5! + x^{6}/6! + x^{7}/7! + x^{8}/8! + x^{9}/9! + ... Let t be a real number and let x = it (a pure imaginary number). E(it) = 1 + it + (it)^{2}/2! + (it)^{3}/3! + (it)^{4}/4! + (it)^{5}/5! + (it)^{6}/6! + (it)^{7}/7! + (it)^{8}/8! + (it)^{9}/9! + ... = 1 + it + i^{2}t^{2}/2! + i^{3}t^{3}/3! + i^{4}t^{4}/4! + i^{5}t^{5}/5! + i^{6}t^{6}/6! + i^{7}t^{7}/7! + i^{8}t^{8}/8! + i^{9}t^{9}/9! + ... = 1 + it + (1)t^{2}/2! + (i)t^{3}/3! + 1t^{4}/4! + it^{5}/5! + (1)t^{6}/6! + (i)t^{7}/7! + 1t^{8}/8! + it^{9}/9! + ... = (1  t^{2}/2! + t^{4}/4!  t^{6}/6! + t^{8}/8!  ...) + i(t  ^{3}/3! + t^{5}/5!  t^{7}/7! + t^{9}/9!  ...) = C(t) + i S(t) Interesting coincidence there, linking together the three functions defined in the original post. Also: E(iu) E(iv) = (C(u) + i S(u)) (C(v) + i S(v)) = C(u) C(v) + i C(u) S(v) + i C(v) S(u)  S(u) S(v) = C(u) C(v)  S(u) S(v) + i (C(u) S(v) + C(v) S(u)) 
Double sharp 
Posted: Jun 6 2017, 08:01 AM

Dozens Disciple Group: Members Posts: 1,401 Member No.: 1,150 Joined: 19September 15 
Burkill's An Introduction to Mathematical Analysis introduces the exponential and circular functions in exactly this way, starting from power series. Hardy in Pure Mathematics starts by defining log and arctan as the antiderivatives of 1/x and 1/(1+x^2) respectively.
Another reasonable approach is to define sin and cos as solutions to the differential equation y" = y, with suitable initial conditions. 
wendy.krieger 
Posted: Jun 6 2017, 09:27 AM

Dozens Demigod Group: Members Posts: 2,432 Member No.: 655 Joined: 11July 12 
The approach i use for geometry mirrors number theory.
You start with the polytopes and lattices (which are like the integers). One then heads off to the isoseries functions, which govern the ratio of chords in all polygons t(n+1) = at(n)t(n1). This allows one to construct all of the chords of the polygons. When 2 is part of the series, at t(0) then t(n) = a^^n, the isopower. The sin and cos series are the chords and shortchords. Evaluated for integer a, this makes the isoseries. From here, we do a simple geometric proof that the chords form an isoseries in a, and that it is possible to derive the solutions of all polygons, and such are linearly dependent. The progression to multiplication of complex numbers = geometric plane, and that the product of points (by rotating and dialation of 0,1 to 0,P), equates to the point having the coordinate c+is = rþ. One proves the general case that i²=1 geometrically. The logrithm of a point is then (log r, þ). This leads to the cyclotomic numbers as the span of powers of x, where x^n = 1. From this, we can prove the general case of the isoseries is a kind of series of 2, 10.1, 100.01, etc. Isomorphism is then discussed. From this we head over to the Schläfli series and dynkin series. Polytopes and the stott expansion are then brought into the picture. As an aside, we develop hyperbolic geometry and the principle of circle drawing. Various proofs about adding length, the right angle theorm and others are devised. The rightangle theorm is 2(2+h²)=(2+a²)(2+b²), which reduces to h²=a²+b² as these go to vanishing. The general conformal model is introduced. 
Kodegadulo 
Posted: Jun 6 2017, 11:56 AM


Obsessive poster Group: Moderators Posts: 4,184 Member No.: 606 Joined: 10September 11 
Or equivalently, using \(\LaTeX\): \[S(x) = \sum_{n=0}^{\infty} (1)^n \frac{x^{2n+1}}{(2n+1)!}\] \[C(x) = \sum_{n=0}^{\infty} (1)^n \frac{x^{2n}}{(2n)!}\] \[E(x) = \sum_{n=0}^{\infty} \frac{x^{n}}{n!}\]
\[S'(x) = \sum_{n=0}^{\infty} (1)^n \frac{(2n+1) x^{2n}}{(2n+1)!} = \sum_{n=0}^{\infty} (1)^n \frac{x^{2n}}{(2n)!} = C(x)\] \[C'(x) = \sum_{n=0}^{\infty} (1)^n \frac{(2n)x^{2n1}}{(2n)!} = \sum_{n=1}^{\infty} (1)^n \frac{x^{2n1}}{(2n1)!} =  \sum_{n=0}^{\infty} (1)^n \frac{x^{2n+1}}{(2n+1)!} = S(x)\] \[E'(x) = \sum_{n=0}^{\infty} \frac{nx^{n1}}{n!} = \sum_{n=1}^{\infty} \frac{x^{n1}}{(n1)!} = \sum_{n=0}^{\infty} \frac{x^{n}}{n!} = E(x)\] (I hope I got that right... ) 

Dan 
Posted: Jun 7 2017, 04:47 AM

Dozens Disciple Group: Members Posts: 1,463 Member No.: 19 Joined: 8August 05 
Let a be a constant. An alternate Taylor series for E(x), centered around a, is:
E(x) = E(a) + E'(a)(xa) + E''(a)(xa)^{2}/2! + E'''(a)(xa)^{3}/3! + E''''(a)(xa)^{4}/4! + E'''''(a)(xa)^{5}/5! + E''''''(a)(xa)^{6}/6! + ... But E is its own derivative, so we can just remove all those prime symbols. E(x) = E(a) + E(a)(xa) + E(a)(xa)^{2}/2! + E(a)(xa)^{3}/3! + E(a)(xa)^{4}/4! + E(a)(xa)^{5}/5! + E(a)(xa)^{6}/6! + ... = E(a) (1 + (xa) + (xa)^{2}/2! + (xa)^{3}/3! + (xa)^{4}/4! + (xa)^{5}/5! + (xa)^{6}/6! + ...) = E(a) E(x  a) Let u = a and v = x  a. Then u + v = x, so: E(u + v) = E(u) E(v) Let's plug in some imaginary numbers. Let x and y be real. We know from an earlier theorem that E(i(x + y)) = C(x + y) + i S(x + y). But another way to look at this same expression is: E(i(x + y)) = E(ix) E(iy) = C(x) C(y)  S(x) S(y) + i (C(x) S(y) + S(x) C(y)) So C(x + y) + i S(x + y) = C(x) C(y)  S(x) S(y) + i (C(x) S(y) + S(x) C(y)). Equating the real and imaginary parts separately gives:
When y = x, then:

Double sharp 
Posted: Jun 7 2017, 10:09 AM

Dozens Disciple Group: Members Posts: 1,401 Member No.: 1,150 Joined: 19September 15 
I'll be honest and say that I never actually bothered memorising the product formulae for cos A cos B, sin A sin B, and sin A cos B; it's much easier to start from the complex exponential and work backwards, like you are doing.

Dan 
Posted: Jun 11 2017, 02:02 AM

Dozens Disciple Group: Members Posts: 1,463 Member No.: 19 Joined: 8August 05 
Now, what about the roots of these infinite polynomials (where their values are equal to zero)?
E doesn't seem to have any. It definitely doesn't have any positive roots, due to the lack of sign changes in its expansion. And whatever negative roots it has seem to disappear when I add another term to the Taylor series. But it seems like C has a root somewhere between 1;6 and 1;7. And S obviously has a root at 0, but it seems to have another one between 3;1 and 3;2. Based on the theorem from my original post that S(x)^{2} + C(x)^{2} = 1, whenever either S(x) or C(x) is 0, the other must be either ±1. So let's consider all 4 possibilities, and take a look at how S and C behave near these roots. Case 1: S(a) = 0, C(a) = +1 Then, from my previous results:
This gives the interesting result that if a root a ≠ 0 indeed exists, then both functions are periodic, and have the same period. Let τ denote this period, if it indeed exists. Since S(0) = 0 and C(0) = 1, then S(τ) = 0 and C(τ) = 1 also. Case 2: S(a) = 0, C(a) = 1
Case 3: S(0) = +1, C(a) = 0
Case 4: S(0) = 1, C(a) = 0

Dan 
Posted: Jun 11 2017, 03:20 AM

Dozens Disciple Group: Members Posts: 1,463 Member No.: 19 Joined: 8August 05 
Recall that for any x:
Now, what if x = τ/2? Then:
Plug these back into the original equations. Can we solve for C(x) and S(x)?
From the second equation, C(x) = 0 or S(x) = 0 (or both). What happens when we plug them into the first equation? If C(x) = 0, then we get S(x)^{2} = 1, which means that S(x) isn't a real number. So, let's try S(x) = 0. Then, C(x)^{2} = 1, so C(x) is either +1 or 1. But if it's +1, then we picked the wrong value for τ, because that makes the functions τ/2periodic. So, C(x) = 1. In summary:

Double sharp 
Posted: Jun 11 2017, 04:10 AM

Dozens Disciple Group: Members Posts: 1,401 Member No.: 1,150 Joined: 19September 15 
I would personally have gone for defining π as the smallest positive root of S(x).
Also, here is a relevant blog post by Timothy Gowers. (And if anyone is concerned about differentiating power series, here is another useful post from his blog.) 