Aratati ca sin π/8=√(2-√2)/2