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