View source for Talk:Hyperbolic functions

{{WikiProject banner shell|class=C|vital=yes|1=
{{WikiProject Mathematics|importance=high}}
}}
{{User:MiszaBot/config
| algo = old(365d)
| archive  = Talk:Hyperbolic functions/Archive %(counter)d
| counter  = 1
| maxarchivesize  = 150K
| archiveheader  = {{Automatic archive navigator}}
| minthreadstoarchive = 1
| minthreadsleft = 10
}}
{{Archive box |search=yes |bot=Lowercase sigmabot III |age=12 |units=months |auto=yes }}

== Use of exponents on function names==
Hi, I have seen that there is some use of the notation <math>\cosh^2()</math> to indicate <math>\cosh(\cosh())</math>. This should not be done as in some countries <math>\cosh^2()</math> actually means <math>[\cosh()]^2</math>, and this may be a source of confusion. It's evil. [[User:Orzetto|Orzetto]] 09:14, 16 March 2005 (UTC)
:Is this actually true of non-kiddie level math in those countries: [[Function composition]] [[User:TomJF|TomJF]] 04:09, 12 April 2006 (UTC)
:For trigonometric functions, <math>function^2()</math> is synonymous with <math>function() \cdot function()</math>. For example, <math>\cos^2(t)+\sin^2(t)=1</math>. Out of curiosity, when would you ever nest trigonometric functions? You'd run into unit problems, wouldn't you? Your basic trigonometric functions (cosine, sine, and tangent) have domains in radians, degrees, or gradians, yet have ranges in unit lengths. The cosine of the cosine of an angle would be meaningless. [[User:Sobeita|Sobeita]] ([[User talk:Sobeita|talk]]) 02:36, 16 December 2010 (UTC)
::Almost nine years late, but why not? You might want to find the fixed point of cos(x). [[User:Double sharp|Double sharp]] ([[User talk:Double sharp|talk]]) 04:24, 9 December 2019 (UTC)

:: {{ping|Sobeita}} I have replaced the multiplication symbol in your entry with a mid-dot. We often use the star glyph for a multiplication symbol in a plain text, because ASCII did not contain a mid-dot '''&middot;''' or a times symbol '''×'''. However, in some contexts the star symbol <math>*</math> can be confused with the [[convolution]] operator, so it's better to avoid the star whenever more apropriate symbols are available (like in MathJax/LaTeX). --[[User:CiaPan|CiaPan]] ([[User talk:CiaPan|talk]]) 18:46, 13 December 2019 (UTC)

I have fixed symbols like <math>cosh()</math> to render as <math>\cosh().</math> --[[User:CiaPan|CiaPan]] ([[User talk:CiaPan|talk]]) 18:30, 13 December 2019 (UTC)

== The Imaginary Unit ==
The article states that i is defined as the square root of -1, and that's incorrect. It's defined by i^2 = -1.

:A fine case of [[tetrapilotomy]]. Yes, I guess we ''should'' distinguish between the positive and negative square roots of -1 (i.e. ±''i''). [[User:Urhixidur|Urhixidur]] 03:15, 25 September 2006 (UTC)
::Ah, that beautiful word! But it was originally ''tetrapyloctomy'' in [[Umberto Eco]]'s ''[[Foucault's Pendulum]]'', combining Greek ''tetra'' "four", Latin ''pilus'' "hair", and Greek ''-tomy'' "cutting"; thus it means "[the art of] splitting a hair four ways". Now that makes it a [[hybrid word]], so linguistic purists may prefer to use Greek ''tricho-'' for "hair", creating ''tetratrichotomy'' (although, come to think of it, that's confusing with ''trichotomy''). And yes, I'm aware that this comment is approaching icosapyloctomy... [[User:Double sharp|Double sharp]] ([[User talk:Double sharp|talk]]) 22:03, 16 March 2015 (UTC)

:::Wow, an interesting lesson in Greek word compounds {{smiley|wink}}. I see that the original comment has been addressed in the article. —[[User_talk:Quondum|Quondum]] 23:37, 16 March 2015 (UTC)
::::{{ping|Quondum}} Well, of course it has been addressed; it was posted eight and a half years ago! But I couldn't resist giving this lesson {{smiley|grin}}.
::::Technically, the definition ''i''<sup>2</sup> = −1 is still ambiguous, as both ''i'' and −''i'' are solutions to the equation ''x''<sup>2</sup> = −1. But this is moot because they behave exactly the same way algebraically, despite being quantitatively different. If you wanted to really nail it down, we could construct '''C''' as ordered pairs of real numbers ('''R'''<sup>2</sup>) and explicitly choose (0, 1) to be the imaginary unit and not (0, −1), but not only would that approach ogdoëcontapyloctomy (we've just split each piece of hair in quarters, haven't we?), it is also rather irrelevant for this article.
::::P.S. Argh, I can't help myself; one would expect *''octaconta-'' as a Greek prefix for 80, following the more well-known ''[[rhombic triacontahedron|triaconta]]-'' for 30 and ''[[hexecontahedron|hexeconta]]-'' for 60, but it turns out that the Ancient Greek word for 80 was actually ὁγδοήκοντα ''ogdoëconta'', presumably related to ordinal ὄγδοος ''ogdoös'' (eighth). (I couldn't find anyone using the diaeresis on that, incidentally, but it seemed prudent here as there's no audio.) Ancient numbering systems are not remotely the most consistent in the world. [[User:Double sharp|Double sharp]] ([[User talk:Double sharp|talk]]) 20:49, 18 March 2015 (UTC)

:::::I'm not sure that I'd agree with you about the ambiguity. And no, your suggestion does not nail it down any better, even by a sub-hair's breadth. But I disagree with the article saying "defined as": this is not a definition. I'll tweak it. —[[User_talk:Quondum|Quondum]] 04:21, 19 March 2015 (UTC)
::::::Whatever; it's not like it's going to make any difference, as ''i'' and −''i'' are going to behave exactly the same way in this context. Probably [[Imaginary unit#i and −i]] is the place for this. (Wait, that section says that the ambiguity can be solved in the way I mentioned? Am I missing something?) [[User:Double sharp|Double sharp]] ([[User talk:Double sharp|talk]]) 04:32, 19 March 2015 (UTC)
::::::P.S. But do make it a proper definition, please. If we say "define", that's what we'd better give the reader. [[User:Double sharp|Double sharp]] ([[User talk:Double sharp|talk]]) 05:02, 19 March 2015 (UTC)
:::::::I already [https://en.wikipedia.org/w/index.php?title=Hyperbolic_function&diff=652030883&oldid=651359806 replaced the phrase "defined by"]. It cannot be defined adequately in half a sentence.  I think we should only say "... where ''i'' is the [[imaginary unit]]." My reasoning is that there are many structures that contain elements that conform to his characterization (an infinite number of them in in the quaternions, for example). Once one has pinned it down to the complex numbers, though, this final ambiguity between two points ''is'' resolved by the equivalence: until you choose one, you cannot distinguish which you are working with – just as there is no special point on a given sphere without reference to some other points. Do you agree that we should strip off the half-hearted "definition" and leave it to the link [[Imaginary unit]]? —[[User_talk:Quondum|Quondum]] 14:32, 19 March 2015 (UTC)
What's wrong with defining i as the square root of -1? It seems the objection is that it is better defined as z such that z^2 =-1, where z will have two possible values. But if you define it as the square root of -1, don't you get the implication that it must be that i = -i anyway? (maybe not; I'm asking) If that is true, then the simpler definition is equivalent.-- [[User:Editeur24|editeur24]] ([[User talk:Editeur24|talk]]) 01:23, 30 December 2020 (UTC)

== Arc is not a misnomer ==
Contrary to the unreferenced assertions made above, the terms arcsinh, arccosh, etc., are not misnomers. The fact that the hyperbolic angle is equal to twice the area described in a  unit hyberbola does not mean or even imply that it is not an ''arc''. After all, even a circular angle is equal to twice the the area described in a unit circle, and nobody says that therefore it is not an arc. Nobody says "arsin" or "arcos" or "area sine" or "area cosine", but one rather says arcsin, arccos, arc sine, and arc cosine.

In fact, in this sense, the circular angle and the hyperbolic angle are quite analagous. Both circular and hyperbolic angles are equal to twice the area of their paradigmatic unit shapes. Saying "arcsin" but not saying "arcsinh" obscures this analogy to no good effect.

More importantly for Wikipedia, no good references are produced to defend the ar- usage. Instead, baseless assertions are made by individuals not known for their expertise in etymology nor Latin, who imply that the Latin word ''arcus'' cannot refer to an area. A glance at the Lewis and Short dictionary is sufficient to falsify that argument.

I propose that use of the ar- prefix be banished from this article. If good references are produced for it, then it may perhaps be profitable to make a mention of it while noting that its use is far from widespread.

[[User:Rwflammang|Rwflammang]] ([[User talk:Rwflammang|talk]]) 02:11, 16 October 2016 (UTC)
: You do not provide any [[WP:reliable source]] supporting your assertion, while the article on inverse hyperbolic functions provide 3 reliable sources (each has at least an author having a WP article) asserting that arc- is a misnomer. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 08:58, 16 October 2016 (UTC)

::You misunderstand me. I do not propose putting text amounting to "Arc- is not a misnomer" into the article, so I need no source for this statement. I merely point out that there are reliable sources which use arc- and that such sources can be multiplied ad nauseum. You aren't going to make me list them all, are you? I have yet to see any ''reliable'' sources saying otherwise. [[User:Rwflammang|Rwflammang]] ([[User talk:Rwflammang|talk]]) 16:32, 16 October 2016 (UTC)
:::Look at notes 1, 2 and 3 in {{slink|Inverse hyperbolic function|References}}. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 17:09, 16 October 2016 (UTC)

:::: This is a nonsense. The arguments of cos(z1) and arccos(z2) are any complex number. Actually, they are anything that renders the infinite series 1/0!-x^2/2!+... and its inversion well defined. They only have "arcs" and "areas" when the arguments happen to be real numbers with 1<=z1<=-1. Ok, historically they were named based on what is now seen as a narrow interpretation, and yes, in this ancient history mindset, the argument of Cosh[z] is not a normalized arc length, but twice a normalized area. So what? If arccos[z] is the length of an arc swept out by angle z on the unit circle, what is arccos[2]? Its perfectly well defined and imaginary, and cosh(-I arccos(2))=2. So do we use ARCcos[z] when -1<z<1, but "ARcos" when not? What is the "arc" associated with arccos of a 5x5 matrix of quaternions? Again, the value of the function is perfectly well defined. This is just stupid. The "arc" prefix has been redefined, in light of the extension to complex numbers, to mean "inverse" when applied to circular or hyperbolic trig functions. The decision to replace "arc" with "ar" should not be based on obsolete ancient history, it should be based on A) Modern accepted usage and B) Do we want to destroy, by our notation, the connection, via complex numbers, between the circular and hyperbolic trig functions? I vote to ignore the obsolete ancient history lesson, and go with common usage, and to not destroy the notational connection. [[User:PAR|PAR]] ([[User talk:PAR|talk]]) 16:53, 20 December 2017 (UTC)
::::: This argument is [[WP:OR]], and is thus of little value for WP. Moreover, an abbreviated name (that is what is discussed here) cannot be wrong; it may only be frequently or rarely used. Thus the above argument, based on mathematical meaning, has no more value than the etymological argument (area). Thus, there are only two things that have to be considered: The common usage(s), which is not easy to measure. The content of reliable secondary sources. We have sources that assert that "arc" is a misnomer, and, apparently, we have no reliable sources asserting the contrary (the usage, by mathematicians who have not really thought on this, is not a secondary source). So, I suggest to replace "arc is a misnomer" by "some notable authors assert that arc is a misnomer". Otherwise, Wikipedia has to make a choice for coherency across articles. This is "ar". It is not my personal preference, but as, firstly, "ar" and "arc" are both commonly used, and, secondly, some sources says that "arc" is a misnomer, ''there is no reason to change Wikipedia's convention.'' [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 18:02, 20 December 2017 (UTC)

::::::* "Moreover, an abbreviated name (that is what is discussed here) cannot be wrong" - I agree completely.
::::::* "Thus the above argument, based on mathematical meaning, has no more value than the etymological argument (area)." - both having value zero, I agree completely.
::::::* "the usage, by mathematicians who have not really thought on this, is not a secondary source" - We aren't looking for a secondary source (see #1 above). If the literature were to be dominated by such mathematicians, we go with their usage.
::::::* "ar" is not Wikipedia's convention. It's what various Wikipedia authors decide to use. I can go thru all pages changing arcos to arccos, and then, by your definition, it is Wikipedia's convention. Which it still won't be. Searching for "arcos cosine" (to eliminate non-mathematical arcos) gives 17 hits on Wikipedia, searching for "arccos cosine" gives 127. There is an "arccos" Wikipedia page, but no "arcos" Wikipedia page. etc. etc. All of which is irrelevant. Wikipedia should use one or the other consistently. The question is "which?".
::::::* "ar" and/or "arc" do not actually mean area or arc any more, they mean "inverse of a circular or hyperbolic trig function". To imply otherwise is counterproductive.
::::::* The bottom line is that we want to help the reader understand Wikipedia articles by using a consistent notation, and use the notation that is most commonly found in the literature, but noting other common notations.
::::::* It is my opinion that "arc" should be used for both circular and hyperbolic functions throughout Wikipedia, with "arc" signifying inverse, nothing else, also noting other notations found in the literature. From my experience, "arc" is the most common usage. Any discussion of the origins of the different notations can be relegated to a "history" section.[[User:PAR|PAR]] ([[User talk:PAR|talk]]) 19:53, 20 December 2017 (UTC)

{{unindent|6}}

FWIW, "arc" seems to win in Google Scholar, whereas "a" (not "ar") wins in Google Books, both with ''sinh'' and ''tanh'':
:{| class="wikitable" style="text-align: center"
|-
!  !! Google Scholar !! Google Books !! Sum
|-
| arcsinh
| [https://scholar.google.com/scholar?q=arcsinh '''7440''']
| [https://www.google.com/search?q=arcsinh&tbm=bks 5660]
| 13100
|-
| asinh
| [https://scholar.google.com/scholar?q=asinh 5370]
| [https://www.google.com/search?q=asinh&tbm=bks '''7890''']
| '''13260'''
|-
| arsinh
| [https://scholar.google.com/scholar?q=arsinh 2360]
| [https://www.google.com/search?q=arsinh&tbm=bks 4710]
| 7070
|-
| argsinh
| [https://scholar.google.com/scholar?q=argsinh 479]
| [https://www.google.com/search?q=argsinh&tbm=bks 838]
| 1317
|-
|}

:{| class="wikitable" style="text-align: center"
|-
!  !! Google Scholar !! Google Books !! Sum
|-
| arctanh
| [https://scholar.google.com/scholar?q=arctanh '''8710''']
| [https://www.google.com/search?q=arctanh&tbm=bks 5340]
| '''14050'''
|-
| atanh
| [https://scholar.google.com/scholar?q=atanh 4630]
| [https://www.google.com/search?q=atanh&tbm=bks '''6350''']
| 10980
|-
| artanh
| [https://scholar.google.com/scholar?q=artanh 2070]
| [https://www.google.com/search?q=artanh&tbm=bks 3630]
| 5700
|-
| argtanh
| [https://scholar.google.com/scholar?q=argtanh 187]
| [https://www.google.com/search?q=argtanh&tbm=bks 381]
| 568
|-
|}
There could be some overlapping, but in the sums "asinh" just beats "arcsinh", but "arctanh" strongly beats "atanh". So indeed the literature seems to accept "arc", even if it is or looks like a misnomer. - [[User:DVdm|DVdm]] ([[User talk:DVdm|talk]]) 22:35, 20 December 2017 (UTC)

NOTE that there is a parallel discussion of this on [[Talk:Inverse hyperbolic functions#The "ar-" prefix must go]]  [[User:PAR|PAR]] ([[User talk:PAR|talk]]) 05:18, 21 December 2017 (UTC)

::I do not have the slightest doubt that the historic/linguistic roots in Latin (''arcus'' (bow) and ''area'' (ground), perseus.tufts.edu) pale besides the prevalent prefixes (a-, arc-, ar-). Nevertheless, the use of ''arc-'' in connection with inverse hyperbolics '''is a misnomer'''. It is not the first, and will not be the last misnomer that becomes a '''general habit''' in referring to notions. I do not agree to encyclopedias having the task to avoid hurt feelings for using such made explicit misnomers, but rather to have the noble task of passing on the evidenced true roots of naming conventions. Reporting the updates in contemporary prevalence is a newly acquired advantage of electronic encyclopedias. My preference for the prefix "a-", for both inverses of "circular" and "hyperbolic" trigs, may be obvious from the above, but is no guidance for WP ("arg-" would be tedious, and ^(-1) is too mathy). Please, do not conceal that "arc-" for inverse hyperbolics results from a misnomer. [[User:Purgy Purgatorio|Purgy]] ([[User talk:Purgy Purgatorio|talk]]) 08:51, 21 December 2017 (UTC)

:::It is '''not a misnomer''' because inverse hyperbolic functions do represent an arc, which is imaginary. Think of hyperbolic functions as trigonometric functions with imaginary arguments and you'll understand: ''θ'' = arccosh ''x'' means that the corresponding arc length is ''iθ''. [[User:Flora Canou|Flora Canou]] ([[User talk:Flora Canou|talk]]) 06:56, 12 December 2018 (UTC)

::::As an old IT boy, I tell you that the abbreviation of the scientific names of trigonometric and hyperbolic functions was determined by the fact that the names of the functions in [[Fortran IV]] could be at most 8 characters and two characters were reserved for the type of function (integer, real, double), respectively the type of argument. Function names longer than 6 characters have been truncated. Many programmers wrote the names of the functions in mathematical texts as they knew them from programming. --[[User:Turbojet|Turbojet]] ([[User talk:Turbojet|talk]]) 08:43, 29 March 2021 (UTC)

:::It is not just an imaginary arclength, but an actual one if you look at 1+1 Minkowski space with the "unit circle" (actually a hyperbola) embedded in it. You have to use the Minkowski metric to get the arclength along the "unit circle". See my comment at [[Talk:Inverse hyperbolic functions]], section "Arc interpretation for inverse hyperbolic functions". [[Special:Contributions/2001:171B:2274:7C21:59C0:D11E:8871:EC52|2001:171B:2274:7C21:59C0:D11E:8871:EC52]] ([[User talk:2001:171B:2274:7C21:59C0:D11E:8871:EC52|talk]]) 22:22, 10 May 2022 (UTC)

== Proposed change to the section "Relationship to the exponential function" ==
Hi all! I am completely new to editing Wikipedia, and I have an idea for a change. From what I've read, it seems I should propose the change here.

'''MOTIVATION FOR THE CHANGE'''

My proposed change is regarding the section "Relationship to the exponential function." When I saw this heading, I was expecting it to contain some mention of the fact that <math>\cosh(x)</math> and <math>\sinh(x)</math> are the even and odd parts of the exponential function, but this is not  directly discussed. I'll explain and provide references, in case this notion is unfamiliar.

It turns out that every <math>f\colon \mathbb{R} \to \mathbb{R}</math> can be uniquely decomposed into the sum of an even function <math>f_\text{e}</math> and an odd function <math>f_\text{o}</math>, which are referred to as the even and odd parts of <math>f</math>. Moreover, these functions are given by 

<math>
\begin{align}
f_\text{e}(x) &= \frac{f(x)+f(-x)}{2} \\
f_\text{o}(x) &= \frac{f(x)-f(-x)}{2} \\
\end{align}
</math>

Establishing this result is straightforward. To save a little space, I won't do it here. A brief, elementary proof is given in [http://mrhonner.com/archives/8957 Patrick Honner's blog], and a method of discovering the formulas for <math>f_\text{e}</math> and <math>f_\text{o}</math> is given on [https://math.stackexchange.com/questions/5274/how-do-i-divide-a-function-into-even-and-odd-sections Math Stack Exchange]. The result is also described in a [https://en.wikipedia.org/wiki/Even_and_odd_functions#Other_algebraic_properties Wikipedia article].

It's a simple result that can be useful. For example, it can help with integration. See this [https://www.johndcook.com/blog/2014/10/22/integration-trick/ blog article] from John D. Cook for a quick example.

With that background, the connection to hyperbolic functions is immediate. If you already know about this even-odd decomposition, and I tell you that <math>\cosh(x)</math> and <math>\sinh(x)</math> are the even and odd parts of <math>e^x</math>, then you will instantly know how to define them in terms of the exponential function:

<math>
\begin{align}
\cosh(x) = \frac{e^x + e^{-x}}{2} \\
\sinh(x) = \frac{e^x - e^{-x}}{2} \\
\end{align}
</math>

Currently, the section features the identity <math>e^x = \cosh(x) + \sinh(x)</math>, but there is no indication that this is the unique decomposition of <math>e^x</math> into a sum of an even and an odd function, or that this leads directly to the standard definitions of <math>\cosh(x)</math> and <math>\sinh(x)</math>.

Below is a proposal for an updated version of the section. I've tried to keep as much of the original language as possible.

'''PROPOSED LANGUAGE'''

Hyperbolic cosine and hyperbolic sine can be thought of as the even and odd parts of the exponential function, respectively, in the following sense.

Every <math>f \colon \mathbb{R} \to \mathbb{R} </math> can be uniquely decomposed into a sum of an even function <math>f_\text{e}</math> and an odd function <math>f_\text{o}</math>, given by the formulas below. [reference to https://en.wikipedia.org/wiki/Even_and_odd_functions#Other_algebraic_properties would go here]

<math>
\begin{align}
f_\text{e}(x) &= \frac{f(x)+f(-x)}{2} \\
f_\text{o}(x) &= \frac{f(x)-f(-x)}{2} \\
\end{align}
</math>

This can be shown directly from definitions [reference to Honner’s blog would go here]. 

When <math>f(x)</math> is the exponential function, these expressions for <math>f_\text{e}</math> and <math>f_\text{o}</math> are identical to the definitions of hyperbolic cosine and hyperbolic sine. (These are analogous to the expressions for cosine and sine, based on Euler’s formula, as sums of complex exponentials.)

Consequently, we have the following identities:

:<math>e^x = \cosh(x) + \sinh(x)</math>

and similarly

:<math>e^{-x} = \cosh(x) - \sinh(x)</math>

Additionally,
:<math>e^x = \sqrt{\frac{1 + \tanh x}{1 - \tanh x}} = \frac{1 + \tanh \frac{x}{2}}{1 - \tanh \frac{x}{2}}</math>

'''FEEDBACK'''

I would appreciate any feedback! If I'm not correctly following the protocol for proposing changes, I would be happy if anyone can point me in the right direction.

Thank you!

[[User:Greg at Higher Math Help|Greg at Higher Math Help]] ([[User talk:Greg at Higher Math Help|talk]]) 14:19, 30 November 2018 (UTC)

:By the way, the applicable guideline here is [[WP:BOLD]], which essentially amounts to "if you think it's good, just go ahead and do it" (with some caveats), although asking for feedback first is certainly okay, especially if you want to see how it would be received.  (Also check out [[WP:RS]] about using blogs as sources).  Anyway, in this case, I think it's a bit overkill.  A short blurb to note that <math>e^x = \cosh x + \sinh x</math> is the unique decomposition of the exponential function into its odd and even parts would be totally okay to insert (nothing even needs to be linked, because they already are above; see [[MOS:DUPLINK]]).  But going into any more detail probably isn't needed.  Also note that almost as much, but not quite as much, is already said under the {{slink|Hyperbolic function|Taylor series expressions|nopage=y}} section.  &ndash;[[User:Deacon Vorbis|Deacon Vorbis]]&nbsp;([[User Talk:Deacon Vorbis|carbon]]&nbsp;&bull;&nbsp;[[Special:Contributions/Deacon Vorbis|videos]]) 14:58, 30 November 2018 (UTC)

::Wow, that was quick! Thank you so much for the detailed feedback. I just skimmed through the references you provided. 
#My intent was specifically to emphasize not only the uniqueness, but also that the standard definitions for <math>\cosh(x)</math> and <math>\sinh(x)</math> are just particular instances of the general formulas for <math>f_\text{e}</math> and <math>f_\text{o}</math>. If nothing else, it makes the definitions really easy to remember. Thoughts?
#I'm not sure what you mean about duplicate links. I see even and odd properties mentioned, but I don't see any mention or link for general even-odd decomposition formulas in the current version of the hyperbolic functions article. Did I miss something?
#Regarding the blog as a source, this seems like a tricky issue. I've seen proofs presented on Wikipedia without references before (e.g. I just checked and the Mean Value Theorem is an example of this), so is it better to present the proof with no reference than to provide one with a blog reference? I wouldn't put a proof here, but perhaps the short elementary proof could fit in the article on even and odd functions. I appreciate you helping me learn the ropes!  <!-- Template:Unsigned --><small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Greg at Higher Math Help|Greg at Higher Math Help]] ([[User talk:Greg at Higher Math Help#top|talk]] • [[Special:Contributions/Greg at Higher Math Help|contribs]]) 15:51, 30 November 2018 (UTC)</small> <!--Autosigned by SineBot-->

:::The unique decomposition of a function as the sum of an even and an odd functions was stated in [[Even and odd functions]], but one should know that it was there for finding it. Thus I have restructured this article for making it visible, and I have create the redirects {{no redirect|Even–odd decomposition}}, {{no redirect|Even part of a function}} and {{no redirect|Odd part of a function}}. Thus your suggestion is now reduced to simply add somewhere in this article: {{tq|Hyperbolic cosine and sine can also be defined as the [[Even–odd decomposition|even and odd parts]] of the [[exponential function]].}} [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 17:56, 30 November 2018 (UTC)

::::Perfect! I like how you structured it, and the proof you provide is concise. I've edited the Definitions section for the hyperbolic functions to include very brief parenthetical remarks linking to your [[Even and odd functions#Even–odd decomposition|Even–odd decomposition section]]. I also fixed a couple minor typos in that section and added an indication that <math>f_\text{e}</math> is even and <math>f_\text{o}</math> is odd (it's implied but I think it's more clear this way).  <!-- Template:Unsigned --><small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Greg at Higher Math Help|Greg at Higher Math Help]] ([[User talk:Greg at Higher Math Help#top|talk]] • [[Special:Contributions/Greg at Higher Math Help|contribs]]) 13:23, 1 December 2018 (UTC)</small> <!--Autosigned by SineBot-->

== Short  description ==
Before January 27, the short description (imported from Wikidata) was {{tqq|analog of the ordinary trigonometric function}}. Because "analog" is confusing here, I have changed if to {{tqq|Mathematical function related with trigonometric functions}}. {{u|Macrakis}} changed it to {{tqq|Mathematical functions on hyperbolas similar to trigonometric functions on circles}} with edit summary "also better grammar".

I disagree with this new description for two reasons. Firstly, it is wrong or at least confusing, since "on" after "function" generally specifies the domain, being an abbreviation of "defined on" (function on a curve, function on a manifold, function on an algebraic variety, ...). Secondly, the relationship between hyperbolic functions and hyperbolas is unclear for many readers, as most applications are not related to geometry. As short descriptions are aimed for easier navigation and searching, this seem a bad idea to mention in the short description some relatively minor facts that are ignored by most readers.

About the grammar: As the article title is singular, it should refered as such in the short description. So, the plural in Makrakis' version may be confusing. IMO, this article title and [[Trigonometric function]] should be moved to plural per [[WP:PLURAL#Exceptions]], but this is another question. (This move has been requested and done. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 14:39, 28 January 2020 (UTC))

Do someone have a (short) formulation that is fine for everybody? [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 10:59, 28 January 2020 (UTC)

:Happy to work with you on a better short description!
:"related with" is [https://books.google.com/ngrams/graph?content=related+with%3Aeng_gb_2012%2F%28related+to%3Aeng_gb_2012%2Brelated+with%3Aeng_gb_2012%29%2Crelated+with%3Aeng_us_2012%2F%28related+to%3Aeng_us_2012%2Brelated+with%3Aeng_us_2012%29&year_start=1800&year_end=2008&corpus=15&smoothing=3&share=&direct_url=t1%3B%2C%28related%20with%3Aeng_gb_2012%20/%20%28related%20to%3Aeng_gb_2012%20%2B%20related%20with%3Aeng_gb_2012%29%29%3B%2Cc0%3B.t1%3B%2C%28related%20with%3Aeng_us_2012%20/%20%28related%20to%3Aeng_us_2012%20%2B%20related%20with%3Aeng_us_2012%29%29%3B%2Cc0 rare and unidiomatic]; "to" is the usual construction.
:"Related to trigonometric functions" seems rather vague. They are both also related to the exponential function.
:How about "The hyperbolic functions are to hyperbolas what the trigonometric functions are to circles." (Avoiding the word analog -- not quite sure why you object to it.)
:Alternatively, we can emphasize their role in DE's: "The hyperbolic functions are solutions to many important differential equations."
:It is, after all, a ''short'' description, so can't mention all the important characteristics.
:Thoughts? --[[User:Macrakis|Macrakis]] ([[User talk:Macrakis|talk]]) 15:17, 28 January 2020 (UTC)
::What about "Main solutions of the differential equation y{{''}} {{=}} y "? (Apparently italics are impossible in short description.) [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 16:31, 28 January 2020 (UTC)
:::Too technical for a short description. --[[User:Macrakis|Macrakis]] ([[User talk:Macrakis|talk]]) 17:35, 28 January 2020 (UTC)

== 'Osborn's rule' ==

The 'Useful relations' section mentions 'Osborn's rule', citing a 'mnemonic' in a 1902 paper which neither proves it nor states in the way the article does. It even mentions it fails for fourth terms (?). This needs a better reference or removal. [[User:Kranix|Kranix]] ([[User talk:Kranix|talk]] &#124; [[Special:Contributions/Kranix|contribs]]) 17:03, 27 May 2020 (UTC)

: {{re|Kranix}} Fixed: [[special:diff/959218432]]. --[[User:CiaPan|CiaPan]] ([[User talk:CiaPan|talk]]) 17:58, 27 May 2020 (UTC)
: The error about '2, 6, 10, 14... sinh's' has been introduced in this edit [[special:diff/253404134]] in 2008. The error about 'any identity' was even older.  --[[User:CiaPan|CiaPan]] ([[User talk:CiaPan|talk]]) 18:06, 27 May 2020 (UTC)
::{{re|CiaPan}} As it is now, I don't see what <math>\theta, 2\theta, \varphi,</math> etc. could refer to.  The exponent bit was more or less right, but wasn't explained well.  As far as sourcing, it's fine to include the original, but we should include something else, especially for establishing that this is actually referred to as "Osborne's rule".  I'll take a look a bit later if it's still hanging around. &ndash;[[User:Deacon Vorbis|Deacon Vorbis]]&nbsp;([[User Talk:Deacon Vorbis|carbon]]&nbsp;&bull;&nbsp;[[Special:Contributions/Deacon Vorbis|videos]]) 18:21, 27 May 2020 (UTC)

::: {{re|Deacon Vorbis}} Hopefully some of these would qualify as RS? 
:::* https://undergroundmathematics.org/glossary/osborns-rule
:::* https://archive.uea.ac.uk/jtm/4/dg4p1.pdf
:::* https://www.cambridge.org/core/journals/mathematical-gazette/article/9739-fibonometry/F708D0F6A464669A928835FC16FE856D
::: This one contains a clear proof of the rule
:::* https://math.stackexchange.com/questions/138842/proof-of-osbornes-rule
::: alas, as a user-generated content, it's not reliable enough. :(  --[[User:CiaPan|CiaPan]] ([[User talk:CiaPan|talk]]) 19:43, 27 May 2020 (UTC)

::::{{re|Deacon Vorbis}} I think this would be more readable if <math>\theta</math> and <math>\varphi</math> were changed to ''x'' and ''y'', respectively.  Then they would correspond to the identities which follow.—[[User:Anita5192|Anita5192]] ([[User talk:Anita5192|talk]]) 20:17, 27 May 2020 (UTC)

::::: The 1902 article seems like a fine reference. The section does need amending, though, because (a) Osborne's method needs an example to be easily understood, and (b) this section goes on to things unrelated to Osborne's method, without any transition. I don't know trig functions well enough to do it myself. Also, Osborne's example in his 1902 article is too hard to understand-- pick something simple.  --[[User:Editeur24|editeur24]] ([[User talk:Editeur24|talk]]) 02:05, 30 December 2020 (UTC)

== "Hypersine" listed at [[Wikipedia:Redirects for discussion|Redirects for discussion]] ==
[[File:Information.svg|25px|alt=Information icon]] A discussion is taking place to address the redirect [[:Hypersine]]. The discussion will occur at [[Wikipedia:Redirects for discussion/Log/2020 July 3#Hypersine]] until a consensus is reached, and readers of this page are welcome to contribute to the discussion. <!-- from Template:RFDNote --> [[User:1234qwer1234qwer4|1234qwer1234qwer4]] ([[User talk:1234qwer1234qwer4|talk]]) 17:48, 3 July 2020 (UTC)

== Editing for concision. ==

The article begins, “In mathematics, hyperbolic functions are analogues of the ordinary trigonometric functions, but defined using the hyperbola rather than the circle.” Is “ordinary” redundant? Later in the same paragraf, it says, “Also, similarly to how the derivatives…” Should “similarly to” be shortened to “just as”? [[User:Solomonfromfinland|Solomonfromfinland]] ([[User talk:Solomonfromfinland|talk]]) 15:52, 29 September 2024 (UTC)

:No, ordinary is not redundant. The derivatives should not be mentioned in the lead section at all. –[[user:jacobolus|jacobolus]] [[user_talk:jacobolus|(t)]] 03:08, 30 September 2024 (UTC)

== Inequalities  ==

I would like to add some useful inequalities for cosh/sinh to the page, since these are often useful when analyzing these functions, and generally hard to find online.

I tried to make an edit here: [[special:diff/1264119498]]

But it was reverted. If anyone has suggestions for improvement, I'd be happy to take them. [[User:Thomasda|Thomasda]] ([[User talk:Thomasda#top|talk]]) 22:24, 21 December 2024 (UTC)

: I think [[user:D.Lazard|D.Lazard]] may have been concerned that you might be trying to promote the work of the cited author, Zhu Ling, which might involve a conflict of interest (hence the edit summary "... Apparent COI and self-promoting"). The material added here also consisted entirely of decontextualized symbolic formulas whose purpose and significance is not made clear. If these formulas are "often useful", is there some secondary survey source explaining when and how, and how they fit in with other scholarship? If you can convey some of that, an addition might be easier to defend. {{pb}} Part of the problem is a broader one: this article is currently extremely incomplete, not particularly well organized, not very well sourced or illustrated, etc. So there might also be a bit of an [[WP:UNDUE|"undue weight"]] concern. There are at least many dozens of more important and relevant formulas to include in a generic article about the hyperbolic functions, and these inequalities seem like a bit of a recent niche topic. Making them prominent here may imply more significance than justified. Personally I don't think this is usually enough reason to remove material (unless it's way out of scope / clearly belongs at a different page), but the only real way to address such concerns is to put a whole lot more work into improving the core parts of an article, which nobody seems to be in a hurry to do here. –[[user:jacobolus|jacobolus]] [[user_talk:jacobolus|(t)]] 22:56, 21 December 2024 (UTC)

== Logistic function ==

The article on the [[logistic function]] discusses the hyperbolic tangent.  It doesn't have to be much in this article, but I am thinking that we should at least let the reader know that there is a relationship between the hyperbolic functions and the (standard) logistic function.  What do you say?  —[[User:Quantling|<span class="texhtml"><i>Q</i></span>uantling]]&nbsp;([[User talk:Quantling|talk]]&nbsp;&#124;&nbsp;[[Special:Contributions/Quantling|contribs]]) 21:04, 1 May 2025 (UTC)