三角函数题 红笔画出来的这部分是怎么得来的