Цепные дроби для sqrtd и квадратичных иррациональностей

НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.

meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

Рассмотрим число [math]\alpha=[\sqrt{D}]+\sqrt{D}[/math]. Заметим, что оно приведённое [math]\alpha\gt 1, [\sqrt{D}]-\sqrt{D}\in(-1;0)[/math]. Тогда сразу следуют следующие утверждения

• число [math][\sqrt{D}]+\sqrt{D}[/math] представимо в виде чисто периодической цепной дроби.
• [math]\sqrt{D}[/math] представимо в виде цепной дроби из [math]a_0[/math] и периода.
• [math]\sqrt{D}=[\sqrt{D}]+\sqrt{D}-a_0[/math] значит [math]\sqrt{D}=\langle a_0, \overline{a_1,\cdots, a_n, 2a_0} \rangle[/math].

Теорема:

Период цепной дроби [math]\sqrt{d}[/math] состоит из симметричной части [math]a_1,\cdots, a_n[/math] и [math]2a_0[/math]

Доказательство:

[math]\triangleright[/math]

Рассмотрим [math]\alpha[/math] - приведённая и [math]\beta=-\frac{1}{\overline{\alpha}}[/math]. Так как [math]\beta_{n+1}=a_n+\frac{1}{\beta_n}[/math], то [math]\beta=\lt a_n,\cdots, a_0,\cdots[/math]. Рассмотрим [math]\sqrt{d}+[\sqrt{d}][/math] - приведённая. Рассмотрим [math]\alpha_1=\frac{1}{\alpha-[\alpha]}=\frac{1}{\sqrt{d}-[\sqrt{d}]}=\beta[/math]. Отсюда [math]\langle a_1, a_2,\cdots, a_n,\cdots\rangle=\langle a_n, a_{n-1},\cdots\rangle[/math]. Из единственности представления в цепную дробь следует утверждение теоремы.

[math]\triangleleft[/math]