Opened 6 years ago

Last modified 5 months ago

#18822 new defect

integral with sqrt*sqrt unsolved

Reported by: rws Owned by:
Priority: major Milestone: sage-9.5
Component: calculus Keywords: integral
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by chapoton)

sage: integral(sqrt(x-1)*sqrt(1/x-1/4), x)
integrate(sqrt(x - 1)*sqrt(1/x - 1/4), x)

This came up in http://ask.sagemath.org/question/27237/another-problem-with-integral/

Change History (6)

comment:1 Changed 4 years ago by mafra

I believe this description is wrong, as

sqrt(x-1)*sqrt(1/x-1/4)

is not equal to (note the x^2 outside of the square root)

sqrt(-1/4*x^2 + 5/4*x - 1)/x^2

but it is equal to

sqrt((-1/4*x^2 + 5/4*x - 1)/x)

where x is inside the square root (and not the other way around).

According to Mathematica, sqrt(x-1)*sqrt(1/x-1/4) integrates to a complicated function that involves elliptic integrals.

comment:2 Changed 4 years ago by rws

  • Description modified (diff)
  • Summary changed from integral with sqrt*sqrt unsolved while solved when expanded to integral with sqrt*sqrt unsolved

That's right. Elliptic E and F functions with argument containing inverse trig function may already appear as solution to integral(1/sqrt(a+b*x^3), x).

comment:3 Changed 14 months ago by chapoton

  • Keywords integral added
  • Milestone changed from sage-6.8 to sage-9.3

comment:4 Changed 14 months ago by chapoton

  • Description modified (diff)

comment:5 Changed 10 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

comment:6 Changed 5 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.