How do you prove sin(x(π2))=cosx?