展開 因数分解 図形の性質への利用-証明-