Верно ли, что последовательность

является арифметической прогрессией?

a1=1:tgπ/6=1:1/√3=√3
a2=1:sinπ/3=1:√3/2=2/√3
a3=1:ctgπ/6=1:√3=1/√3
a2-a1=2/√3-√3=(2-3)/√3=-1/√3
a3-a2=1/√3-2/√3=-1/√3
Является арифметической прогрессией,разность которой равна -1/√3