「公式だけでエレガントに解きあかした」高校生たちが円周率の新しい求め方を証明