結果 : basic identities of trigonometric functions