>>838
只単に置き換えて計算は出来るけど、それじゃ証明にはなってないわけだから…。
もともとの式にsは出てきてないわけだし。
2s=a+b+cの証明なんです。つかs=a+b+c／2の。