Given cos 67.5° = [√(2+√2)]/2,