Return to navigation page or list derivations

Review Euler equation: trigonometric relations

step inference rule input feed output validity (as per SymPy)
3
  • ID: 111329; function is even
  • number of inputs: 1; feeds: 3; outputs: 1
  • $#1$ is even with respect to $#2$, so replace $#1$ with $#3$ in Eq.~\\ref{eq:#4}; yields Eq.~\\ref{eq:#5}.
  1. 2394853829
    \(\exp(-i x)=\cos(-x)+i \sin(-x)\)
  1. 0003413423
    \(\cos(-x)\)
  1. 0001030901
    \(\cos(x)\)
  1. 0004849392
    \(x\)
  1. 4938429482
    \(\exp(-i x)=\cos(x)+i \sin(-x)\)
 recognized infrule but not yet supported
12
  • ID: 111268; swap LHS with RHS
  • number of inputs: 1; feeds: 0; outputs: 1
  • Swap LHS of Eq.~\\ref{eq:#1} with RHS; yields Eq.~\\ref{eq:#2}.
  1. 4843995999
    \(\frac{1}{2 i}\left(\exp(i x)-\exp(-i x) \right)=\sin(x)\)
  1. 2103023049
    \(\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)\)
 recognized infrule but not yet supported
2
  • ID: 111886; change variable X to Y
  • number of inputs: 1; feeds: 2; outputs: 1
  • Change variable $#1$ to $#2$ in Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.
  1. 4938429483
    \(\exp(i x)=\cos(x)+i \sin(x)\)
  1. 0003949052
    \(-x\)
  1. 0002393922
    \(x\)
  1. 2394853829
    \(\exp(-i x)=\cos(-x)+i \sin(-x)\)
 recognized infrule but not yet supported
1
  • ID: 111981; declare initial expression
  • number of inputs: 0; feeds: 0; outputs: 1
  • Eq.~\\ref{eq:#1} is an initial equation.
  1. 4938429483
    \(\exp(i x)=\cos(x)+i \sin(x)\)
 no validation is available for declarations
9
  • ID: 111182; multiply both sides by
  • number of inputs: 1; feeds: 1; outputs: 1
  • Multiply both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.
  1. 4938429484
    \(\exp(-i x)=\cos(x)-i \sin(x)\)
  1. 0003747849
    \(-1\)
  1. 2123139121
    \(-\exp(-i x)=-\cos(x)+i \sin(x)\)
 valid
4
  • ID: 111522; function is odd
  • number of inputs: 1; feeds: 3; outputs: 1
  • $#1$ is odd with respect to $#2$, so replace $#1$ with $#3$ in Eq.~\\ref{eq:#4}; yields Eq.~\\ref{eq:#5}.
  1. 4938429482
    \(\exp(-i x)=\cos(x)+i \sin(-x)\)
  1. 0003919391
    \(x\)
  1. 0002919191
    \(\sin(-x)\)
  1. 0003981813
    \(-\sin(x)\)
  1. 4938429484
    \(\exp(-i x)=\cos(x)-i \sin(x)\)
 recognized infrule but not yet supported
8
  • ID: 111341; declare final expression
  • number of inputs: 1; feeds: 0; outputs: 0
  • Eq.~\\ref{eq:#1} is one of the final equations.
  1. 4585932229
    \(\cos(x)=\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\)
  1. 2103023049
    \(\sin(x)=\frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)\)
 no validation is available for declarations
5
  • ID: 111980; add expr 1 to expr 2
  • number of inputs: 2; feeds: 0; outputs: 1
  • Add Eq.~\\ref{eq:#1} to Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#2}.
  1. 4938429483
    \(\exp(i x)=\cos(x)+i \sin(x)\)
  1. 4938429484
    \(\exp(-i x)=\cos(x)-i \sin(x)\)
  1. 4742644828
    \(\exp(i x)+\exp(-i x)=2 \cos(x)\)
 recognized infrule but not yet supported
7
  • ID: 111268; swap LHS with RHS
  • number of inputs: 1; feeds: 0; outputs: 1
  • Swap LHS of Eq.~\\ref{eq:#1} with RHS; yields Eq.~\\ref{eq:#2}.
  1. 3829492824
    \(\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)=\cos(x)\)
  1. 4585932229
    \(\cos(x)=\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\)
 recognized infrule but not yet supported
10
  • ID: 111980; add expr 1 to expr 2
  • number of inputs: 2; feeds: 0; outputs: 1
  • Add Eq.~\\ref{eq:#1} to Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#2}.
  1. 2123139121
    \(-\exp(-i x)=-\cos(x)+i \sin(x)\)
  1. 4938429483
    \(\exp(i x)=\cos(x)+i \sin(x)\)
  1. 3942849294
    \(\exp(i x)-\exp(-i x)=2 i \sin(x)\)
 recognized infrule but not yet supported
11
  • ID: 111975; divide both sides by
  • number of inputs: 1; feeds: 1; outputs: 1
  • Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.
  1. 3942849294
    \(\exp(i x)-\exp(-i x)=2 i \sin(x)\)
  1. 0001921933
    \(2 i\)
  1. 4843995999
    \(\frac{1}{2 i}\left(\exp(i x)-\exp(-i x) \right)=\sin(x)\)
 valid
6
  • ID: 111975; divide both sides by
  • number of inputs: 1; feeds: 1; outputs: 1
  • Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.
  1. 4742644828
    \(\exp(i x)+\exp(-i x)=2 \cos(x)\)
  1. 0004829194
    \(2\)
  1. 3829492824
    \(\frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)=\cos(x)\)
 valid


Hold the mouse over a node to highlight that node and its neighbors. You can zoom in/out. You can pan the image. You can move nodes by clicking and dragging.

Actions: Edit Derivation

Generate Tex file or PDF file
   xor   

Delete Derivation and all associated steps

This does not remove expressions, symbols, and operations.

timing of Neo4j queries: