全等三角形或相似三角形的判定方法如sss,sas等最初也是推导出来的么,是怎么得出的?