已知双曲线x ^ 2-y ^ 2/ a = 1的一条渐进线与直线x-2y+3=0垂直,求实数a的值