几何命题与充分条件、必要条件？

Question

利用判定定理可以判定两个三角形不是相似三角形吗？利用性质定理可以判定两个三角形是相似三角形吗？这个逻辑太绕了而且我无法举出反例来。性质定理如下（仅供参考）课本上列了四条
1.相似三角形对应线段的比都相等（等于相似比），特别的，相似三角形的对应边之比、对应高之比、对应中线之比、对应角平分线之比都相等（等于相似比）；
2.相似三角形的对应角相等；
3.相似三角形周长的比等于对应边之比；
4.相似三角形面积之比等于边之比的平方.

Answer 1

平面几何知识体系中，由大量的真命题（定义、判定定理、性质定理等）作为逻辑推理依据。
以相似三角形为例:
判断两个三角形相似的依据是相似三角形的定义和判断定理。例如: 如果无法使对应边成比例，那么两个三角形不相似。
在已知两个三角形相似的情况下，一般都会使用性质定理，得到边角之间的关系。
最后是相似三角形的应用。即:根据题意判断两个三角形相似，再根据相似获得边角关系去推导出结论。层次越多，题目越复杂。
判断定理:以边角关系为条件，推出（符合定义或其他判断定理的条件）两个三角形相似。
性质定理:以两个三角形相似为条件，推出有关边角关系的结论。
每一个几何概念都是由“判断、性质、应用”构成一个闭环。
供参考，请笑纳。

Answer 2

第一个和第二个是充要条件。第三个和第四个只是必要条件而非充分条件。
充分条件：从A可以推断出B，但从B不一定可以推断出A
必要条件：A不成立，则B肯定不成立，但A成立不一定可以推断出B成立。