trigexpand a comme argument une expression trigonométrique. trigexpand développe cette expression en fonction de sin(x) et cos(x). On tape :
On obtient :