Формула

У Вікіпедії є статті про інші значення цього терміна: Формула (неоднозначність).

Фо́рмула (лат. formula, зменшене від forma — «форма», «правило») — у математиці та інших науках — коротка форма символічного запису інформації (як у математиці чи хімії), або ^[en].

Ліворуч показано сферу, об'єм якої задається математичною формулою V = 4/3 π r³. Праворуч показано сполуку ізобутану, що має хімічну формулу (CH₃)₃CH.

Одна з найвпливовіших постатей покоління засновників інформатики, Едсгер Дейкстра за дошкою під час конференції в федеральній вищій технічній школі Цюриха у 1994 році. За словами самого Дейкстри, ^[en], формула — тисячі зображень».

В англійській мові існує дві форми множини слова formula: англ. formulas, що відповідає ^[en] та англ. formulae, яка виникла під впливом ^[en] та зберігає ^[en].

В математиці

У математиці формула зазвичай позначає рівняння або нерівність, що зв'язує один математичний вираз з іншим, причому найважливі серед них є математичними теоремами. Наприклад, визначення об'єму сфери вимагає значного обсягу інтегральних обчислень або їх геометричного аналога, методу вичерпання. Водночас, виконавши цей розрахунок один раз для деякого параметра (наприклад, радіуса), математики вивели формулу для обчислення об'єму сфери за її радіусом:

${\displaystyle V={\frac {4}{3}}\pi r^{3}.}$

Отримавши цей результат, можна обчислити об'єм будь-якої сфери, якщо відомий її радіус. Зверніть увагу, що об'єм V і радіус r виражені окремими літерами замість слів або фраз. Ця конвенція, хоч і менш важлива для відносно простих формул, означає, що математики можуть швидше маніпулювати більшими та складнішими формулами. Математичні формули часто є алгебраїчними, аналітичними або мають замкнену форму.

У загальному контексті формули часто представляють математичні моделі явищ реального світу і як такі можуть використовуватися для надання розв'язків (або приблизних розв'язків) задач реального світу; деякі з яких є більш загальними, ніж інші. Наприклад, формула

${\displaystyle F=ma}$

є вираженням другого закону Ньютона і може бути застосована до широкого діапазону фізичних явищ. Інші формули, такі як використання рівняння синусоїди для моделювання руху припливів у затоці, можуть бути створені для вирішення конкретної проблеми. Однак у всіх випадках формули є основою для розрахунків.

Вирази відрізняються від формул у тому сенсі, що вони зазвичай не містять таких ^[en] як рівність (=) або нерівність (<). Вирази позначають математичний об'єкт, а формули — твердження про математичні об'єкти^{[сумнівно ]}. Це аналогічно природній мові, де ^[en] відноситься до об'єкта, а ціле речення відноситься до факту. Наприклад, ${\displaystyle 8x-5}$ є виразом, тоді як ${\displaystyle 8x-5\geq 3}$ є формулою.

Однак у деяких розділах математики, зокрема в комп'ютерній алгебрі, формули розглядаються як вирази, які можуть бути оцінені як істинні або ^[en], залежно від значень, наданих змінним, що зустрічаються у виразах. Наприклад, ${\displaystyle 8x-5\geq 3}$ приймає значення хибне якщо x має значення менше 1, і значення істинне в іншому випадку (див. булевий вираз).

У математичній логіці

У математичній логіці формула (яку часто називають ^[en]) — це сутність, побудована з використанням символів і правил формування даної формальної мови. Наприклад, у логіці першого порядку,

${\displaystyle \forall x\forall y(P(f(x))\rightarrow \neg (P(x)\rightarrow Q(f(y),x,z)))}$

є формулою за умови, що ${\displaystyle f}$ — символ унарної функції, ${\displaystyle P}$ — унарний предикатний символ і ${\displaystyle Q}$ — тернарний предикатний символ.

Хімічні формули

Докладніше: Хімічна формула

У сучасній хімії, хімічна формула — це спосіб вираження інформації про співвідношення атомів, які складають певну хімічну сполуку, за допомогою одного рядка символів хімічних елементів, чисел, а іноді й інших символів, таких як круглі дужки та знаки плюс (+) і мінус (−). Наприклад, H₂O — це хімічна формула води, яка вказує, що кожна молекула складається з двох атомів водню (H) і одного атома кисню (O). Аналогічно, O⁻₃ позначає молекулу озону, що складається з трьох атомів кисню і сумарного негативного заряду.

${\displaystyle {\ce {H-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-{\overset {\displaystyle H \atop |}{\underset {| \atop \displaystyle H}{C}}}-H}}}$

Структурна формула бутану. Існує три поширених неграфічних типи хімічних формул для цієї молекули:

• емпірична формула C₂H₅
• молекулярна формула C₄H₁₀ і
• згорнута формула (або напівструктурна формула) CH₃CH₂CH₂CH₃.

Хімічна формула ідентифікує кожен складовий елемент за його хімічним знаком і вказує пропорційну кількість атомів кожного елемента.

У емпіричних формулах ці співвідношення починаються з ключового елемента, а потім присвоюють числа атомів інших елементів у сполуці — як відношення до ключового елемента. Для молекулярних сполук ці числа співвідношення завжди можна виразити цілими числами. Наприклад, емпіричну формулу етанолу можна записати як C₂H₆O, оскільки всі молекули етанолу містять два атоми вуглецю, шість атомів водню та один атом кисню. Однак деякі типи іонних сполук неможливо записати як емпіричні формули, які містять лише цілі числа. Прикладом є карбід бору, формула CB_n якого містить змінне неціле число n, яке може приймати значення від 4 до більш ніж 6.5.

Коли хімічна сполука формули складається з простих молекул, хімічні формули часто використовують методи, які дають підказки про структуру молекул. Існує декілька типів таких формул, включаючи молекулярні та структурні формули. Молекулярна формула перераховує кількість атомів, щоб відобразити їх в молекулі, наприклад, молекулярна формула глюкози — C₆H₁₂O₆, в той час, як емпірична формула глюкози — CH₂O. За винятком дуже простих речовин, молекулярні хімічні формули зазвичай не мають необхідної структурної інформації, а іноді навіть можуть бути неоднозначними.

Структурна формула — це зображення, яке показує розташування кожного атома та його зв'язок з іншими атомами.

В обчислювальній техніці

В обчислювальній техніці формула зазвичай описує обчислення, наприклад додавання, яке потрібно виконати над однією або декількома змінними. Формула часто неявно надається у формі інструкції для комп'ютера, наприклад

Градуси Цельсія = (5/9)*(Градуси Фаренгейта  — 32)

У комп'ютерному програмному забезпеченні електронних таблиць формулу, яка вказує, як обчислити значення комірки, скажімо A3, можна записати як

=A1+A2

де A1 і A2 посилаються на інші комірки (стовпець A, рядок 1 або 2) у електронній таблиці. Це скорочення «паперової» форми A3 = A1+A2, де A3 за домовленістю опущено, оскільки результат завжди зберігається в самій комірці, що робить назву зайвою.

Одиниці вимірювання

Формули, які використовуються в науці, майже завжди вимагають вибору одиниць вимірювання. Формули використовуються для вираження зв'язків між різними величинами, такими як температура, маса чи заряд у фізиці; пропозиція, прибуток або попит в економіці; або широкий діапазон інших величин в інших дисциплінах.

Прикладом формули, яка використовується в науці, є ^[en]. У статистичній термодинаміці це ймовірнісне рівняння, що зв'язує ентропію S ідеального газу з величиною W, яка є кількістю ^[en], що відповідають даному ^[en]:

${\displaystyle S=k\cdot \ln W}$

де k — стала Больцмана, що дорівнює ${\displaystyle 1,380649\times 10^{-23}J\cdot {K^{-1}}}$, а W — кількість ^[en], що відповідають даному ^[en].

Див. також

• ^[en]
• ^[en]
• ^[en]
• Математична нотація
• Науковий закон
• Хімічний знак
• Теорема
• ^[en]

Примітки

1. Dijkstra, E.W. (July 1996), A first exploration of effective reasoning [EWD896]. (E.W. Dijkstra Archive, Center for American History, University of Texas at Austin)
2. formula, Оксфордський словник англійської мови (вид. 3-тє), Oxford University Press, Вересень 2005 (Необхідна підписка або членство в публічній бібліотеці Сполученого Королівства .)
3. Smith, David E. (1958). History of Mathematics. New York: ^[en]. ISBN 0-486-20430-8.
4. Why do mathematicians use single letter variables?. math.stackexchange.com. 28 лютого 2011. Процитовано 31 грудня 2013.
5. List of Mathematical formulas. andlearning.org. 24 серпня 2018.
6. Stoll, Robert R. (1963). Set Theory and Logic (англ.). San Francisco, CA: Dover Publications. ISBN 978-0-486-63829-4.
7. Hamilton, A. G. (1988), Logic for Mathematicians (англ.) (вид. 2nd), Cambridge: Cambridge University Press, ISBN 978-0-521-36865-0
8. Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic (англ.) (вид. 3rd), New York, NY: Springer Science+Business Media, doi:10.1007/978-1-4419-1221-3, ISBN 978-1-4419-1220-6
9. Atkins, P.W., Overton, T., Rourke, J., Weller, M. and Armstrong, F. Shriver and Atkins inorganic chemistry (4th edition) 2006 (Oxford University Press) ISBN 0-19-926463-5
10. Ozone Chemistry. www.chm.bris.ac.uk (англ.). Процитовано 26 листопада 2019.
11. PubChem. Ethanol. pubchem.ncbi.nlm.nih.gov (англ.). Процитовано 26 листопада 2019.
12. Haynes, William M., ред. (2013) [1914]. CRC Handbook of Chemistry and Physics, 94th Edition (англ.). Boca Raton: CRC Press. ISBN 978-1466571143.