已知向量，设
（1）求函数的表达式，并求的单调递减区间；
（2）在中，a，b，c分别是角A，B，C的对边，若，求a的值。