A154747 Decimal expansion of sqrt(sqrt(2) - 1), the radius vector of the point of bisection of the arc of the unit lemniscate (x^2 + y^2)^2 = x^2 - y^2 in the first quadrant.

6, 4, 3, 5, 9, 4, 2, 5, 2, 9, 0, 5, 5, 8, 2, 6, 2, 4, 7, 3, 5, 4, 4, 3, 4, 3, 7, 4, 1, 8, 2, 0, 9, 8, 0, 8, 9, 2, 4, 2, 0, 2, 7, 4, 2, 4, 4, 4, 0, 0, 7, 6, 5, 1, 1, 5, 6, 1, 5, 2, 0, 0, 9, 3, 5, 2, 0, 7, 4, 8, 5, 0, 3, 2, 1, 8, 3, 6, 5, 1, 9, 5, 4, 5, 1, 3, 4, 2, 4, 6, 5, 9, 5

Offset

0,1

Comments

A root of r^4 + 2 r^2 - 1 = 0.

Also real part of sqrt(1 + i)^3, where i is the imaginary unit such that i^2 = -1. - Alonso del Arte, Sep 09 2019

From Bernard Schott, Dec 19 2020: (Start)

Length of the shortest line segment which divides a right isosceles triangle with AB = AC = 1 into two parts of equal area; this is the answer to the 2nd problem proposed during the final round of the 18th British Mathematical Olympiad in 1993 (see link BM0 and Gardiner reference).

The length of this shortest line segment IJ with I on a short side and J on the hypotenuse is sqrt(sqrt(2)-1), and AI = AJ = 1/sqrt(sqrt(2)) = A228497 (see link Figure for B.M.O. 1993, Problem 2). (End)

This algebraic number and its negation equal the real roots of the quartic x^4 + 2*x^2 - 1 (minimal polynomial). The imaginary roots are +A278928*i and -A278928*i. - Wolfdieter Lang, Sep 23 2022

References

A. Gardiner, The Mathematical Olympiad Handbook: An Introduction to Problem Solving, Oxford University Press, 1997, reprinted 2011, Problem 2, pages 56 and 104-105 (1993).

C. L. Siegel, Topics in Complex Function Theory, Volume I: Elliptic Functions and Uniformization Theory, Wiley-Interscience, 1969, page 5

Links

G. C. Greubel, Table of n, a(n) for n = 0..5000.

British Mathematical Olympiad 1993, Problem 2.

Bernard Schott, Figure for B.M.O. 1993, Problem 2.

Index entries for algebraic numbers, degree 4

Index to sequences related to curves.

Index to sequences related to Olympiads.

Example

0.643594252905582624735443437418...

Mathematica

nmax = 1000; First[ RealDigits[ Sqrt[Sqrt[2] - 1], 10, nmax] ]

Prog

(PARI) sqrt(sqrt(2) - 1) \\ Michel Marcus, Dec 10 2016

Crossrefs

Cf. A154739 for the abscissa and A154743 for the ordinate.

Cf. A154748, A154749 and A154750 for the continued fraction and the numerators and denominators of the convergents.

Cf. A085565 for 1.311028777..., the first-quadrant arc length of the unit lemniscate.

Cf. A309948 and A309949 for real and imaginary parts of sqrt(1 + i).

Cf. A278928.

Sequence in context: A346696 A224927 A200104 * A217515 A354619 A079624

Adjacent sequences: A154744 A154745 A154746 * A154748 A154749 A154750

Keyword

nonn,cons,easy

Author

Stuart Clary, Jan 14 2009

Extensions

Offset corrected by R. J. Mathar, Feb 05 2009

Status

approved