Sur une transformation de la formule de \textit{Machin} et sur le calcul des logarithmes. (Q1486585)

Beweis zahlreicher Formeln nach Art der \textit{Machin}schen: \[ \begin{matrix} \frac{\pi}{4}&=8 \text{arctg} \frac{1}{10}-4 \text{arctg} \frac{1}{515}- \text{arctg} \frac{1}{239}, \\ \text{ln} 2&=8 \text{argth}\frac{1}{10}-2 \text{argth} \frac{1}{17}+4 \text{argth} \frac{1}{485}\;\text{usw.} \end{matrix} \]