Diferencia entre revisiones de «Conmensurabilidad»

Contenido eliminado Contenido añadido
Línea 35:
La razón de la diagonal <math>d</math> de un cuadrado y su lado <math>l</math> es inconmensurable (es irracional).
 
La demostración de que <math>d</math> no es racional se puede hacer de manera indirecta, considerando lo contrario. Se busca llegar a una [[contradicción]]. Si se llega a una contradicción, lo contrario no es cierto, y se establecería lo que se desea. En términos [[lógca|lógicos]]: si queremos demostrar la proposición ''J'', asumimosanalizamos qué ocurriría si "no ''J''" fuese correcta. Mediante deducciones lógicas a partir de "no ''J''" llegamos a una contradicción. Entonces se concluye que "no ''J''" es falsa y, por lo tanto, ''J'' debe ser verdadera. Este método se llama también [[reducción al absurdo]].
 
Supongamos que <math>\begin{matrix} \frac{d}{l} \end{matrix}</math> (la razón de la diagonal <math>d</math> y el lado <math>l</math>) es conmensurable.