请教关于符号计算或者公式推导的一些问题

我是一个新手，刚刚开始学习mathematica，是了解到做公式推导很多都在用mathematica。
目前情况是这样的，我想在mathematica中做这样的一个完整的公式推导，通过一些公式的代换来求解出一段RC电路的微分方程，实际计算过程我用手算已经完成，如图：
我尝试着在mathematica中做这么一个过程，但是感觉有点无从下手，之前的确也没有用软件进行过这类工作，想请教一下在帮助文档中是否有历程，或者应该对应学习哪些部分的知识