Из девяти шариков один немного тяжелее других, как при помощи двух взвешиваний найти этот шарик

Разбиваем шарики на 3 группы, по 3 шарика в каждой. Взвешиваем любые 2 группы. Этим определяем, в какой группе находится тяжелый шарик. Может быть два случая: а) весы равны; б) весы не равны. Случай а). Если весы равны, то тяжелый шарик находится в невзвешенной группе. Случай б). Если весы не равны, то тяжелый шарик находится в тяжелой группе. Далее разбиваем группу с тяжелым шаром на три, и взвешиваем 2 из них. Весы показывают, какой более тяжелый. Если весы равны, то не взвешенный шар тяжелый.