El algoritmo de Euclides es un método para calcular el máximo común divisor de dos números enteros. %% [[Crilly2009]]; [[Kline1972]] %%
## Definición formal
Sean $a,b\in\mathbb Z, a\neq 0$, existen únicos $q,r\in\mathbb Z$ tales que $b=aq+r$ con $0\leq r\lt\lvert a\rvert$ donde $q$ se llama *cociente* y $r$ se llama *resto* de la división de $b$ por $a$ . %% González PMC-221 %%
## Ejemplos
- [Ejemplo del algoritmo de Euclides # 1](obsidian://notepix/20260221T015221418Z.jpg)
- [Ejemplo del algoritmo de Euclides # 2](obsidian://notepix/20260221T015251967Z.png)
#Rev/2602 #Tipo/Definición