Group Abstract Group Abstract

Message Boards Message Boards

0
|
3.9K Views
|
6 Replies
|
7 Total Likes
View groups...
Share
Share this post:

Proof: 0 == I Pi

Anonymous User
Anonymous User
Posted 7 years ago

Consider the following code:

In[34]:= mathematicaDefinitionOfArcCoth[x_] := 
 1/2 (-Log[x - 1] + Log[x + 1])

In[35]:= zero[x_] := 
 ArcCoth[x] - mathematicaDefinitionOfArcCoth[x]

In[36]:= zero[-1/2] // N

Out[36]= 0. + 3.14159 I

The definition of mathematicaDefinitionOfArcCoth is taken from the docs, section "Background & Context".

POSTED BY: Anonymous User
6 Replies
Posted 7 years ago
POSTED BY: David G
Anonymous User
Anonymous User
Posted 7 years ago

mathematicaDefinitionOfArcCoth comes from ArcCoth, Properties & Relations, see the final sentence and then back up two sentences.

A music-software company gives me free products when I beta-test for them, so I have to give my bug-report-submitting time to the other company.

POSTED BY: Anonymous User

Your mathematicaDefinitionOfArcCoth has a branch cut discontinuity in the complex plane, and -1/2 lies precisely along the cut. You can expect the numerical algorithms to give inconsistent results. It woud be nice of Mathematica to issue a warning in such cases, though.

POSTED BY: Gianluca Gorni
Anonymous User
Anonymous User
Posted 7 years ago

You can expect the numerical algorithms to give inconsistent results.

Mathematica gives the same false result even if you omit the "N"; the issue here is not a matter of any numerical algorithm.

The issue is rather a lack of coordination and communication between the developer who implemented ArcCoth and the person who authored the "Background & Context" section in the docs. As far as I have found, a fix would require no change to the implementation of ArcCoth; a fix would require only a correction to the documentation. I foresee no fix ever happening, though, because the consensus among the community is that wrong is better when wrong is what Mr. Wolfram chooses.

POSTED BY: Anonymous User
Posted 7 years ago
POSTED BY: David G
Anonymous User
Anonymous User
Posted 7 years ago

Thank you. If "Back & Context" said what you said, there would be no issue. Instead, "Back & Context" shows a different expression, one unequal to ArcCoth. Along the discontinuity, the discrepancy makes all the difference in the world.

POSTED BY: Anonymous User
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard