Derive Theoretical Result

Produce a rigorous, step-by-step derivation of a theoretical result starting from stated axioms, first principles, or established theorems. Every algebraic or logical step is explicitly justified, limiting cases are verified, and the final result is presented with a complete notation glossary.

When to Use

• Deriving a formula, relation, or theorem from first principles (e.g., deriving the Euler-Lagrange equation from the action principle)
• Proving a mathematical statement by logical deduction from axioms
• Re-deriving a textbook result to verify it or adapt it to a modified context
• Extending a known result to a more general setting (e.g., from flat spacetime to curved spacetime)
• Producing a self-contained derivation for a paper, thesis, or technical report

Inputs

• Required: Target result to derive (equation, inequality, theorem statement, or relation)
• Required: Starting point (axioms, postulates, previously established results, or Lagrangian/Hamiltonian)
• Optional: Preferred proof technique (direct, by contradiction, by induction, variational, constructive)
• Optional: Notation conventions to follow (if matching a specific textbook or collaborator's conventions)
• Optional: Known intermediate results that may be cited without re-derivation