I want to prove that $$ \int_{0}^{\pi } \sin(n \, x) \, \sin(m \, x) \, \mathrm{d} x=0 $$ for m,n integers and $$ m\neq n$$ My try is:
$Assumptions = m ≠ n
$Assumptions = m ∈ Integers
$Assumptions = n ∈ Integers
Integrate[Sin[m x] Sin[n x], {x, 0, π} ]
But no luck
m, n
andx
? $\endgroup$m != n
is not needed to get a result of0
. See mathematica.stackexchange.com/questions/174011/… and mathematica.stackexchange.com/questions/67080/… $\endgroup$