Från det latinska corollariumet är överensstämmelse ett förslag som härleddes från den tidigare demonstrerade, så det kräver inte ett visst test . Det är underförstått att en följd är en uppenbar eller oundviklig slutsats som framgår av vissa antecedenter.

Till exempel: "Innebörden av att röka tre cigarrpaket om dagen är en lungsjukdom". "Lagets nedgång är följden av flera års missförvaltning", "Senatorens avgång efter skandalen är ingenting annat än följden av situationen som bröt ut förra onsdagen, "" Följden kunde inte vara annorlunda: de tre demonstranterna släpptes för brist på meriter . "

I vardagsspråk framstår en följd som något logiskt eller oundvikligt om de föregående fakta beaktas . En fotbollsspelare diskuterar med sin tekniska chef under en träning. Nästa dag kritiserar han offentligt tränaren. På den tredje dagen är han frånvarande utan uppsägning av lagets övning. Följden av denna situation är att tränaren inte påverkar spelaren från truppen och slutar ta hänsyn till det.

Inom logik och matematik är överensstämmelsen bevis på en teori som redan visats, utan att man måste fortsätta satsa på insatser i demonstrationen. Om det sägs att alla invändiga vinklar är kvadratiska ( 90º ) och att alla rutor har fyra inre vinklar, en följd av dessa påståenden är att invändigvinklarna på en kvadrat ökar till 360º .

Från den välkända pythagoranska stolen, som anger att summan av kvadraterna på benen i en högra triangel returnerar samma värde som att höja hypotenusens kvadrerade, uppstår också en följd, som varierar beroende på om man talar om jämntal eller udda. För att utveckla denna följd är det nödvändigt att först fastställa formuläret för teorem som visas i bilden.

Här kan man se att de två benen representeras av variablerna a och b, och att c motsvarar hypotenusen. Baserat på denna definition, om vi har ett udda x- nummer, kan den här pythagoranska trioen erhållas genom de beräkningar som visas i bilden.

Variabeln a är tilldelad värdet av x ; a b motsvarar x kvadrat, minus 1, alla dividerat med 2; a c, som liknar b men lägger till 1 i kvadraten istället för att subtrahera den. Efter att ha förstått denna utveckling är det möjligt att kvadrata varje komponent och placera dem i ovannämnda jämlikhet.

Med avseende på jämntal, om vi exempelvis tar ett tal y, ska pythagoranska trioen bildas som sett i bilden. I detta fall erhåller a värdet av y ; a b tilldelas kvadraten av resultatet av y på 2, alla minus 1; värdet på c liknar b men lägger till 1 till föregående kvadrat . Med allt detta är vi återigen i stånd att definiera likheten som gör att vi kan bevisa den pythagoranska stolen.

Matematikerens Tales of Miletus, en infödd i Grekland och född i sjätte århundradet f.Kr., bäver två viktiga teorier för geometri, var och en med sina respektive följder. Den första av teoremerna säger att om en linje dras parallellt med en av sidorna av en triangel kommer den resulterande siffran att vara en annan triangel, som liknar den första . Dess följd är avdraget att andelen av sidorna på den nya triangeln också motsvarar originalets sidor.

Den andra av Thales teoremor förklarar att om i en cirkel med diameter AC väljer vi vilken punkt som skiljer sig från A och C, bildar de tre en rätt triangel . Härifrån framträder två korollärer:

1) Eftersom avståndet mellan cirkelns mitt och någon av de tre punkterna i triangeln är densamma, kommer medianen av hypotenusen (segmentet mellan mitten och punkten B ) alltid att mäta hälften av hypotenusen;

2) liknar den första är omkretsens radie halva hypotenusen, och circumcenteret ligger alltid vid dess mittpunkt.