Выражение в скобках следует из основного тригонометрического тождества: синус квадрат альфа равен единице минус косинус квадрат альфа.
Угол у нас от нуля до пи/2, 1 четверть, синус больше нуля.
a1+7d+a1+5d=16 2a1+12d=16 a1+6d=8 a1=8-6d