Изменения

Если некоторая дробь <math>\frac{P}{Q}</math> удовлетворяет условию <math>~|\alpha - \frac{P}{Q}|<\frac{1}{2Q^2}</math>, то она - подходящая дробь для <math> \alpha </math>.

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