Mathworld's discussion of the [Gamma function](http://mathworld.wolfram.com/GammaFunction.html) has the pleasant formula:


$$ \frac{\Gamma(\frac{1}{24})\Gamma(\frac{11}{24})}{\Gamma(\frac{5}{24})\Gamma(\frac{7}{24})} = \sqrt{3}\cdot \sqrt{2 + \sqrt{3}} $$


This may have been computed algorithmically, according to the page. So I ask how one might derive this?




---


My immediate thought was to look at $(\mathbb{Z}/24\mathbb{Z})^\times
= \big( \{ 1,5,7,11 \big| 13, 17, 19 , 23 \}, \times \big)$ where $1,5,7,11$ are [relatively prime](https://en.wikipedia.org/wiki/Euclidean_algorithm) to 24. And the other half? 


We could try to use the mirror formula 
$$ \Gamma(z) \Gamma(1-z) = \frac{\pi}{\sin(\pi z)} $$
or the Euler [beta integral](https://en.wikipedia.org/wiki/Beta_function) but nothing has come up yet:
$$ \int\_0^1 x^a (1-x)^b \, dx = \frac{\Gamma(a) \Gamma(b)}{\Gamma(a+b)} $$


I am lucky the period integral of some Riemann surface will be the ratio of Gamma functions:
$$ \int\_0^1 (x - a)^{1/12}
(x - 0)^{11/12}
 (x - 1)^{-5/12}
(x - d)^{-7/12} \, dx
 $$
these integrals appear in the theory of [hypergeometric function](https://en.wikipedia.org/wiki/Hypergeometric_function)




---


In light of comments, I found a paper of [Benedict Gross](https://eudml.org/doc/142544) and the paper of [Selberg and Chowla](https://www.jstor.org/stable/88112?seq=1#page_scan_tab_contents)


$$ F( \tfrac{1}{4},\tfrac{1}{4};1;\tfrac{1}{64}) = \sqrt{\frac{2}{7\pi}} \times \left[\frac{ 
\Gamma(\frac{1}{7})\Gamma(\frac{2}{7})\Gamma(\frac{4}{7})
}{
\Gamma(\frac{3}{7})\Gamma(\frac{5}{7})\Gamma(\frac{6}{7})
}\right]^{1/2} $$


so in our case we are looking at [quadratic residues](https://en.wikipedia.org/wiki/Quadratic_residue) mod 12. However, however it does not tell us that LHS evaluates to RHS.



show that $ \frac{\Gamma(\frac{1}{24})\Gamma(\frac{11}{24})}{\Gamma(\frac{5}{24})\Gamma(\frac{7}{24})} = \sqrt{3}\cdot \sqrt{2 + \sqrt{3}} $
This formula can actually be proved using only properties of the Gamma
function already known to Gauss, with no need to invoke special values of
Dirichlet series. The relevant identities are
$$
\Gamma(z) \, \Gamma(1-z) = \frac\pi{\sin(\pi z)},
$$
already cited by **john mangual** as the "mirror formula", and the
*triplication formula* for the Gamma function, i.e. the case
$k=3$ of [Gauss's
multiplication formula](https://en.wikipedia.org/wiki/Multiplication_theorem#Gamma_function.E2.80.93Legendre_function):
$$
\Gamma(z) \, \Gamma\bigl(z+\frac13\bigr) \, \Gamma\bigl(z+\frac23\bigr)
= 2\pi \cdot 3^{\frac12-3z} \Gamma(3z)
$$
[the $k=2$ case is the more familiar duplication formula
$\Gamma(z) \, \Gamma(z+\frac12) = 2^{1-2z} \sqrt{\pi}\, \Gamma(2z)$].


Take $z=1/24$ and $z=1/8$ in the triplication formula, multiply,
and remove the common factors $\Gamma(1/8) \, \Gamma(3/8)$ to deduce
$$
\Gamma\bigl(\frac{1}{24}\bigr)
\Gamma\bigl(\frac{11}{24}\bigr)
\Gamma\bigl(\frac{17}{24}\bigr)
\Gamma\bigl(\frac{19}{24}\bigr)
= 4 \pi^2 \sqrt{3}.
$$
Take $z=5/24$ and $z=7/24$ in the mirror formula and multiply to deduce
$$
\Gamma\bigl(\frac{5}{24}\bigr)
\Gamma\bigl(\frac{7}{24}\bigr)
\Gamma\bigl(\frac{17}{24}\bigr)
\Gamma\bigl(\frac{19}{24}\bigr)
= \frac{\pi^2}{ \sin (5\pi/24) \sin (7\pi/24) }.
$$
Hence
$$
\frac{\Gamma(1/24) \, \Gamma(11/24)} {\Gamma(5/24) \, \Gamma(7/24)}
= 4 \sqrt{3} \sin (5\pi/24) \sin (7\pi/24),
$$
which is soon reduced to the radical form $\sqrt3 \cdot \sqrt{2+\sqrt3}$.


