[i][b]Proposición.[br][color=#0000ff][br]p[/color][/b][/i] [math]\Longrightarrow[/math][b][i][color=#980000]q[br][/color][/i][/b][color=#0000ff]Si dos lados correspondientes tienen medidas proporcionales y el ángulo comprendido por ellos tiene igual medida [/color][color=#980000]entonces dos triángulos son semejantes.[/color]

[b][i]Recíproca.[br][br][color=#980000]q[math]\Longrightarrow[/math][/color][color=#0000ff]p[br][/color][/i][/b][code][/code][color=#980000]Si dos triángulos son semejantes,[/color] [color=#0000ff]entonces dos lados correspondientes tienen medidas proporcionales y el ángulo comprendido entre ellos tiene igual medida.[/color]

[b][i]Inversa.[br][br][/i][/b][math]\sim[/math][color=#0000ff][b][i]p[/i][/b][/color][math]\Longrightarrow\sim[/math][color=#980000][i][b]q[br][/b][/i][/color][color=#0000ff]Si dos lados correspondientes [u]no[/u] tienen medidas proporcionales y/o el ángulo comprendido por ellos no tiene igual medida,[/color] [color=#980000]entonces los triángulos [u]no[/u] son semejantes.[/color]

[b][i]Contrarecíproca.[br][br][/i][/b][math]\sim[/math][color=#980000][b][i]q[/i][/b][/color][math]\Longrightarrow\sim[/math][color=#0000ff][b][i]p [br][/i][/b][/color][color=#980000]Si dos triángulos no son semejantes, [/color][color=#0000ff]entonces sus dos lados correspondientes no tienen medidas proporcionales y/o el ángulo comprendido por ellos no tiene igual medida.[/color]