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