Máximo común divisor en LaTeX (\gcd(a, b))

Dónde se usa

Máximo común divisor de a y b, el mayor entero que divide a ambos.

\gcd es un operador predefinido, así que se imprime en redonda y, como \lim, admite límites debajo en estilo display. La identidad de Bézout dice que \gcd(a, b) = ax + by para ciertos enteros x e y, y a y b son coprimos cuando \gcd(a, b) = 1. Muchos artículos de teoría de números omiten el nombre y escriben (a, b), lo que es compacto pero choca con los pares ordenados y los intervalos abiertos. El algoritmo de Euclides se basa en \gcd(a, b) = \gcd(b, a \bmod b), donde \bmod da espaciado de operador binario. No existe un comando predefinido equivalente para el mínimo común múltiplo.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\begin{document}
GCD: $\gcd(a, b)$

\[ \gcd(a, b) = \gcd(b, a \bmod b) \]
\end{document}

Símbolos relacionados

• Mínimo común múltiplo\text{lcm}(a, b)
• Símbolo de no divisibilidad\nmid
• Equivalencia (triple barra)\equiv
• Barra de condicionamiento\mid
• Módulo\pmod{n}
• Función phi de Euler\varphi(n)

Preguntas frecuentes

¿Cómo escribo Máximo común divisor en LaTeX?

Escribe \gcd(a, b) en modo matemático, por ejemplo $\gcd(a, b) = \gcd(b, a \bmod b)$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \gcd(a, b)?

Ninguno. \gcd(a, b) forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \gcd(a, b) en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\gcd(a, b)$.