1
 The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
If you are undoing an edit that is …
You are not logged in.
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
If you are undoing an edit that is not vandalism, explain the reason in the edit summary rather than using only the default message.
Line 8: 
Line 8: 





As can be seen above, the theta function inputs two variables (''n'' representing the angle of rotation and ''m'' representing the complex number to be rotated). Conventionally, ''n'' is defined in [[radian]]s. This function also utilizes [[Euler's formula]]. 

As can be seen above, the theta function inputs two variables (''n'' representing the angle of rotation and ''m'' representing the complex number to be rotated). Conventionally, ''n'' is defined in [[radian]]s. This function also utilizes [[Euler's formula]]. 
− 
==Theta Function Theorem== 
+ 
==Theta Function Theorems== 

+ 
==='''First theorem'''=== 

+ 
:''Further reading: [[Gil's Theorems]]'' 

The same day he created this function, he proved what he called the theta function theorem. This theorem regards when Θ(''n'', ''m'') equals 0. 

The same day he created this function, he proved what he called the theta function theorem. This theorem regards when Θ(''n'', ''m'') equals 0. 




Line 28: 
Line 28: 





:<math>\therefore \Theta (n, m) = 0 \iff m = 0 \square</math> 

:<math>\therefore \Theta (n, m) = 0 \iff m = 0 \square</math> 
− 

+ 
==='''Second theorem'''=== 

On 19 Sep 2018, he decided to tackle the general case of Θ(''n'', ''m''), using the revised version of the theta function he created. To make things easier, he delineated two sets of Θ: 

On 19 Sep 2018, he decided to tackle the general case of Θ(''n'', ''m''), using the revised version of the theta function he created. To make things easier, he delineated two sets of Θ: 

:<math>\Xi = \Theta (n, m) = e^{n}m  n = a+bi, m = c+di, a=0</math> 

:<math>\Xi = \Theta (n, m) = e^{n}m  n = a+bi, m = c+di, a=0</math> 
Line 43: 
Line 43: 





By listing out various values of ''e''<sup>''a''</sup>, he realized that it could never equal 0, and so ''e''<sup>''a''</sup>''m'' would always be nonzero if ''m'' ≠ 0. Having already proved that ''e''<sup>''bi''</sup> would always be nonzero, he used this to show that one could never rotate any nonzero complex point around the origin to 0. Thus, he showed that 

By listing out various values of ''e''<sup>''a''</sup>, he realized that it could never equal 0, and so ''e''<sup>''a''</sup>''m'' would always be nonzero if ''m'' ≠ 0. Having already proved that ''e''<sup>''bi''</sup> would always be nonzero, he used this to show that one could never rotate any nonzero complex point around the origin to 0. Thus, he showed that 
− 
:<math>\Phi_{0} \iff \Theta (n, 0)</math> 
+ 
:<math>\Phi_{0} \iff \Theta (n, 0) \therefore \Theta (n, m) = 0 \iff m = 0 \square</math> 
− 
:<math>\therefore \Theta (n, m) = 0 \iff m = 0 \square</math> 
