等角的余角相等改成如果那么的形式是什么？
等角的余角相等改成如果那么的形式为：如果两个角是等角的余角，那么这两个角相等。
解析：改完之后成了一个命题，这个命题正确，是真命题。
等角（isometric），数学名词，顾名思义就是相等的角，即角度大小相等的角。
余角，数学名词。如果两个角的和是直角，那么称这两个角“互为余角”（complementary angle），简称“互余”，也可以说其中一个角是另一个角的余角。
欧几里德的《几何原本》中的被证明的命题，即下列命题：
1、在一个已知有限直线上作一个等边三角形。
2、由一个已知点（作为端点）作一线段等于已知线段。
3、已知两条不相等的线段，试由大的上边截取一条线段使它等于另外一条。
4、如果两个三角形有两边分别等于两边，而且这些相等的线段所夹的角相等，那么，它们的底边等于底边，三角形全等于三角形，而且其余的角等于其余的角，即那等边所对的角。
5、在等腰三角形中，两底角彼此相等；并且，若向下延长两腰，则在底以下的两角也彼此相等。
6、如果在一个三角形中，有两角彼此相等，则等角所对的边也彼此相等。
7、在已知线段上（从它的两个端点）作出相交于一点的二线段，则不可能在该线段（从它的两个端点）的同侧作出相交于另一点的另二条线段，使得作出的二线段分别等于前面二线段。即每个交点到相同端点的线段相等。
8、如果两个三角形的一个有两边分别等于另一个的两边，并且一个的底等于另一个的底，则夹在等边中间的角也相等。
9、一个角可切分成两个相等的角。
10．一条线段可以被分成两条相等的线段 。
11、由已知直线上一已知点可以作一直线和已知直线成直角。
12、由已知直线外一已知点可以作该直线的垂线。
13、一条直线和另一条直线所交成的邻角，或者是两个直角或者它们等于两个直角的和。
14、如果过任意直线上点有两条直线不在这一直线的同侧，且和直线所成邻角和等于二直角，则这两条直线在同一直线上。
15、如果两直线相交，则它们交成的对顶角相等。
16、在任意的三角形中，若延长一边，则外角大于任何一个内对角。
