Знак равенства


Знак ра́венства (=) в математике — символ, который пишется между двумя идентичными по своему значению математическими выражениями. Оба эти выражения чаще всего числовые, но могут быть и любыми другими, для которых определено понятие равенства — например, допускаются равенства векторные, логические, текстовые, матричные, тензорные, аналитические, теоретико-множественные и другие.

Знак равенства в современной форме предложил валлийский математик XVI века Роберт Рекорд в своём труде The Whetstone of Witte («Оселок остроумия», 1557)[1]. Он обосновал применение двух параллельных штрихов так (орфография оригинала — ранненовоанглийский):

До этого в античной и средневековой математике равенство обозначалось словесно (например est egale). Как можно видеть на изображении страницы из книги Рекорда, введённый им знак равенства был значительно длиннее современного. В своих более ранних трудах в качестве символа равенства Рекорд использовал букву Z[1].

Символ Рекорда получил распространение далеко не сразу. Рене Декарт в XVII веке для обозначения равенства использовал символ æ (от лат. aequalis), а современный знак равенства у него означал, что последующее выражение может быть отрицательным. Франсуа Виет знаком равенства обозначал операцию вычитания. В континентальной Европе знак «=» был введён Лейбницем только на рубеже XVII—XVIII веков, то есть более чем через 100 лет после смерти Роберта Рекорда.

В языках программирования символ = чаще всего используется для операций сравнения и/или присваивания. В некоторых языках (например, Basic) символ используется для обеих операций, в зависимости от контекста. В языках C, PHP и т. п. = обозначает присваивание, равенство записывается как ==. В Pascal, напротив, = обозначает равенство, присваивание обозначается :=. В Perl операторы для сравнения строк отличаются от операторов для сравнения чисел, равенство строк проверяет eq.