計算から察するに、問題は、「a>0,b>0のとき、(a+b)(1/a + 4/b)≧9を証明せよ」ですよね。
そして、等号成立は、相加相乗平均の等号成立条件から、4a／b = b／a ですよね。
質問の部分の「
『つまり、2a=b』
の部分で1／a＝4／aの計算で両辺にabをかけて計算すると答えが
b=4aになってしまい答えと異なってしまいます。」の部分がどこか計算ミスをされているのだと思います。
ちなみに、2a=b という等号成立条件は、どのような計算で出たのでしょうか。。。
本命題の等号成立条件 4a／b = b／a の両辺に ab を掛けると、4a^2 = b^2 となり、a>0,b>0 だから、2a=bとなりますが、2a = b は別の解法で導出したのでしょうか。。。
記号を使った証明の検算としては、具体的な数値を入れてみるという手があります。
たとえば、
a=1,b= a=1 のときは、左辺＝(1+1)(1+4)=10>9 等号成立しない。
a=1,b=2a=2 のときは、左辺= (1+2)(1+2)=9 等号成立！！
a=1,b=4a=4 のときは、左辺= (1+4)(1+1)=10>9 等号成立しない。
という検算をやってみて、
2a=bという条件が等号成立の条件として正しそうで、
a=bや4a=bという条件では、等号が成立しない、すなわち、a=bや4a=bという条件を導出する過程でどこか勘違いや計算ミスを犯しているということになり、その導出過程を徹底的に洗い出すことになります。
（これは、等号成立の条件の証明ではなく、あくまで検算です。）
記号を使った証明問題は、一般的な証明を行った後で、具体的な数値を入れて正しいかどうかを検算するクセをつけておくといいと思います。
お礼
詳しく説明して頂きありがとうございました。 とてもよくわかりました。