The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Triangle free sets and arithmetic progressions---two Pisier type problems.”

Distinct equilateral triangle dissections of convex regions

Diane M. Donovan, James G. Lefevre, Thomas A. McCourt, Nicholas J. Cavenagh (2012)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We define a proper triangulation to be a dissection of an integer sided equilateral triangle into smaller, integer sided equilateral triangles such that no point is the vertex of more than three of the smaller triangles. In this paper we establish necessary and sufficient conditions for a proper triangulation of a convex region to exist. Moreover we establish precisely when at least two such equilateral triangle dissections exist. We also provide necessary and sufficient conditions for...

Circumcenter, Circumcircle and Centroid of a Triangle

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

We introduce, using the Mizar system [1], some basic concepts of Euclidean geometry: the half length and the midpoint of a segment, the perpendicular bisector of a segment, the medians (the cevians that join the vertices of a triangle to the midpoints of the opposite sides) of a triangle. We prove the existence and uniqueness of the circumcenter of a triangle (the intersection of the three perpendicular bisectors of the sides of the triangle). The extended law of sines and the formula...