三角形の合同を証明して、合同だから～になるというような性質を使う問題を考えていました。