Нудные определения - это основа математической строгости. И определения нельзя добыть. Определение это принятое людьми соглашение (в отличие от доказательства теоремы).  Кроме того, каждое слово в определении  - оно не просто так. В данном случае Петерсон "потеряла" половину всех углов. Что добудет в этой ситуации школьник - остается только догадываться.И зачем ему "добывать" определение, когда оно уже дано аж во 2 классе!... причем - неправильное!