综上所述，高一下学期数学学习必修几主要包括《高中数学必修1》、《高中数学必修2》和《高中数学必修3》这三本教材。