Tożsamości dla argumentu (π 7 \ ·)
4 π 7 \ · sin · π 2 · 7 \ · sin · π 3 · 7 \ · sin · π 2 · 7 \ · sin π 3 · 7 \ · sin + π 7 \ · sin − + = π 2 · 7 \ · sin π 3 · 7 \ · sin · π 7 \ · sin π 2 · 7 \ · sin π 3 · 7 \ · sin + · = π 3 · 7 \ · sin · π 2 · 7 \ · sin π 3 · 7 \ · sin + π 7 \ · sin − + 2 ↑ π 7 \ · sin 2 ↑ π 2 · 7 \ · sin 2 ↑ + π 3 · 7 \ · sin 2 ↑ + = Dowód wynika z formuł zamiany iloczynu na sumę.