csc(π / 18) + csc((5 * π) / 18) - csc((7 * π) / 18) = 6

の証明はどうやるのですか？
加法定理を駆使しましたが駄目でした。