Timeline for A conjectural trigonometric identity
Current License: CC BY-SA 4.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 23, 2019 at 9:47 | vote | accept | Zhi-Wei Sun | ||
| Aug 23, 2019 at 9:47 | vote | accept | Zhi-Wei Sun | ||
| Aug 23, 2019 at 9:47 | |||||
| Aug 22, 2019 at 22:50 | vote | accept | Zhi-Wei Sun | ||
| Aug 23, 2019 at 9:47 | |||||
| Aug 22, 2019 at 22:50 | vote | accept | Zhi-Wei Sun | ||
| Aug 22, 2019 at 22:50 | |||||
| Aug 21, 2019 at 16:26 | vote | accept | Zhi-Wei Sun | ||
| Aug 22, 2019 at 22:50 | |||||
| Aug 21, 2019 at 16:26 | vote | accept | Zhi-Wei Sun | ||
| Aug 21, 2019 at 16:26 | |||||
| Aug 21, 2019 at 16:26 | vote | accept | Zhi-Wei Sun | ||
| Aug 21, 2019 at 16:26 | |||||
| Aug 19, 2019 at 16:14 | answer | added | Fedor Petrov | timeline score: 9 | |
| Aug 8, 2019 at 3:11 | comment | added | Zhi-Wei Sun | The identity (1) is a special case of a much more general result, see Theorem 1.2 of my preprint arxiv.org/abs/1908.02155. | |
| Aug 2, 2019 at 8:28 | comment | added | Fedor Petrov | @user64494 everywhere:) for even $n$ we indeed have zero denominators (say, for $j=0,k=n/2$ and others), it is senseless. In both below solutions the logarithmic derivative of some polynomial at some point is calculated, and for even $n$ this point would be a root of the polynomial. | |
| Aug 2, 2019 at 6:43 | comment | added | user64494 | @Fedor Petrov: Thank you. Where do the below proofs use it? | |
| Aug 1, 2019 at 22:11 | history | became hot network question | |||
| Aug 1, 2019 at 20:59 | comment | added | Fedor Petrov | @user64494 but the conjecture was about odd integers | |
| Aug 1, 2019 at 19:20 | comment | added | user64494 | If we put $n=8$ in the sum under consideration, then up to Maple and Mathematica we face with division by zero. E.g. restart; n := 8; add(add(1/(cos(2*Pi* j/n) + cos(2*Pi* k/n)), k = 0 .. n - 1), j = 0 .. n - 1); Error, numeric exception: division by zero | |
| Aug 1, 2019 at 15:13 | answer | added | Fedor Petrov | timeline score: 30 | |
| Aug 1, 2019 at 15:07 | answer | added | Wojowu | timeline score: 55 | |
| Aug 1, 2019 at 14:08 | history | asked | Zhi-Wei Sun | CC BY-SA 4.0 |