Ктото скажет что формула (2) очевидна: огибающая однополосного сигнала есть огибающая НЧ сигнала, а фаза есть НЧ фаза. Все ж, собираясь программировать микроконтроллер, я предпочитаю вывести приближенную формулу (2) из точной (1), чтобы знать границы применимости. Как показало моделирование в Adobe Audition и Matlabe, результаты расчетов по обеим формулам совпадают для радиолюбительских целей. Но реализовать на ДДС формулу (2) намного проще. ДДС управляется по частоте с гладкостью фазы (не все, и в регистрах копаться надо, чтобы в момент переключения на новую частоту сигнал не скакал и не ломался). Многие ДДС управляют амплитудой. Отчего же не попробовать синтезировать однополосный сигнал прямо на рабочей частоте? Особенно обчитавшись на форуме как правильно делать преобразования частот и попробовав самостоятельно что это такое.