네. 거기에 더해서 -tan(30″)를 증명하려면, tanX가 sinX / cosX임을 직각삼각형으로 증명하구요. 마지막으로 sin30″와 cos30″을 유도하려면 이 링크(https://m.blog.naver.com/PostView.nhn?blogId=dalsapcho&logNo=20131782298&proxyReferer=https:%2F%2Fwww.google.com%2F)에 있는 것처럼 반원의 원주각 및 외각의 성질을 사용하면 되죠. 총 세 단계의 증명이에요.
1) tan150″ == -tan30″
2) tan30″ == sin30″ / cos30″
3) sin30″ == 1/2, cos30″ == root3 / 2 증명