cos(z+y)-sin(z)*cos(y)еслиy=3/2 (упростите выражение)

Учитель очень удивится увидев твоё верное решение 😼

Решение

Вы ввели [src]
cos(z + y) - sin(z)*cos(y)
sin(z)cos(y)+cos(y+z)- \sin{\left(z \right)} \cos{\left(y \right)} + \cos{\left(y + z \right)}
Подстановка условия [src]
cos(z + y) - sin(z)*cos(y) при y = 3/2
подставляем
cos(z + y) - sin(z)*cos(y)
sin(z)cos(y)+cos(y+z)- \sin{\left(z \right)} \cos{\left(y \right)} + \cos{\left(y + z \right)}
-cos(y)*sin(z) + cos(y + z)
sin(z)cos(y)+cos(y+z)- \sin{\left(z \right)} \cos{\left(y \right)} + \cos{\left(y + z \right)}
переменные
y = 3/2
y=32y = \frac{3}{2}
-cos((3/2))*sin(z) + cos((3/2) + z)
sin(z)cos((3/2))+cos((3/2)+z)- \sin{\left(z \right)} \cos{\left((3/2) \right)} + \cos{\left((3/2) + z \right)}
-cos(3/2)*sin(z) + cos(3/2 + z)
sin(z)cos(32)+cos(z+32)- \sin{\left(z \right)} \cos{\left(\frac{3}{2} \right)} + \cos{\left(z + \frac{3}{2} \right)}
Степени [src]
                             / I*y    -I*y\                 
                             |e      e    | /   -I*z    I*z\
 I*(y + z)    I*(-y - z)   I*|---- + -----|*\- e     + e   /
e            e               \ 2       2  /                 
---------- + ----------- + ---------------------------------
    2             2                        2                
i(eiy2+eiy2)(eizeiz)2+ei(yz)2+ei(y+z)2\frac{i \left(\frac{e^{i y}}{2} + \frac{e^{- i y}}{2}\right) \left(e^{i z} - e^{- i z}\right)}{2} + \frac{e^{i \left(- y - z\right)}}{2} + \frac{e^{i \left(y + z\right)}}{2}
Численный ответ [src]
-cos(y)*sin(z) + cos(z + y)
Собрать выражение [src]
sin(y - z)   sin(y + z)             
---------- - ---------- + cos(y + z)
    2            2                  
12sin(yz)12sin(y+z)+cos(y+z)\frac{1}{2} \sin{\left (y - z \right )} - \frac{1}{2} \sin{\left (y + z \right )} + \cos{\left (y + z \right )}
Тригонометрическая часть [src]
            /    pi\             
- cos(y)*cos|z - --| + cos(y + z)
            \    2 /             
cos(y)cos(zπ2)+cos(y+z)- \cos{\left(y \right)} \cos{\left(z - \frac{\pi}{2} \right)} + \cos{\left(y + z \right)}
  //     0       for And(im(z) = 0, z mod pi = 0)\                                                                                                                
  ||                                             | //  1     for And(im(y) = 0, y mod 2*pi = 0)\   //    1       for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)\
- |<   /    pi\                                  |*|<                                          | + |<                                                            |
  ||cos|z - --|             otherwise            | \\cos(y)              otherwise             /   \\cos(y + z)                     otherwise                    /
  \\   \    2 /                                  /                                                                                                                
(({0forim(z)=0zmodπ=0cos(zπ2)otherwise)({1forim(y)=0ymod2π=0cos(y)otherwise))+({1forim(y)+im(z)=0(y+z)mod2π=0cos(y+z)otherwise)\left(- \left(\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\cos{\left(z - \frac{\pi}{2} \right)} & \text{otherwise} \end{cases}\right) \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\cos{\left(y \right)} & \text{otherwise} \end{cases}\right)\right) + \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\cos{\left(y + z \right)} & \text{otherwise} \end{cases}\right)
       2/y   z\        /       2/y\\    /z\  
1 - tan |- + -|      2*|1 - tan |-||*tan|-|  
        \2   2/        \        \2//    \2/  
--------------- - ---------------------------
       2/y   z\   /       2/y\\ /       2/z\\
1 + tan |- + -|   |1 + tan |-||*|1 + tan |-||
        \2   2/   \        \2// \        \2//
2(1tan2(y2))tan(z2)(tan2(y2)+1)(tan2(z2)+1)+1tan2(y2+z2)tan2(y2+z2)+1- \frac{2 \cdot \left(1 - \tan^{2}{\left(\frac{y}{2} \right)}\right) \tan{\left(\frac{z}{2} \right)}}{\left(\tan^{2}{\left(\frac{y}{2} \right)} + 1\right) \left(\tan^{2}{\left(\frac{z}{2} \right)} + 1\right)} + \frac{1 - \tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} + 1}
  //                      0                         for And(im(z) = 0, z mod pi = 0)\ //                        1                          for And(im(y) = 0, y mod 2*pi = 0)\   //                                 1                                   for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)\
  ||                                                                                | ||                                                                                     |   ||                                                                                                                     |
  ||/     0       for And(im(z) = 0, z mod pi = 0)                                  | ||/     1        for And(im(y) = 0, y mod 2*pi = 0)                                    |   ||/       1          for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)                                                  |
  |||                                                                               | |||                                                                                    |   |||                                                                                                                    |
  |||       /z\                                                                     | |||        2/y\                                                                        |   |||        2/y   z\                                                                                                    |
- |<|  2*cot|-|                                                                     |*|<|-1 + cot |-|                                                                        | + |<|-1 + cot |- + -|                                                                                                    |
  ||<       \2/                                                otherwise            | ||<         \2/                                                  otherwise             |   ||<         \2   2/                                                                       otherwise                    |
  |||-----------             otherwise                                              | |||------------              otherwise                                                 |   |||----------------                     otherwise                                                                      |
  |||       2/z\                                                                    | |||       2/y\                                                                         |   |||       2/y   z\                                                                                                     |
  |||1 + cot |-|                                                                    | |||1 + cot |-|                                                                         |   |||1 + cot |- + -|                                                                                                     |
  \\\        \2/                                                                    / \\\        \2/                                                                         /   \\\        \2   2/                                                                                                     /
(({0forim(z)=0zmodπ=0{0forim(z)=0zmodπ=02cot(z2)cot2(z2)+1otherwiseotherwise)({1forim(y)=0ymod2π=0{1forim(y)=0ymod2π=0cot2(y2)1cot2(y2)+1otherwiseotherwise))+({1forim(y)+im(z)=0(y+z)mod2π=0{1forim(y)+im(z)=0(y+z)mod2π=0cot2(y2+z2)1cot2(y2+z2)+1otherwiseotherwise)\left(- \left(\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\frac{2 \cot{\left(\frac{z}{2} \right)}}{\cot^{2}{\left(\frac{z}{2} \right)} + 1} & \text{otherwise} \end{cases} & \text{otherwise} \end{cases}\right) \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\frac{\cot^{2}{\left(\frac{y}{2} \right)} - 1}{\cot^{2}{\left(\frac{y}{2} \right)} + 1} & \text{otherwise} \end{cases} & \text{otherwise} \end{cases}\right)\right) + \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\frac{\cot^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} - 1}{\cot^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} + 1} & \text{otherwise} \end{cases} & \text{otherwise} \end{cases}\right)
  //                    0                      for And(im(z) = 0, z mod pi = 0)\ //                     1                       for And(im(y) = 0, y mod 2*pi = 0)\   //                              1                                for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)\
  ||                                                                           | ||                                                                               |   ||                                                                                                               |
- |
(({0forim(z)=0zmodπ=0{0forim(z)=0zmodπ=0sin(z)otherwiseotherwise)({1forim(y)=0ymod2π=0{1forim(y)=0ymod2π=0cos(y)otherwiseotherwise))+({1forim(y)+im(z)=0(y+z)mod2π=0{1forim(y)+im(z)=0(y+z)mod2π=0cos(y+z)otherwiseotherwise)\left(- \left(\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\sin{\left(z \right)} & \text{otherwise} \end{cases} & \text{otherwise} \end{cases}\right) \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\cos{\left(y \right)} & \text{otherwise} \end{cases} & \text{otherwise} \end{cases}\right)\right) + \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\cos{\left(y + z \right)} & \text{otherwise} \end{cases} & \text{otherwise} \end{cases}\right)
                                    2/y   z\
                             1 - tan |- + -|
  -sin(y - z) + sin(y + z)           \2   2/
- ------------------------ + ---------------
             2                      2/y   z\
                             1 + tan |- + -|
                                     \2   2/
1tan2(y2+z2)tan2(y2+z2)+1sin(yz)+sin(y+z)2\frac{1 - \tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} + 1} - \frac{- \sin{\left(y - z \right)} + \sin{\left(y + z \right)}}{2}
  //  0     for And(im(z) = 0, z mod pi = 0)\ //  1     for And(im(y) = 0, y mod 2*pi = 0)\   //    1       for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)\
- |<                                        |*|<                                          | + |<                                                            |
  \\sin(z)             otherwise            / \\cos(y)              otherwise             /   \\cos(y + z)                     otherwise                    /
(({0forim(z)=0zmodπ=0sin(z)otherwise)({1forim(y)=0ymod2π=0cos(y)otherwise))+({1forim(y)+im(z)=0(y+z)mod2π=0cos(y+z)otherwise)\left(- \left(\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\sin{\left(z \right)} & \text{otherwise} \end{cases}\right) \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\cos{\left(y \right)} & \text{otherwise} \end{cases}\right)\right) + \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\cos{\left(y + z \right)} & \text{otherwise} \end{cases}\right)
                                   4/y   z\
                              4*sin |- + -|
                                    \2   2/
                          1 - -------------
                                  2        
sin(y - z)   sin(y + z)        sin (y + z) 
---------- - ---------- + -----------------
    2            2                 4/y   z\
                              4*sin |- + -|
                                    \2   2/
                          1 + -------------
                                  2        
                               sin (y + z) 
4sin4(y2+z2)sin2(y+z)+14sin4(y2+z2)sin2(y+z)+1+sin(yz)2sin(y+z)2\frac{- \frac{4 \sin^{4}{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\sin^{2}{\left(y + z \right)}} + 1}{\frac{4 \sin^{4}{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\sin^{2}{\left(y + z \right)}} + 1} + \frac{\sin{\left(y - z \right)}}{2} - \frac{\sin{\left(y + z \right)}}{2}
  //     0       for And(im(z) = 0, z mod pi = 0)\ //     1       for And(im(y) = 0, y mod 2*pi = 0)\   //       1         for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)\
  ||                                             | ||                                               |   ||                                                                 |
  ||       /z\                                   | ||       2/y\                                    |   ||       2/y   z\                                                  |
  ||  2*tan|-|                                   | ||1 - tan |-|                                    |   ||1 - tan |- + -|                                                  |
- |<       \2/                                   |*|<        \2/                                    | + |<        \2   2/                                                  |
  ||-----------             otherwise            | ||-----------              otherwise             |   ||---------------                     otherwise                    |
  ||       2/z\                                  | ||       2/y\                                    |   ||       2/y   z\                                                  |
  ||1 + tan |-|                                  | ||1 + tan |-|                                    |   ||1 + tan |- + -|                                                  |
  \\        \2/                                  / \\        \2/                                    /   \\        \2   2/                                                  /
(({0forim(z)=0zmodπ=02tan(z2)tan2(z2)+1otherwise)({1forim(y)=0ymod2π=01tan2(y2)tan2(y2)+1otherwise))+({1forim(y)+im(z)=0(y+z)mod2π=01tan2(y2+z2)tan2(y2+z2)+1otherwise)\left(- \left(\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\frac{2 \tan{\left(\frac{z}{2} \right)}}{\tan^{2}{\left(\frac{z}{2} \right)} + 1} & \text{otherwise} \end{cases}\right) \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\frac{1 - \tan^{2}{\left(\frac{y}{2} \right)}}{\tan^{2}{\left(\frac{y}{2} \right)} + 1} & \text{otherwise} \end{cases}\right)\right) + \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\frac{1 - \tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} + 1} & \text{otherwise} \end{cases}\right)
                                              //     1       for And(im(y) = 0, y mod 2*pi = 0)\   //       1         for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)\
  //  0     for And(im(z) = 0, z mod pi = 0)\ ||                                               |   ||                                                                 |
  ||                                        | ||     1                                         |   ||       1                                                         |
- |<  1                                     |*|<-----------              otherwise             | + |<---------------                     otherwise                    |
  ||------             otherwise            | ||   /pi    \                                    |   ||   /pi        \                                                  |
  \\csc(z)                                  / ||csc|-- - y|                                    |   ||csc|-- - y - z|                                                  |
                                              \\   \2     /                                    /   \\   \2         /                                                  /
(({0forim(z)=0zmodπ=01csc(z)otherwise)({1forim(y)=0ymod2π=01csc(y+π2)otherwise))+({1forim(y)+im(z)=0(y+z)mod2π=01csc(yz+π2)otherwise)\left(- \left(\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\frac{1}{\csc{\left(z \right)}} & \text{otherwise} \end{cases}\right) \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\frac{1}{\csc{\left(- y + \frac{\pi}{2} \right)}} & \text{otherwise} \end{cases}\right)\right) + \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\frac{1}{\csc{\left(- y - z + \frac{\pi}{2} \right)}} & \text{otherwise} \end{cases}\right)
                                   4/y + z\
                              4*sin |-----|
                                    \  2  /
                          1 - -------------
                                  2        
sin(y - z)   sin(y + z)        sin (y + z) 
---------- - ---------- + -----------------
    2            2                 4/y + z\
                              4*sin |-----|
                                    \  2  /
                          1 + -------------
                                  2        
                               sin (y + z) 
4sin4(y+z2)sin2(y+z)+14sin4(y+z2)sin2(y+z)+1+sin(yz)2sin(y+z)2\frac{- \frac{4 \sin^{4}{\left(\frac{y + z}{2} \right)}}{\sin^{2}{\left(y + z \right)}} + 1}{\frac{4 \sin^{4}{\left(\frac{y + z}{2} \right)}}{\sin^{2}{\left(y + z \right)}} + 1} + \frac{\sin{\left(y - z \right)}}{2} - \frac{\sin{\left(y + z \right)}}{2}
            /    pi\      /        pi\
- sin(z)*sin|y + --| + sin|y + z + --|
            \    2 /      \        2 /
sin(z)sin(y+π2)+sin(y+z+π2)- \sin{\left(z \right)} \sin{\left(y + \frac{\pi}{2} \right)} + \sin{\left(y + z + \frac{\pi}{2} \right)}
                                              //     1       for And(im(y) = 0, y mod 2*pi = 0)\   //       1         for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)\
  //  0     for And(im(z) = 0, z mod pi = 0)\ ||                                               |   ||                                                                 |
- |<                                        |*|<   /    pi\                                    | + |<   /        pi\                                                  |
  \\sin(z)             otherwise            / ||sin|y + --|              otherwise             |   ||sin|y + z + --|                     otherwise                    |
                                              \\   \    2 /                                    /   \\   \        2 /                                                  /
(({0forim(z)=0zmodπ=0sin(z)otherwise)({1forim(y)=0ymod2π=0sin(y+π2)otherwise))+({1forim(y)+im(z)=0(y+z)mod2π=0sin(y+z+π2)otherwise)\left(- \left(\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\sin{\left(z \right)} & \text{otherwise} \end{cases}\right) \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\sin{\left(y + \frac{\pi}{2} \right)} & \text{otherwise} \end{cases}\right)\right) + \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\sin{\left(y + z + \frac{\pi}{2} \right)} & \text{otherwise} \end{cases}\right)
  //     0       for And(im(z) = 0, z mod pi = 0)\ //     1        for And(im(y) = 0, y mod 2*pi = 0)\   //       1          for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)\
  ||                                             | ||                                                |   ||                                                                  |
  ||       /z\                                   | ||        2/y\                                    |   ||        2/y   z\                                                  |
  ||  2*cot|-|                                   | ||-1 + cot |-|                                    |   ||-1 + cot |- + -|                                                  |
- |<       \2/                                   |*|<         \2/                                    | + |<         \2   2/                                                  |
  ||-----------             otherwise            | ||------------              otherwise             |   ||----------------                     otherwise                    |
  ||       2/z\                                  | ||       2/y\                                     |   ||       2/y   z\                                                   |
  ||1 + cot |-|                                  | ||1 + cot |-|                                     |   ||1 + cot |- + -|                                                   |
  \\        \2/                                  / \\        \2/                                     /   \\        \2   2/                                                   /
(({0forim(z)=0zmodπ=02cot(z2)cot2(z2)+1otherwise)({1forim(y)=0ymod2π=0cot2(y2)1cot2(y2)+1otherwise))+({1forim(y)+im(z)=0(y+z)mod2π=0cot2(y2+z2)1cot2(y2+z2)+1otherwise)\left(- \left(\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\frac{2 \cot{\left(\frac{z}{2} \right)}}{\cot^{2}{\left(\frac{z}{2} \right)} + 1} & \text{otherwise} \end{cases}\right) \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\frac{\cot^{2}{\left(\frac{y}{2} \right)} - 1}{\cot^{2}{\left(\frac{y}{2} \right)} + 1} & \text{otherwise} \end{cases}\right)\right) + \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\frac{\cot^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} - 1}{\cot^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} + 1} & \text{otherwise} \end{cases}\right)
                                                 2/y   z\   
                                              sec |- + -|   
                                                  \2   2/   
                                        1 - ----------------
                                               2/y   z   pi\
                                            sec |- + - - --|
        1                   1                   \2   2   2 /
----------------- - ----------------- + --------------------
     /        pi\        /        pi\            2/y   z\   
2*sec|y - z - --|   2*sec|y + z - --|         sec |- + -|   
     \        2 /        \        2 /             \2   2/   
                                        1 + ----------------
                                               2/y   z   pi\
                                            sec |- + - - --|
                                                \2   2   2 /
sec2(y2+z2)sec2(y2+z2π2)+1sec2(y2+z2)sec2(y2+z2π2)+112sec(y+zπ2)+12sec(yzπ2)\frac{- \frac{\sec^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\sec^{2}{\left(\frac{y}{2} + \frac{z}{2} - \frac{\pi}{2} \right)}} + 1}{\frac{\sec^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\sec^{2}{\left(\frac{y}{2} + \frac{z}{2} - \frac{\pi}{2} \right)}} + 1} - \frac{1}{2 \sec{\left(y + z - \frac{\pi}{2} \right)}} + \frac{1}{2 \sec{\left(y - z - \frac{\pi}{2} \right)}}
/    0       for And(-im(z) + im(y) = 0, (y - z) mod pi = 0)   /    0       for And(im(y) + im(z) = 0, (y + z) mod pi = 0)          2/y   z\
<                                                              <                                                             1 - tan |- + -|
\sin(y - z)                     otherwise                      \sin(y + z)                    otherwise                              \2   2/
------------------------------------------------------------ - ----------------------------------------------------------- + ---------------
                             2                                                              2                                       2/y   z\
                                                                                                                             1 + tan |- + -|
                                                                                                                                     \2   2/
1tan2(y2+z2)tan2(y2+z2)+1+({0forim(y)im(z)=0(yz)modπ=0sin(yz)otherwise2)({0forim(y)+im(z)=0(y+z)modπ=0sin(y+z)otherwise2)\frac{1 - \tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} + 1} + \left(\frac{\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(y\right)} - \operatorname{im}{\left(z\right)} = 0 \wedge \left(y - z\right) \bmod \pi = 0 \\\sin{\left(y - z \right)} & \text{otherwise} \end{cases}}{2}\right) - \left(\frac{\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod \pi = 0 \\\sin{\left(y + z \right)} & \text{otherwise} \end{cases}}{2}\right)
       2/y   z\         /y   z\           /y   z\  
1 - tan |- + -|      tan|- - -|        tan|- + -|  
        \2   2/         \2   2/           \2   2/  
--------------- + --------------- - ---------------
       2/y   z\          2/y   z\          2/y   z\
1 + tan |- + -|   1 + tan |- - -|   1 + tan |- + -|
        \2   2/           \2   2/           \2   2/
1tan2(y2+z2)tan2(y2+z2)+1tan(y2+z2)tan2(y2+z2)+1+tan(y2z2)tan2(y2z2)+1\frac{1 - \tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} + 1} - \frac{\tan{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} + 1} + \frac{\tan{\left(\frac{y}{2} - \frac{z}{2} \right)}}{\tan^{2}{\left(\frac{y}{2} - \frac{z}{2} \right)} + 1}
       1                  1         
--------------- - ------------------
   /pi        \             /pi    \
csc|-- - y - z|   csc(z)*csc|-- - y|
   \2         /             \2     /
1csc(yz+π2)1csc(z)csc(y+π2)\frac{1}{\csc{\left(- y - z + \frac{\pi}{2} \right)}} - \frac{1}{\csc{\left(z \right)} \csc{\left(- y + \frac{\pi}{2} \right)}}
  //     0       for And(im(z) = 0, z mod pi = 0)\                                                                                                                
  ||                                             | //  1     for And(im(y) = 0, y mod 2*pi = 0)\   //    1       for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)\
  ||     1                                       | ||                                          |   ||                                                            |
- |<-----------             otherwise            |*|<  1                                       | + |<    1                                                       |
  ||   /    pi\                                  | ||------              otherwise             |   ||----------                     otherwise                    |
  ||sec|z - --|                                  | \\sec(y)                                    /   \\sec(y + z)                                                  /
  \\   \    2 /                                  /                                                                                                                
(({0forim(z)=0zmodπ=01sec(zπ2)otherwise)({1forim(y)=0ymod2π=01sec(y)otherwise))+({1forim(y)+im(z)=0(y+z)mod2π=01sec(y+z)otherwise)\left(- \left(\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\frac{1}{\sec{\left(z - \frac{\pi}{2} \right)}} & \text{otherwise} \end{cases}\right) \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\frac{1}{\sec{\left(y \right)}} & \text{otherwise} \end{cases}\right)\right) + \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\frac{1}{\sec{\left(y + z \right)}} & \text{otherwise} \end{cases}\right)
    1              1      
---------- - -------------
sec(y + z)   csc(z)*sec(y)
1sec(y+z)1csc(z)sec(y)\frac{1}{\sec{\left(y + z \right)}} - \frac{1}{\csc{\left(z \right)} \sec{\left(y \right)}}
                                     2/pi   y   z\
                                  csc |-- - - - -|
                                      \2    2   2/
                              1 - ----------------
                                       2/y   z\   
                                    csc |- + -|   
     1              1                   \2   2/   
------------ - ------------ + --------------------
2*csc(y - z)   2*csc(y + z)          2/pi   y   z\
                                  csc |-- - - - -|
                                      \2    2   2/
                              1 + ----------------
                                       2/y   z\   
                                    csc |- + -|   
                                        \2   2/   
1csc2(y2z2+π2)csc2(y2+z2)1+csc2(y2z2+π2)csc2(y2+z2)12csc(y+z)+12csc(yz)\frac{1 - \frac{\csc^{2}{\left(- \frac{y}{2} - \frac{z}{2} + \frac{\pi}{2} \right)}}{\csc^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}}{1 + \frac{\csc^{2}{\left(- \frac{y}{2} - \frac{z}{2} + \frac{\pi}{2} \right)}}{\csc^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}} - \frac{1}{2 \csc{\left(y + z \right)}} + \frac{1}{2 \csc{\left(y - z \right)}}
    1                1         
---------- - ------------------
sec(y + z)             /    pi\
             sec(y)*sec|z - --|
                       \    2 /
1sec(y+z)1sec(y)sec(zπ2)\frac{1}{\sec{\left(y + z \right)}} - \frac{1}{\sec{\left(y \right)} \sec{\left(z - \frac{\pi}{2} \right)}}
/       0         for And(-im(z) + im(y) = 0, (y - z) mod pi = 0)   /       0         for And(im(y) + im(z) = 0, (y + z) mod pi = 0)                  
|                                                                   |                                                                                 
|       /y   z\                                                     |       /y   z\                                                                   
|  2*cot|- - -|                                                     |  2*cot|- + -|                                                                   
<       \2   2/                                                     <       \2   2/                                                             1     
|---------------                     otherwise                      |---------------                    otherwise                      1 - -----------
|       2/y   z\                                                    |       2/y   z\                                                          2/y   z\
|1 + cot |- - -|                                                    |1 + cot |- + -|                                                       cot |- + -|
\        \2   2/                                                    \        \2   2/                                                           \2   2/
----------------------------------------------------------------- - ---------------------------------------------------------------- + ---------------
                                2                                                                  2                                            1     
                                                                                                                                       1 + -----------
                                                                                                                                              2/y   z\
                                                                                                                                           cot |- + -|
                                                                                                                                               \2   2/
11cot2(y2+z2)1+1cot2(y2+z2)+({0forim(y)im(z)=0(yz)modπ=02cot(y2z2)cot2(y2z2)+1otherwise2)({0forim(y)+im(z)=0(y+z)modπ=02cot(y2+z2)cot2(y2+z2)+1otherwise2)\frac{1 - \frac{1}{\cot^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}}{1 + \frac{1}{\cot^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}} + \left(\frac{\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(y\right)} - \operatorname{im}{\left(z\right)} = 0 \wedge \left(y - z\right) \bmod \pi = 0 \\\frac{2 \cot{\left(\frac{y}{2} - \frac{z}{2} \right)}}{\cot^{2}{\left(\frac{y}{2} - \frac{z}{2} \right)} + 1} & \text{otherwise} \end{cases}}{2}\right) - \left(\frac{\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod \pi = 0 \\\frac{2 \cot{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\cot^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} + 1} & \text{otherwise} \end{cases}}{2}\right)
                                           2/y   z   pi\
                                        cos |- + - - --|
                                            \2   2   2 /
                                    1 - ----------------
   /        pi\      /        pi\            2/y   z\   
cos|y - z - --|   cos|y + z - --|         cos |- + -|   
   \        2 /      \        2 /             \2   2/   
--------------- - --------------- + --------------------
       2                 2                 2/y   z   pi\
                                        cos |- + - - --|
                                            \2   2   2 /
                                    1 + ----------------
                                             2/y   z\   
                                          cos |- + -|   
                                              \2   2/   
1cos2(y2+z2π2)cos2(y2+z2)1+cos2(y2+z2π2)cos2(y2+z2)+cos(yzπ2)2cos(y+zπ2)2\frac{1 - \frac{\cos^{2}{\left(\frac{y}{2} + \frac{z}{2} - \frac{\pi}{2} \right)}}{\cos^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}}{1 + \frac{\cos^{2}{\left(\frac{y}{2} + \frac{z}{2} - \frac{\pi}{2} \right)}}{\cos^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}} + \frac{\cos{\left(y - z - \frac{\pi}{2} \right)}}{2} - \frac{\cos{\left(y + z - \frac{\pi}{2} \right)}}{2}
                                                                                              //       1         for And(im(y) + im(z) = 0, (y + z) mod 2*pi = 0)\
                                                                                              ||                                                                 |
                                                                                              ||       2/y   z\                                                  |
  //  0     for And(im(z) = 0, z mod pi = 0)\ //  1     for And(im(y) = 0, y mod 2*pi = 0)\   ||1 - tan |- + -|                                                  |
- |<                                        |*|<                                          | + |<        \2   2/                                                  |
  \\sin(z)             otherwise            / \\cos(y)              otherwise             /   ||---------------                     otherwise                    |
                                                                                              ||       2/y   z\                                                  |
                                                                                              ||1 + tan |- + -|                                                  |
                                                                                              \\        \2   2/                                                  /
(({0forim(z)=0zmodπ=0sin(z)otherwise)({1forim(y)=0ymod2π=0cos(y)otherwise))+({1forim(y)+im(z)=0(y+z)mod2π=01tan2(y2+z2)tan2(y2+z2)+1otherwise)\left(- \left(\begin{cases} 0 & \text{for}\: \operatorname{im}{\left(z\right)} = 0 \wedge z \bmod \pi = 0 \\\sin{\left(z \right)} & \text{otherwise} \end{cases}\right) \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} = 0 \wedge y \bmod 2 \pi = 0 \\\cos{\left(y \right)} & \text{otherwise} \end{cases}\right)\right) + \left(\begin{cases} 1 & \text{for}\: \operatorname{im}{\left(y\right)} + \operatorname{im}{\left(z\right)} = 0 \wedge \left(y + z\right) \bmod 2 \pi = 0 \\\frac{1 - \tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)}}{\tan^{2}{\left(\frac{y}{2} + \frac{z}{2} \right)} + 1} & \text{otherwise} \end{cases}\right)
Раскрыть выражение [src]
cos(y)*cos(z) - cos(y)*sin(z) - sin(y)*sin(z)
sin(y)sin(z)sin(z)cos(y)+cos(y)cos(z)- \sin{\left(y \right)} \sin{\left(z \right)} - \sin{\left(z \right)} \cos{\left(y \right)} + \cos{\left(y \right)} \cos{\left(z \right)}