三角関数の有名和、再び（数学指導法研究20220712B）