Найдите наименьший положительный период функции у= cos (4х+1)

пусть  cos (4х+1)=cos (4(х+р)+1) для любого х.

cos (4х+1)-cos (4х+1+4p)=0.

2*sin( (4x+1-4x-1-4p)/2)*sin( (4x+1+4x+1+4p)/2)=0

sin(-2p)*sin(4x+1+2p)=0 для любого х. тогда sin(-2p)=0,

-2p=пк, где п - число пи (3. к   - целое число.

р=пк/2, откуда минимальное положительное р=п/2

cos(п/3-x)cos(п/3+x)=1/2(cos(2п/3)+cos(2х))=-1/4+1/2-sin^2x

sin^2x-1/4+1/2-sin^2x=1/4

sin^2x-sin^2x=1/4+1/4-1/2

0=0

тождество доказано.

так надо решить дробь   или уравнения?