1) (sin(2t))/(1+cos(2t)) *((сost)/(1+cos(t)) =
(((2sint)*(cost))/(2cos²t))*(cost/(2cos²(t/2)))=(tgt)*cost/(2cos²(t/2))=
(sint)/(2cos²(t/2))=(2sin(t/2))*cos(t/2)/(2cos²(t/2))=tg(t/2)
Bоспользовался дважды формулой (1+cosα)=2cos²α ; формулой синуса двойного аргумента sin2α=2(sinα)*(cosα) и tgα=sinα/cosα.
2) Докажем второе тождество, используя те же формулы.
((sin(2t))/(1+cos(2t)))*(cost/(1+cost))*(cos(t/2))/(1+cos(t/2))=tg(t/4)
1) упростим ((sin(2t))/(1+cos(2t)))=(2sint)(сost)/(2cos²t)=sint/(cost)=tgt
2) умножим (tgt)*(cost/(1+cost))=(sint)/(2cos²(t/2))=
(2sin(t/2))*(cos(t/2))/(2cos²(t/2))=tg(t/2)
3) умножим (tg(t/2))*((cos(t/2))/(1+cos(t/2))=sin(t/2)/(2cos²(t/4)=
(2sin(t/4)*(cos(t/4))/(2cos²(t/4))=tg(t/4)
Требуемое доказано.
Программа на Руби
for n in -10000..10000
for k in 0..1000
p [n,k] if 10*n + 5 == k*k
end
end
Вывод
[2, 5]
[22, 15]
[62, 25]
[122, 35]
[202, 45]
[302, 55]
[422, 65]
[562, 75]
[722, 85]
[902, 95]
[1102, 105]
[1322, 115]
[1562, 125]
[1822, 135]
[2102, 145]
[2402, 155]
[2722, 165]
[3062, 175]
[3422, 185]
[3802, 195]
[4202, 205]
[4622, 215]
[5062, 225]
[5522, 235]
[6002, 245]
[6502, 255]
[7022, 265]
[7562, 275]
[8122, 285]
[8702, 295]
[9302, 305]
[9922, 315]
т.е. подразумевается что есть и другие решения, если расширять диапазон
1) (sin(2t))/(1+cos(2t)) *((сost)/(1+cos(t)) =
(((2sint)*(cost))/(2cos²t))*(cost/(2cos²(t/2)))=(tgt)*cost/(2cos²(t/2))=
(sint)/(2cos²(t/2))=(2sin(t/2))*cos(t/2)/(2cos²(t/2))=tg(t/2)
Bоспользовался дважды формулой (1+cosα)=2cos²α ; формулой синуса двойного аргумента sin2α=2(sinα)*(cosα) и tgα=sinα/cosα.
2) Докажем второе тождество, используя те же формулы.
((sin(2t))/(1+cos(2t)))*(cost/(1+cost))*(cos(t/2))/(1+cos(t/2))=tg(t/4)
1) упростим ((sin(2t))/(1+cos(2t)))=(2sint)(сost)/(2cos²t)=sint/(cost)=tgt
2) умножим (tgt)*(cost/(1+cost))=(sint)/(2cos²(t/2))=
(2sin(t/2))*(cos(t/2))/(2cos²(t/2))=tg(t/2)
3) умножим (tg(t/2))*((cos(t/2))/(1+cos(t/2))=sin(t/2)/(2cos²(t/4)=
(2sin(t/4)*(cos(t/4))/(2cos²(t/4))=tg(t/4)
Требуемое доказано.