How to evaluate $\int_{0}^{1} \! \frac{-\ln(1-t)}{t} \, \mathrm{d}t$ without using taylor series expansion?

A similar problem and solution can be found here. Proposed by Khalef and solved by Sujee.

Since $\int_0^1 \frac{dx}{1+x^2}=\frac{\pi}{4}$, we have

$$\frac{\pi^2}{16}=\int_0^1\int_0^1\frac{dydx}{(1+x^2)(1+y^2)}\overset{t=xy}{=}\int_0^1\int_0^x\frac{dtdx}{x(1+x^2)(1+t^2/x^2)}$$

$$=\frac12\int_0^1\int_t^1\frac{dxdt}{x(1+x^2)(1+t^2/x^2)}\overset{x^2\to x}{=}\frac12\int_0^1\left(\int_{t^2}^1\frac{dx}{(1+x)(x+t^2)}\right)dt$$

$$=-\frac12\int_0^1\frac{\ln\left(\frac{4t^2}{(1+t^2)^2}\right)}{1-t^2}dt\overset{t=\frac{1-x}{1+x}}{=}-\frac12\int_0^1\frac{\ln\left(\frac{1-x^2}{1+x^2}\right)}{x}dx$$

$$\overset{x^2\to x}{=}-\frac14\int_0^1\frac{\ln\left(\frac{1-x}{1+x}\right)}{x}dx=-\frac14\int_0^1\frac{\ln\left(\frac{(1-x)^2}{1-x^2}\right)}{x}dx$$

$$=-\frac12\int_0^1\frac{\ln(1-x)}{x}dx+\frac14\underbrace{\int_0^1\frac{\ln(1-x^2)}{x}dx}_{x^2\to x}$$

$$=-\frac38\int_0^1\frac{\ln(1-x)}{x}dx\Longrightarrow \int_0^1\frac{-\ln(1-x)}{x}dx=\frac{\pi^2}{6}$$

---

Remark:

This solution can be considered a proof that $\zeta(2)=\frac{\pi^2}{6}$ as we have $\int_0^1\frac{-\ln(1-x)}{x}dx=\text{Li}_2(x)|_0^1=\text{Li}_2(1)=\zeta(2)$

$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} \int_{0}^{1}{-\ln\pars{1 - t} \over t}\,\dd t & = -\int_{0}^{1}{\ln\pars{t} \over 1 - t}\,\dd t = \left.\partiald{}{\nu}\int_{0}^{1}{1 - t^{\nu} \over 1 - t}\,\dd t \,\right\vert_{\ \nu\ =\ 0} \\[5mm] &= \left.\partiald{\Psi\pars{\nu + 1}}{\nu}\,\right\vert_{\ \nu\ =\ 0} = \Psi\, '\pars{1} = \sum_{n = 0}^{\infty}{1 \over \pars{n + 1}^{2}} \\[5mm] & = \sum_{n = 1}^{\infty}{1 \over n^{2}} = \bbx{\pi^{2} \over 6\phantom{^{2}}} \\ & \end{align}