>>883-884
俺は、なぜs=(a+b+c)/2が証明できなくて困ってたんですが。