tan a/2 tan b/2 + tan b/2 tan c/2 + tan c/2 tan a/2 = 1
이거 덧셈정리 사용하면 증명되긴하는데
다른 방법으로 못하나..?