“夏季大三角”是指：天津四（）、织女星（）和牛郎星（）。