設直角三角形ABC的三頂點座標為A(1,2)、B(２,４)、C(-1,a)，求實數a的值。