Да, вы правильно понимаете. Подобие треугольников действительно исходит из теоремы Фалеса, которая заключается в том, что если две прямые пересекаются параллельными прямыми, то отрезки, проведенные на этих прямых, пропорциональны. Из этой теоремы вытекает, что соответствующие стороны подобных треугольников пропорциональны, что и является основным свойством подобия.