1 / | | _____________ | / 2 2 | \/ 1 - x - y dx | / 0
SqrtQuadraticRule(a=1 - y**2, b=0, c=-1, context=sqrt(-x**2 - y**2 + 1), symbol=x)
Теперь упростить:
Добавляем постоянную интегрирования:
Ответ:
1 / | | / _________________________ _________________________ _________________________ _________________________ | | / 2 / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \ | | / x / 2\ | 4*x 4*x*y | 3 / / 2\ | 4*x 4*x*y | / / 2\ | 4*x 4*x*y | 2 / x / 2\ | 4*x 4*x*y | 2 / / 2\ | 4*x 4*x*y | / x / 2\ | 4*x 4*x*y | / x \ 2 / x / 2\ | 4*x 4*x*y | / x \ | | pi* / -1 + ------------------ *\1 - y /*|-------------------------------------------------- - --------------------------------------------------| 2*I*x *\/ polar_lift\1 - y / *|-------------------------------------------------- - --------------------------------------------------| 2*I*x*\/ polar_lift\1 - y / *|-------------------------------------------------- - --------------------------------------------------| pi*y * / -1 + ------------------ *\1 - y /*|-------------------------------------------------- - --------------------------------------------------| 2*I*x*y *\/ polar_lift\1 - y / *|-------------------------------------------------- - --------------------------------------------------| 2*I* / -1 + ------------------ *\1 - y /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------| 2*I*y * / -1 + ------------------ *\1 - y /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------| | | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | ____________________| / / 2\ | _________________________ _________________________ | | ____________________| _________________________ _________________________ | | \/ polar_lift\1 - y / | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - y / | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - y / | / 2 / 2 | | / / 2\ | \/ polar_lift\1 - y / | / 2 / 2 | | / / 2\ | / 2\ / x \ / 2 2 / 2\ / x \ / 2 | | | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| \\/ polar_lift\1 - y / / | / x / 2\ / x / 2\| \\/ polar_lift\1 - y / / 2*I*x*\1 - y /*acosh|-----------------------| / x / 2\ 2*I*x*y *\1 - y /*acosh|-----------------------| 2 / x / 2\ | | ____________________ ____________________ ____________________ | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | ____________________| 2*I* / -1 + ------------------ *\1 - y / | ____________________| 2*I*y * / -1 + ------------------ *\1 - y / | | / / 2\ 2 / / 2\ 2 / / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | 2 / 2\ | / / 2\ / / 2\ | | / / 2\ | / / 2\ | / / 2\ | / / 2\ 2 | | 2*I*\/ polar_lift\1 - y / 6*I*x *\/ polar_lift\1 - y / 2*I*y *\/ polar_lift\1 - y / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / pi*x*\1 - y / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / pi*x*y *\1 - y / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / / \/ polar_lift\1 - y / \\/ polar_lift\1 - y / / \/ polar_lift\1 - y / x | |-------------------------------------------------------------------------- - -------------------------------------------------------------------------- - -------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------- + --------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------ + ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------- for --------- > 1 | | _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ 2 2 2 2 _________________________ / _________________________ _________________________\ 2 2 _________________________ / _________________________ _________________________\ 2 _________________________ / _________________________ _________________________\ / _________________________ _________________________\ _________________________ / _________________________ _________________________\ / _________________________ _________________________\ | 2| | | / 2 / 2 / 2 / 2 / 2 / 2 / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / 2 | / 2 / 2 | / _________________________ _________________________\ / _________________________ _________________________\ / 2 | / 2 / 2 | / _________________________ _________________________\ / 2 | / 2 / 2 | _____________________________ ______________________________ | / 2 / 2 | ____________________ / 2 | / 2 / 2 | _____________________________ ______________________________ | / 2 / 2 | ____________________ |-1 + y | | | / x 2 / x / x 2 / x / x 2 / x | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ | / 2 / 2 | / x | / x 2 / x | / 2\ / x / x | / x 2 / x | / / 2\ / x | / x 2 / x | / 2\ / x / x | / x 2 / x | / / 2\ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ - 4* / -1 + ------------------ + 4*y * / -1 + ------------------ - 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | / x 2 / x | | / x 2 / x | | / x 2 / x | | / x 2 / x | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\1 - y / | / x 2 / x | | / x 2 / x | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\1 - y / | / x 2 / x | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\1 - y / / 1 + ----------------------- * / -1 + ----------------------- *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*\/ polar_lift\1 - y / / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\1 - y / / 1 + ----------------------- * / -1 + ----------------------- *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*\/ polar_lift\1 - y / | | / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | / ____________________ / ____________________ | / / 2\ / / 2\ | / / 2\ | / / 2\ / / 2\ | / ____________________ / ____________________ | / / 2\ / / 2\ | | | \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | / / 2\ / / 2\ | \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / / / / 2\ / / / 2\ \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / / / / 2\ / / / 2\ \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | | \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \/ \/ polar_lift\1 - y / \/ \/ polar_lift\1 - y / \/ \/ polar_lift\1 - y / \/ \/ polar_lift\1 - y / | < dx | | ________________________ ________________________ | | ____________________ / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \ | | 3 / / 2\ | 2*x 2*x*y | / / 2\ | 2*x 2*x*y | 2 / / 2\ | 2*x 2*x*y | / x / 2\ | 2*x 2*x*y | / x \ 2 / x / 2\ | 2*x 2*x*y | / x \ | | x *\/ polar_lift\1 - y / *|- ------------------------------------------------- + -------------------------------------------------| x*\/ polar_lift\1 - y / *|- ------------------------------------------------- + -------------------------------------------------| x*y *\/ polar_lift\1 - y / *|- ------------------------------------------------- + -------------------------------------------------| / 1 - ------------------ *\1 - y /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------| y * / 1 - ------------------ *\1 - y /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------| | | | ________________________ ________________________ | | ________________________ ________________________ | | ________________________ ________________________ | / / 2\ | ________________________ ________________________ | | ____________________| / / 2\ | ________________________ ________________________ | | ____________________| | | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - y / | / 2 / 2 | | / / 2\ | / 2\ / x \ \/ polar_lift\1 - y / | / 2 / 2 | | / / 2\ | 2 / 2\ / x \ | | | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| \\/ polar_lift\1 - y / / x*\1 - y /*asin|-----------------------| | / x / 2\ / x / 2\| \\/ polar_lift\1 - y / / x*y *\1 - y /*asin|-----------------------| | | ____________________ ____________________ ____________________ | / 1 - ------------------ *polar_lift\1 - y / / 1 - ------------------ *polar_lift\1 - y /| | / 1 - ------------------ *polar_lift\1 - y / / 1 - ------------------ *polar_lift\1 - y /| | / 1 - ------------------ *polar_lift\1 - y / / 1 - ------------------ *polar_lift\1 - y /| | / 1 - ------------------ *polar_lift\1 - y / / 1 - ------------------ *polar_lift\1 - y /| | ____________________| | / 1 - ------------------ *polar_lift\1 - y / / 1 - ------------------ *polar_lift\1 - y /| | ____________________| | | / / 2\ 2 / / 2\ 2 2 / / 2\ | / / 2\ / / 2\ | 2 / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ | | / / 2\ / / 2\ | | / / 2\ | | | \/ polar_lift\1 - y / y *\/ polar_lift\1 - y / 1 - y 3*x *\/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / y *\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / / | | - ------------------------------------------------------------------------ + ------------------------------------------------------------------------ - -------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------ + ------------------------------------------------------------------------------------------------------------------------------------ + -------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------- otherwise | | ________________________ ________________________ ________________________ ________________________ / ________________________ ________________________\ ________________________ ________________________ 2 / ________________________ ________________________\ 2 2 2 ________________________ / ________________________ ________________________\ 2 ________________________ / ________________________ ________________________\ | | / 2 / 2 / 2 / 2 | / 2 / 2 | ____________________ / 2 / 2 / ________________________ ________________________\ | / 2 / 2 | ____________________ / ________________________ ________________________\ / ________________________ ________________________\ / ________________________ ________________________\ / 2 | / 2 / 2 | / ________________________ ________________________\ / 2 | / 2 / 2 | | | / x 2 / x / x 2 / x | / x 2 / x | / / 2\ / x 2 / x | / 2 / 2 | | / x 2 / x | / / 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ | / 2 / 2 | / x | / x 2 / x | / 2\ | | - 2* / 1 - ------------------ + 2*y * / 1 - ------------------ - 2* / 1 - ------------------ + 2*y * / 1 - ------------------ |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ |*\/ polar_lift\1 - y / - 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | / x 2 / x | |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ |*\/ polar_lift\1 - y / | / x 2 / x | | / x 2 / x | | / x 2 / x | / 1 - ------------------ *|- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ |*polar_lift\1 - y / | / x 2 / x | / 1 - ------------------ *|- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ |*polar_lift\1 - y / | | / / 2\ / / 2\ / / 2\ / / 2\ | / / 2\ / / 2\ | / / 2\ / / 2\ |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | | / / 2\ / / 2\ | |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | / / 2\ | / / 2\ / / 2\ | |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | / / 2\ | / / 2\ / / 2\ | | | \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \/ polar_lift\1 - y / \/ polar_lift\1 - y / | / / 2\ / / 2\ | \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | / / 2\ / / 2\ | \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | \ \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | / 0
=
1 / | | / _________________________ _________________________ _________________________ _________________________ | | / 2 / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \ | | / x / 2\ | 4*x 4*x*y | 3 / / 2\ | 4*x 4*x*y | / / 2\ | 4*x 4*x*y | 2 / x / 2\ | 4*x 4*x*y | 2 / / 2\ | 4*x 4*x*y | / x / 2\ | 4*x 4*x*y | / x \ 2 / x / 2\ | 4*x 4*x*y | / x \ | | pi* / -1 + ------------------ *\1 - y /*|-------------------------------------------------- - --------------------------------------------------| 2*I*x *\/ polar_lift\1 - y / *|-------------------------------------------------- - --------------------------------------------------| 2*I*x*\/ polar_lift\1 - y / *|-------------------------------------------------- - --------------------------------------------------| pi*y * / -1 + ------------------ *\1 - y /*|-------------------------------------------------- - --------------------------------------------------| 2*I*x*y *\/ polar_lift\1 - y / *|-------------------------------------------------- - --------------------------------------------------| 2*I* / -1 + ------------------ *\1 - y /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------| 2*I*y * / -1 + ------------------ *\1 - y /*|-------------------------------------------------- - --------------------------------------------------|*acosh|-----------------------| | | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | _________________________ _________________________ | / / 2\ | _________________________ _________________________ | | ____________________| / / 2\ | _________________________ _________________________ | | ____________________| _________________________ _________________________ | | \/ polar_lift\1 - y / | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - y / | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - y / | / 2 / 2 | | / / 2\ | \/ polar_lift\1 - y / | / 2 / 2 | | / / 2\ | / 2\ / x \ / 2 2 / 2\ / x \ / 2 | | | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| \\/ polar_lift\1 - y / / | / x / 2\ / x / 2\| \\/ polar_lift\1 - y / / 2*I*x*\1 - y /*acosh|-----------------------| / x / 2\ 2*I*x*y *\1 - y /*acosh|-----------------------| 2 / x / 2\ | | ____________________ ____________________ ____________________ | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | / -1 + ------------------ *polar_lift\1 - y / / -1 + ------------------ *polar_lift\1 - y /| | ____________________| 2*I* / -1 + ------------------ *\1 - y / | ____________________| 2*I*y * / -1 + ------------------ *\1 - y / | | / / 2\ 2 / / 2\ 2 / / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | 2 / 2\ | / / 2\ / / 2\ | | / / 2\ | / / 2\ | / / 2\ | / / 2\ 2 | | 2*I*\/ polar_lift\1 - y / 6*I*x *\/ polar_lift\1 - y / 2*I*y *\/ polar_lift\1 - y / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / pi*x*\1 - y / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / pi*x*y *\1 - y / \\/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / / \/ polar_lift\1 - y / \\/ polar_lift\1 - y / / \/ polar_lift\1 - y / x | |-------------------------------------------------------------------------- - -------------------------------------------------------------------------- - -------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------- + --------------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------ + ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------- for --------- > 1 | | _________________________ _________________________ _________________________ _________________________ _________________________ _________________________ 2 2 2 2 _________________________ / _________________________ _________________________\ 2 2 _________________________ / _________________________ _________________________\ 2 _________________________ / _________________________ _________________________\ / _________________________ _________________________\ _________________________ / _________________________ _________________________\ / _________________________ _________________________\ | 2| | | / 2 / 2 / 2 / 2 / 2 / 2 / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / _________________________ _________________________\ / 2 | / 2 / 2 | / _________________________ _________________________\ / _________________________ _________________________\ / 2 | / 2 / 2 | / _________________________ _________________________\ / 2 | / 2 / 2 | _____________________________ ______________________________ | / 2 / 2 | ____________________ / 2 | / 2 / 2 | _____________________________ ______________________________ | / 2 / 2 | ____________________ |-1 + y | | | / x 2 / x / x 2 / x / x 2 / x | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ | / 2 / 2 | / x | / x 2 / x | / 2\ / x / x | / x 2 / x | / / 2\ / x | / x 2 / x | / 2\ / x / x | / x 2 / x | / / 2\ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ - 4* / -1 + ------------------ + 4*y * / -1 + ------------------ - 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | / x 2 / x | | / x 2 / x | | / x 2 / x | | / x 2 / x | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\1 - y / | / x 2 / x | | / x 2 / x | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\1 - y / | / x 2 / x | / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\1 - y / / 1 + ----------------------- * / -1 + ----------------------- *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*\/ polar_lift\1 - y / / -1 + ------------------ *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*polar_lift\1 - y / / 1 + ----------------------- * / -1 + ----------------------- *|- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ |*\/ polar_lift\1 - y / | | / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ / / 2\ |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | |- 4* / -1 + ------------------ + 4*y * / -1 + ------------------ | / / 2\ | / / 2\ / / 2\ | / ____________________ / ____________________ | / / 2\ / / 2\ | / / 2\ | / / 2\ / / 2\ | / ____________________ / ____________________ | / / 2\ / / 2\ | | | \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | / / 2\ / / 2\ | \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / / / / 2\ / / / 2\ \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / / / / 2\ / / / 2\ \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | | \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \/ \/ polar_lift\1 - y / \/ \/ polar_lift\1 - y / \/ \/ polar_lift\1 - y / \/ \/ polar_lift\1 - y / | < dx | | ________________________ ________________________ | | ____________________ / 2 \ ____________________ / 2 \ ____________________ / 2 \ / 2 / 2 \ / 2 / 2 \ | | 3 / / 2\ | 2*x 2*x*y | / / 2\ | 2*x 2*x*y | 2 / / 2\ | 2*x 2*x*y | / x / 2\ | 2*x 2*x*y | / x \ 2 / x / 2\ | 2*x 2*x*y | / x \ | | x *\/ polar_lift\1 - y / *|- ------------------------------------------------- + -------------------------------------------------| x*\/ polar_lift\1 - y / *|- ------------------------------------------------- + -------------------------------------------------| x*y *\/ polar_lift\1 - y / *|- ------------------------------------------------- + -------------------------------------------------| / 1 - ------------------ *\1 - y /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------| y * / 1 - ------------------ *\1 - y /*|- ------------------------------------------------- + -------------------------------------------------|*asin|-----------------------| | | | ________________________ ________________________ | | ________________________ ________________________ | | ________________________ ________________________ | / / 2\ | ________________________ ________________________ | | ____________________| / / 2\ | ________________________ ________________________ | | ____________________| | | | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | \/ polar_lift\1 - y / | / 2 / 2 | | / / 2\ | / 2\ / x \ \/ polar_lift\1 - y / | / 2 / 2 | | / / 2\ | 2 / 2\ / x \ | | | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| | / x / 2\ / x / 2\| \\/ polar_lift\1 - y / / x*\1 - y /*asin|-----------------------| | / x / 2\ / x / 2\| \\/ polar_lift\1 - y / / x*y *\1 - y /*asin|-----------------------| | | ____________________ ____________________ ____________________ | / 1 - ------------------ *polar_lift\1 - y / / 1 - ------------------ *polar_lift\1 - y /| | / 1 - ------------------ *polar_lift\1 - y / / 1 - ------------------ *polar_lift\1 - y /| | / 1 - ------------------ *polar_lift\1 - y / / 1 - ------------------ *polar_lift\1 - y /| | / 1 - ------------------ *polar_lift\1 - y / / 1 - ------------------ *polar_lift\1 - y /| | ____________________| | / 1 - ------------------ *polar_lift\1 - y / / 1 - ------------------ *polar_lift\1 - y /| | ____________________| | | / / 2\ 2 / / 2\ 2 2 / / 2\ | / / 2\ / / 2\ | 2 / 2\ | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ | | / / 2\ / / 2\ | | / / 2\ | | | \/ polar_lift\1 - y / y *\/ polar_lift\1 - y / 1 - y 3*x *\/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / y *\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \\/ polar_lift\1 - y / / | | - ------------------------------------------------------------------------ + ------------------------------------------------------------------------ - -------------------------------------------------------------------------------------------------- + ------------------------------------------------------------------------ + ------------------------------------------------------------------------------------------------------------------------------------ + -------------------------------------------------------------------------------------------------- - ----------------------------------------------------------------------------------------------------------------------------------- + -------------------------------------------------------------------------------------------------------------------------------------- - ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------- + ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- - ---------------------------------------------------------------------------------------------------------------------------- otherwise | | ________________________ ________________________ ________________________ ________________________ / ________________________ ________________________\ ________________________ ________________________ 2 / ________________________ ________________________\ 2 2 2 ________________________ / ________________________ ________________________\ 2 ________________________ / ________________________ ________________________\ | | / 2 / 2 / 2 / 2 | / 2 / 2 | ____________________ / 2 / 2 / ________________________ ________________________\ | / 2 / 2 | ____________________ / ________________________ ________________________\ / ________________________ ________________________\ / ________________________ ________________________\ / 2 | / 2 / 2 | / ________________________ ________________________\ / 2 | / 2 / 2 | | | / x 2 / x / x 2 / x | / x 2 / x | / / 2\ / x 2 / x | / 2 / 2 | | / x 2 / x | / / 2\ | / 2 / 2 | | / 2 / 2 | | / 2 / 2 | / x | / x 2 / x | / 2\ | / 2 / 2 | / x | / x 2 / x | / 2\ | | - 2* / 1 - ------------------ + 2*y * / 1 - ------------------ - 2* / 1 - ------------------ + 2*y * / 1 - ------------------ |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ |*\/ polar_lift\1 - y / - 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | / x 2 / x | |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ |*\/ polar_lift\1 - y / | / x 2 / x | | / x 2 / x | | / x 2 / x | / 1 - ------------------ *|- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ |*polar_lift\1 - y / | / x 2 / x | / 1 - ------------------ *|- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ |*polar_lift\1 - y / | | / / 2\ / / 2\ / / 2\ / / 2\ | / / 2\ / / 2\ | / / 2\ / / 2\ |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | | / / 2\ / / 2\ | |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | / / 2\ | / / 2\ / / 2\ | |- 2* / 1 - ------------------ + 2*y * / 1 - ------------------ | / / 2\ | / / 2\ / / 2\ | | | \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \/ polar_lift\1 - y / \/ polar_lift\1 - y / | / / 2\ / / 2\ | \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | / / 2\ / / 2\ | | / / 2\ / / 2\ | | / / 2\ / / 2\ | \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | / / 2\ / / 2\ | \/ polar_lift\1 - y / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | \ \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / \ \/ polar_lift\1 - y / \/ polar_lift\1 - y / / | / 0
/ | _____________ | _____________ / 2 2 / 2\ / _____________\ | / 2 2 x*\/ 1 - x - y |1 y | | / 2 2 | | \/ 1 - x - y dx = C + ------------------ - I*|- - --|*log\-2*x + 2*I*\/ 1 - x - y / | 2 \2 2 / /