Текст 1 Може здатися дивним, але довгий час комп’ютери практично не використовувались як інструмент дослідницької діяльності в галузі так званої чистої математики. «Папір і ручка — ось і все, що мені потрібно для розв’язування складних задач, доведення нових теорем», - приблизно таку фразу можна було почути з уст математика-теоретика. Зараз ситуація інша: з розвитком відповідного програмного забезпечення все частіше складні, довгі й громіздкі операції з алгебраїчними виразами та логічними формулами, що супроводжують суто математичні доведення, доручають виконувати комп’ютерам. І ось уже в математичному лексиконі звичним стало словосполучення «комп’ютеризоване доведення» або «машинне доведення» (І. Парасюк).Текст 2 Оптичні системи використовують для побудови зображення, а створити зображення означає перетворити гомоцентричні пучки, що розходяться, в пучки, які сходяться у відповідних точках. Для цього необхідно, щоб відбиваюча чи заломлююча поверхня трансформувала гомоцентричні пучки, що розходяться, в пучки, які сходяться. Ось чому в оптичних системах використовують такі поверхні, на яких при відбиванні та заломленні найкращим чином зберігається гомоцентричність пучків. Це плоскі, сферичні та параболічні поверхні. Дві останні зберігають гомоцентричність тільки параксіальних променів, у яких кут нахилу по відношенню до оптичної осі системи малий (С. Приходько).
