Phép đổi biến trong chứng minh một bất đẳng thức lượng giác