设实数a、b、c成等比数列，非零实数x、y分别为a与b、b与c的等差中项，则＝________．

在△ABC中，D为BC的中点，则，将命题类比到四面体中去得到一个类比命题为________．

“x＝0且y＝0”的否定形式为________．

设实数a、b、c满足a＋b＋c＝1，则a、b、c中至少有一个数不小于________．

一般地，假设原命题________，经过正确的推理，最后得出________，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做________．

若平面内有，且，则△P₁P₂P₂一定是________(形状)三角形．

设a＝，b＝，c＝，则a、b、c的大小关系是________．

分析法

一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)，这种证明的方法叫做________．

用Q表示要证明的结论，则分析法可用框图表示为：

综合法

一般地，利用已知条件和某些数学________、________、________等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做________．

用P表示已知条件，已有的定义、定理、公理等．Q表示所要证明的结论，则综合法可用框图表示为：