すいません書き忘れました
a_1は正の実数です