Über einen Näherungswert für \(\cos x\). [Anfrage 123.] (Q1498133)

Eine bei den indischen Mathematikern vorkommende Regel für die Berechnung der Seite eines regelmäßigen Polygons führt zu den Näherungsformeln \[ \cos x=\frac{1-\frac{2x^2}5}{1+\frac{x^2}{10}}\,, \quad x^2=10\;\frac{1-\cos x}{4+\cos x}\, . \] Es wird gefragt, ob diese Näherungsformeln irgendwo vorgekommen sind.