对,不行.
至于为什么,模式匹配时其代表的变量应符合普通变量命名规则,而l1下标的FullForm是Subscript[l,1]是一个式,显然不行.
不过我不知道这个解释你是否能满意,从你写的代码来看可能刚接触mathematica吧,函数的立即赋值与延迟赋值,sin/cos的写法和用法都充满了问题,我不知道你能否明白模式匹配的概念?
如果真是初学者,记住这样一点总是没错的：mathematica毕竟是一门编程语言,最好用让计算机容易理解而不是人类容易理解的文字来写作.如上面代码,直接用l1,l2比用下标要简单有效的多,表示幂可以用^2而不是用上标.这样就算提问也可以直接发代码而不是发图片,方便大家复制到程序中检查.