Goniometrická rovnice řešená substitucí