ちょっと別分野 (電子工学の初歩の直流回路) に関連のある話です。とりあえず、OP アンプ
を使った減算器の式を作って、結果に不満はないのですが：

f1 : (Vout - V1)*(R1/(R1 + k*R1)) + V1 = V2*(k*R3/(R3 + k*R3)) $
R1 : 1 $
R3 : 1 $
fortran(solve(f1, Vout)) $
fortran(factor(solve(f1, Vout))) $

しかしホント実のところは：
fa : (Vout - V1)*(R1/(R1 + k*R1)) + V1
fb : V2*(k*R3/(R3 + k*R3))
fa = fb

みたいな書き方をして Vout について solve() したいのです。 マクロとかを使う必要が
あるのでしょうか。どのようにしたらいいのか、ヒントをお教えいただければ幸いです。
初歩的な質問でごめんなさい。