Да, если два слагаемых являются иррациональными числами и доказано, что они иррациональны, то можно утверждать, что их сумма также будет иррациональным числом. Это следует из того, что для доказательства обратного (то есть что сумма иррациональна) достаточно предъявить рациональное представление суммы в виде несократимой дроби, что противоречит тому, что оба слагаемых иррациональны.