如图是解决数学问题的思维过程的流程图：图中①、②两条流程线与“推理与证明”中的思维方法相匹配是（　　）

A：①﹣分析法，②﹣综合法

B：①﹣综合法，②﹣分析法

C：①﹣综合法，②﹣反证法

D：①﹣分析法，②﹣反证法