如图1，正方形OCDE的边长为1，阴影部分的面积记作S1；如图2，最大圆半径r=1，阴影部分的面积记作S2，则S1 S2（用“>”、“<”或“=”填空）.
证明几何命题时，表述要按照一定的格式，一般为：（1）按题意________；（2）分清命题的________，结合图形，在“已知”中写出______，在“求证”中写出______；（3）在“证明”中写出______．
要判定一个命题是真命题，往往需要从命题的条件出发，根据已知的定义、公理、定理一步一步推得结论成立．这样的推理过程叫做_______．
命题“同底等高的两个三角形面积相等”的条件是________，结论是_________．
命题“同角的余角相等”的条件是___________________，结论是________________．
把命题“对顶角相等”改写成“如果_____________，那么____________”．