For the following exercises, prove the identity.
A spring attached to a ceiling is pulled down 20 cm. After 3 seconds, wherein it completes 6 full periods, the amplitude is only 15 cm. Find the function modeling the position of the spring t seconds after being released. At what time will the spring come to rest? In this case, use 1 cm amplitude as rest.