全部展開してa^2とb^2の項で括ると見えるはず
もしもしだから詳細はだるい