sin(-α)＝-sinα

って公式の名前なんでしたっけ？お願いします。