Nuprl Definition : arcsine-contraction
arcsine-contraction(a;x) == x + ((a * rcos(x)) - rsqrt(r1 - a * a) * rsin(x))
Definitions occuring in Statement :
rcos: rcos(x),
rsin: rsin(x),
rsqrt: rsqrt(x),
rsub: x - y,
rmul: a * b,
radd: a + b,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rsin: rsin(x),
rmul: a * b,
natural_number: $n,
int-to-real: r(n),
rsub: x - y,
rsqrt: rsqrt(x),
rcos: rcos(x),
radd: a + b
FDL editor aliases :
arcsine-contraction
Latex:
arcsine-contraction(a;x) == x + ((a * rcos(x)) - rsqrt(r1 - a * a) * rsin(x))
Date html generated:
2016_10_26-PM-00_43_42
Last ObjectModification:
2016_10_09-PM-06_53_10
Theory : reals_2
Home
Index