Review Derivation: Physics Derivation Graph

Return to navigation page or list derivations

Review identity sin(2 x) = 2 sin(x) cos(x) using Euler's equation

abstract:
reference:

step	inference rule	input	feed	output	step validity (as per SymPy)
1	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			2103023049 $\sin(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)$	no validation is available for declarations
2	0000111886: 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}.	2103023049 $\sin(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)$	9110536742 $2 x$ 4961662865 $x$	8483686863 $\sin(2 x) = \frac{1}{2i}\left(\exp(i 2 x)-\exp(-i 2 x) \right)$	LHS diff is sin(pdg0001464) - sin(2pdg0001464) RHS diff is (-exp(4pdg0001464pdg0004621) + exp(3pdg0001464pdg0004621) - exp(pdg0001464pdg0004621) + 1)exp(-2pdg0001464pdg0004621)/(2pdg0004621)
3	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			4585932229 $\cos(x) = \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)$	no validation is available for declarations
4	0000111253: multiply expr 1 by expr 2 number of inputs: 2; feeds: 0; outputs: 1 Multiply Eq.~\ref{eq:#1} by Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	4585932229 $\cos(x) = \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)$ 2103023049 $\sin(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)$		3470587782 $\sin(x) \cos(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)$	valid
5	0000111182: 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}.	3470587782 $\sin(x) \cos(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)$	8642992037 $2$	9894826550 $2 \sin(x) \cos(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \left(\exp(i x)+\exp(-i x) \right)$	valid
6	0000111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\ref{eq:#1}; yields Eq.~\ref{eq:#2}.	9894826550 $2 \sin(x) \cos(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \left(\exp(i x)+\exp(-i x) \right)$		8699789241 $2 \sin(x) \cos(x) = \frac{1}{2 i} \left( \exp(i 2 x) - 1 + 1 - \exp(-i 2 x) \right)$	valid
7	0000111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\ref{eq:#1}; yields Eq.~\ref{eq:#2}.	8699789241 $2 \sin(x) \cos(x) = \frac{1}{2 i} \left( \exp(i 2 x) - 1 + 1 - \exp(-i 2 x) \right)$		9180861128 $2 \sin(x) \cos(x) = \frac{1}{2 i} \left( \exp(i 2 x) - \exp(-i 2 x) \right)$	valid
8	0000111863: RHS of expr 1 equals RHS of expr 2 number of inputs: 2; feeds: 0; outputs: 1 RHS of Eq.~\ref{eq:#1} is equal to RHS of Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	8483686863 $\sin(2 x) = \frac{1}{2i}\left(\exp(i 2 x)-\exp(-i 2 x) \right)$ 9180861128 $2 \sin(x) \cos(x) = \frac{1}{2 i} \left( \exp(i 2 x) - \exp(-i 2 x) \right)$		2405307372 $\sin(2 x) = 2 \sin(x) \cos(x)$	valid
9	0000111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\ref{eq:#1} is one of the final equations.	2405307372 $\sin(2 x) = 2 \sin(x) \cos(x)$			no validation is available for declarations

Symbols used in identity sin(2 x) = 2 sin(x) cos(x) using Euler's equation

0000004621: $ i $
0000001464: $ x $

d3js visualization of steps and expressions in identity sin(2 x) = 2 sin(x) cos(x) using Euler's equation

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

Delete Derivation and all associated steps

This does not remove expressions, symbols, and operations.

timing of Neo4j queries:

0.015 seconds for pdg_app/to_review_derivation 0db73db0-8897-4096-b2b1-85a74da5bd70
0.014 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivationfa973ec7-de40-4bda-9712-a107cb9a013b
0.019 seconds for compute/input_feed_output_infrule_for_step: get_inference_rule_connected_to_step_IDfa973ec7-de40-4bda-9712-a107cb9a013b
0.016 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type HAS_INPUTfa973ec7-de40-4bda-9712-a107cb9a013b
0.017 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_FEEDfa973ec7-de40-4bda-9712-a107cb9a013b
0.015 seconds for compute/input_feed_output_infrule_for_step: get_expressions_from_step_id_and_expr_type, HAS_OUTPUTfa973ec7-de40-4bda-9712-a107cb9a013b
0.017 seconds for compute/get_dict_of_steps_in_derivation: get_sequence_index_for_stepfa973ec7-de40-4bda-9712-a107cb9a013b
0.009 seconds for pdg_app/ 0db73db0-8897-4096-b2b1-85a74da5bd70

step	inference rule	input	feed	output	step validity (as per SymPy)
1	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			2103023049 \(\sin(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)\)	no validation is available for declarations
2	0000111886: 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}.	2103023049 \(\sin(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)\)	9110536742 \(2 x\) 4961662865 \(x\)	8483686863 \(\sin(2 x) = \frac{1}{2i}\left(\exp(i 2 x)-\exp(-i 2 x) \right)\)	LHS diff is sin(pdg0001464) - sin(2pdg0001464) RHS diff is (-exp(4pdg0001464pdg0004621) + exp(3pdg0001464pdg0004621) - exp(pdg0001464pdg0004621) + 1)exp(-2pdg0001464pdg0004621)/(2pdg0004621)
3	0000111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\ref{eq:#1} is an initial equation.			4585932229 \(\cos(x) = \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\)	no validation is available for declarations
4	0000111253: multiply expr 1 by expr 2 number of inputs: 2; feeds: 0; outputs: 1 Multiply Eq.~\ref{eq:#1} by Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	4585932229 \(\cos(x) = \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\) 2103023049 \(\sin(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right)\)		3470587782 \(\sin(x) \cos(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\)	valid
5	0000111182: 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}.	3470587782 \(\sin(x) \cos(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \frac{1}{2}\left(\exp(i x)+\exp(-i x) \right)\)	8642992037 \(2\)	9894826550 \(2 \sin(x) \cos(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \left(\exp(i x)+\exp(-i x) \right)\)	valid
6	0000111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\ref{eq:#1}; yields Eq.~\ref{eq:#2}.	9894826550 \(2 \sin(x) \cos(x) = \frac{1}{2i}\left(\exp(i x)-\exp(-i x) \right) \left(\exp(i x)+\exp(-i x) \right)\)		8699789241 \(2 \sin(x) \cos(x) = \frac{1}{2 i} \left( \exp(i 2 x) - 1 + 1 - \exp(-i 2 x) \right)\)	valid
7	0000111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\ref{eq:#1}; yields Eq.~\ref{eq:#2}.	8699789241 \(2 \sin(x) \cos(x) = \frac{1}{2 i} \left( \exp(i 2 x) - 1 + 1 - \exp(-i 2 x) \right)\)		9180861128 \(2 \sin(x) \cos(x) = \frac{1}{2 i} \left( \exp(i 2 x) - \exp(-i 2 x) \right)\)	valid
8	0000111863: RHS of expr 1 equals RHS of expr 2 number of inputs: 2; feeds: 0; outputs: 1 RHS of Eq.~\ref{eq:#1} is equal to RHS of Eq.~\ref{eq:#2}; yields Eq.~\ref{eq:#3}.	8483686863 \(\sin(2 x) = \frac{1}{2i}\left(\exp(i 2 x)-\exp(-i 2 x) \right)\) 9180861128 \(2 \sin(x) \cos(x) = \frac{1}{2 i} \left( \exp(i 2 x) - \exp(-i 2 x) \right)\)		2405307372 \(\sin(2 x) = 2 \sin(x) \cos(x)\)	valid
9	0000111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\ref{eq:#1} is one of the final equations.	2405307372 \(\sin(2 x) = 2 \sin(x) \cos(x)\)			no validation is available for declarations