6
$\begingroup$

This question is possibly a bit more philosophical $-$ compatible with the Christmas season, which is an appropriate moment to look at the world from a more universal angle... My last question with a similar flavor was a long time ago.

Some mathematical constants come in pairs with their reciprocal. One of the first examples that comes to mind is the golden ratio, sometimes defined as $\phi=\frac{\sqrt{5}+1}{2}$, sometimes as $\phi=\frac{\sqrt{5}-1}{2}$, with the role of both being perfectly ambivalent. This happens of course because, up to sign, $\phi$ and $1/\phi$ are Galois conjugates. Similarly for $i$ and $-i$ (and in fact any pair of conjugate complex numbers of norm $1$, with a special mention of the 3rd roots of unity), and one could argue that $\phi $ and $i$ and $e^{2\pi i/3}$ are essentially just the simplest non trivial cases of solutions to $x^2+px\pm1=0$.

But before you say "this is trivial, and after all, how should one even define a constant?", let me state that for $e$ and $e^{-1}$ the situation is very similar. While exponential growth is of course quite different from exponential decay, the same principle is at work in both. We may reduce this to a simple sign change in the defining formulae $\lim\limits_{n\to\infty}\left(1\pm\frac1n\right)^n$, or take just the sign change between $e^x$ and $e^{-x}$.

Is that already all there is to say about "ambivalent" constants?

On the other side, a striking example of a non ambivalent one is $\pi$, which is a period while $1/\pi$ probably isn't, likewise e.g. for $\ln2$.

$\endgroup$
8
  • 1
    $\begingroup$ The cousin of $\pi$ is $2\pi$ not $1/\pi$... $\endgroup$
    – Dirk
    Dec 25, 2017 at 17:50
  • $\begingroup$ @Dirk In which sense do you mean "cousin"? To me, a factor 2 seems too trivial (or rather say hazardous) for distinguishing. $\endgroup$
    – Wolfgang
    Dec 25, 2017 at 18:21
  • 1
    $\begingroup$ $\pi$ was defined as the ratio of circumference and diameter of a circle. When doing geometry, the diameter is much more important than the radius, so this definition makes sense. When doing calculus, the diameter plays no role at all, while the radius is important, most importantly in Cauchy's integral formula. So today one would define $\pi$ as 6.28... . $\endgroup$ Dec 30, 2017 at 9:20
  • 1
    $\begingroup$ Ambivalent constants are those which are likely to be arguments of logarithm. $\endgroup$
    – Anixx
    Oct 15, 2019 at 21:47
  • 1
    $\begingroup$ For Europeans around 1600-1650, $\pi$ vs $1/\pi$ looked more ambivalent: the first two infinite series for it were actually infinite products. en.wikipedia.org/w/… $\endgroup$
    – user44143
    Aug 28, 2021 at 21:53

3 Answers 3

2
$\begingroup$

Ambivalent constants are those which are likely to be arguments of logarithm. This is because inversion of logarithm's argument merely changes the sign of the logarithm.

All constants usually have negative or reciprocal pair, depending on their typical role as being an argument of logarithm or exponential:

  • $\gamma$ has negative pair $-\gamma$ because it is usually an argument of exponential function rather than logarithm.

  • $\pi$ has negative pair $-\pi$ because it is also an argument of exponential function (Euler's formula).

  • $i$ has both reciprocal and negative pairs, which coincide, because it can be seen on the both sides of Euler's formula: $i=e^{i\pi/2}$.

In general, periods are typically arguments of exponential function, so have a negative pair and their exponentials usually have a reciprocal pair.

$\endgroup$
2
  • 3
    $\begingroup$ This doesn't seem to address any of the Galois conjugate examples mentioned in the question. $\endgroup$
    – JoshuaZ
    Aug 28, 2021 at 21:18
  • $\begingroup$ @JoshuaZ well, the fact that the golden ratio has a reciprocal conjugate may indicate that its logarithm may be interesting. fq.math.ca/Papers1/55-5/Brown.pdf $\endgroup$
    – Anixx
    Aug 28, 2021 at 21:21
2
$\begingroup$

I think we get insight here by asking a more specific question:

  • Geometrically, why is $e$ vs $1/e$ ambivalent when $\pi$ vs $1/\pi$ is not?

It’s easier to talk about $\pi$ first. Consider a square $S$ inscribed in a circle $C$, and their areas.

enter image description here

Then are these ratios ambivalent, or is one more distinguished: $$\frac{area(C)}{area(S)} \ \text{ or } \ \frac{area(S)}{area(C)}\ ?$$

Maybe surprisingly, the answer is clear: the first ratio is more distinguished, because we can approximate it by approximating the area of the circle with the area of smaller squares. More generally, it’s easier to approximate curved areas with polygonal areas than vice versa. (Archimedes would have been ridiculous to calculate $\pi$ by filling a square with small circles.) And therefore $\pi/2$ is more distinguished than $2/\pi$.

We get the same distinction with the circle inscribed in the square, or using perimeters instead of areas.

Talking about $e$ geometrically requires a little more work. Let $h$ be a hyperbola with asymptotes $x$ and $y$. Let $HX$ and $H'X'$ be line segments from $h$ to $x$ which are parallel to $y$.

enter image description here

Suppose the area of the curved region $HH'X'X$ equals the area of the parallelogram between $H$ and the asymptotes. Then are these ratios ambivalent, or is one more distinguished: $$\frac{HX}{H'X'} \ \text{ or }\ \ \frac{H'X'}{HX}\ ?$$

Asked this way, the answer is again clear: these two ratios are ambivalent, because they are both ratios of simple straight line segments. And therefore $1/e$ and $e$ are ambivalent.

$\endgroup$
1
  • $\begingroup$ Excellent approach! $\endgroup$
    – Wolfgang
    Aug 31, 2021 at 6:04
0
$\begingroup$

I'd say that every constant which is proved to exist but whose exact value is unknown, qualifies. The best example that comes to my mind is the de Bruijn-Newman constant $\Lambda$, which equals $0$ if and only if the Riemann Hypothesis is true. So far, it has only been proven that $0\leq\Lambda\leq 0.2$.

$\endgroup$
1
  • 1
    $\begingroup$ How can $\Lambda$ be ambivalent if $1/\Lambda$ may not exist? $\endgroup$
    – user44143
    Aug 30, 2021 at 23:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.