Intereting Posts

If a function $f(x)$ is Riemann integrable on $$, is $f(x)$ bounded on $$?
Probability expected value football problem
Quadratic reciprocity and proving a number is a primitive root
Notation for unordered product of sets
Simple and intuitive example for Zorns Lemma
Why do bell curves appear everywhere?
Only 12 polynomials exist with given properties
Prove that $C^1()$ with the $C^1$- norm is a Banach Space
Prove a property of the divisor function
Is there a continuous, strictly increasing function $f: [0,\infty)\to [0,\infty)$ with $f(0) = 0$ such that $\tilde d = f\circ d$ is not a metric?
complex polynomial satisfying inequality
Explanation of the binomial theorem and the associated Big O notation
The density — or otherwise — of $\{\{2^N\,\alpha\}:N\in\mathbb{N}\}$ for ALL irrational $\alpha$.
Proving $\int_{0}^{\infty} \mathrm{e}^{-x^2} dx = \dfrac{\sqrt \pi}{2}$
A problem on continuity of a function on irrationals for $f(x) = \sum_{r_n \leq x} 1/n^2$

I’m looking for a closed-form of the following integral problem.

$$I = \int_0^{\pi/2} \arctan(x)\cot(x)\,dx.$$

The numerical approximation of $I$ is

- What is the limit of this sequence $x_0 = 1$, $x_1 = 2$, $x_{n + 2} = \frac{1}{2} \cdot (x_n + x_{n + 1})$
- Proving that $\lim\limits_{h\to 0}\frac{f(x+h)-2f(x)+f(x-h)}{h^2}=f''(x)$
- Proving that second derivative is perpendicular to curve
- Why isn't the directional derivative generally scaled down to the unit vector?
- Integrate $\int_0^{\pi/2} \frac{1}{1+\tan^\alpha{x}}\,\mathrm{d}x$
- How to prove that $ \lim_{n\to\infty}\left( \sum_{r=1}^n \dfrac 1 {\sqrt{n^2 + r}} \right) = 1$

$$I \approx 0.96644524676637380447182915131032699868606574138656587245691342\dots$$

I’ve found nothing with *Maple* or *Mathematica*.

- Compute $\int_0^{\pi/2}\frac{\sin 2013x }{\sin x} \ dx\space$
- Why does Newton's method work?
- Evaluate $\int _0^{\infty }\frac{e^{-t^2}-e^{-4t^2}}{t^2}dt$
- Formalizing Those Readings of Leibniz Notation that Don't Appeal to Infinitesimals/Differentials
- Prove that $\arctan\left(\frac{2x}{1-x^2}\right)=2\arctan{x}$ for all $|x|<1$, directly from the integral definition of $\arctan$
- How to prove that no constant can bound the function f(x) = x
- Prove $\int_{0}^\infty \frac{1}{\Gamma(x)}\, \mathrm{d}x = e + \int_0^\infty \frac{e^{-x}}{\pi^2 + \ln^2 x}\, \mathrm{d}x$
- Integral $\int_0^1\frac{\ln x}{\left(1+x\right)\left(1+x^{-\left(2+\sqrt3\right)}\right)}dx$
- Exact smoothness condition necessary for differentiation under integration sign to hold.
- Why Cauchy's definition of infinitesimal is not widely used?

This is not an answer. This is just something to offer some ideas. Actually, this more of a comment on steroids.

$$\int_{0}^{\pi/2} \arctan(x)\cot(x) \text{d}x=I$$

Now, what we do is rewrite the equation in terms of $i$. A nice way to do that is to do two things. We first substitute $x=ia$, then multiply and divide $-i$ to the argument of the integral. (And rewrite $\cot$ as $1/\tan$)

$$\int_{0}^{i\pi/2} \frac{-i\arctan ia}{-i\tan ia} \text{d}a=I$$

Recognizably, we note that we can transform the numerator and denominator to hyperbolic functions. We do so like the following:

$$\int_{0}^{i\pi/2} \frac{\text{artanh}\space a}{\tanh a} \text{d}a=I$$

Now, we use something known as the Gudermannian function. That allows us change between hyperbolic functions and real functions with only having to use the real plane. Assume $a=\text{gd}^{-1}\space b $

$$\int_0^{\log\tan(\frac{\pi}{4}(1+i))} \frac{\text{artanh artanh sin}\space b}{\sin b}\text{d}b=$$

Now substitute $b=\arcsin c$ to get a really disgusting result.

$$\int_0^{\arcsin\log\tan(\frac{\pi}{4}(1+i))} \frac{\text{artanh artanh c}}{c}\text{d}c=$$

You can continue for a few more steps due to the rules behind $\tan$ and some hyperbolic properties. (I’m sorry, I used W|A to check that step.)

$$\int_0^{\arcsin\log(\text{sech}(\pi/2)+i\tanh(\pi/2))} \frac{\text{artanh artanh c}}{c}\text{d}c=$$

Something recognizable begins to occur. Remember, for now, we just want to take down the difficulty of the integral to something simpler. Substitute $c=2di$.

Hmmmm…

$$\int_0^{\arcsin\log(\text{sech}(i\pi)+i\tanh(i\pi))} \frac{\text{artanh artanh 2i}d}{2di}\text{d}d=$$

Simplify:

$$\frac{1}{2}\int_0^{\arcsin(i\pi)} \frac{\text{artanh artanh 2}d}{d}\text{d}d=$$

I want to reiterate a few major points here.

a) This not an answer. This is just a few ideas I had to create a solution all in one huge comment. Maybe some of the ideas will inspire you. I don’t know.

b) This answer is, like I said, not full or correct. If you found a solution by yourself using the above methods, that is fantastic. This is an inspirational answer.

c) I probably messed up somewhere.

d) A few sources

-1. https://en.wikipedia.org/wiki/Gudermannian_function

-2. http://mathworld.wolfram.com/InverseHyperbolicTangent.html

-3. http://www.wolframalpha.com/input/?i=gd%5E%28-1%29%28ipi%2F2%29

-4. http://www.wolframalpha.com/input/?i=tan%28pi%2F4+%281%2Bi%29%29

e) **Happy Thanksgiving!**

- Show that $\gcd(a^2, b^2) = \gcd(a,b)^2$
- the sixth number system
- Is this equality in a double category true?
- Finding the limit of $(1-\cos x)/x^2$
- $\int_0^{2\pi}e^{a \cos{\theta}}\cos({\sin{\theta}})\,d\theta$ using residues
- What is an intuitive explanation of the Hopf fibration and the twisted Hopf fibration?
- Euler angles and gimbal lock
- Fourier transform of $\left|\frac{\sin x}{x}\right|$
- Prob. 16, Chap. 3 in Baby Rudin: $x_{n+1} = (x_n + \alpha/x_n)/2$, with $x_1 > \sqrt{\alpha}$, $\alpha > 0$
- How to read negative radians in the interval?
- Every collection of disjoint non-empty open subsets of $\mathbb{R}$ is countable?
- How to understand proof of a limit of a function?
- Homogeneous forms of degree $n$ in $n$ indeterminates over $\mathbb{Z}$: which ones come from the norm of a number field?
- Is there any handwavy argument that shows that $\int_{-\infty}^{\infty} e^{-ikx} dk = 2\pi \delta(x)$?
- Green's function in a moving frame for a constant heat source