pigor: ... przy pomocy wzorów z tablic np. tak :
sin36−cos72= sin36−cos2*36= sin36−cos
236+sin
236= sin36−1+2sin
236=
=
sin36 * (2sin36+1)−1 = ? (*) , ale
sin36= sin(90−54) ⇔ sin36= cos54 ⇔ sin2*18= cos3*18 ⇔
⇔ 2sin18cos18= cos18(4cos
218−3) ?:cos18≠0 ⇔ 2sin18= 4cos
218−3 ⇔
⇔ 4sin
218+2sin18−1= 0 i
√Δ=2
√5 i sin18>0 ⇒
sin18=14(√5−1} , więc
cos
218= 1−sin
218= 1−
116(6−2
√5)= i dalej mi się nie chce liczyć
cos18, wtedy
sin36=2sin18*cos18 i to co wyjdzie podstaw do
(*) . ...